Increase timeout to 875

peterschrammel · peterschrammel · commit 28b34a89a555 · 2017-11-25T14:51:23.000Z
diff --git a/cbmc.inc b/cbmc.inc
@@ -11,7 +11,7 @@ run()
     PROPERTY="$PROPERTY --no-assertions"
   fi
 
-timeout 850 bash -c ' \
+timeout 875 bash -c ' \
 \
 ulimit -v 15000000 ; \
 \

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ run()`
`11`	`11`	`PROPERTY="$PROPERTY --no-assertions"`
`12`	`12`	`fi`
`13`	`13`
`14`		`-timeout 850 bash -c ' \`
	`14`	`+timeout 875 bash -c ' \`
`15`	`15`	`\`
`16`	`16`	`ulimit -v 15000000 ; \`
`17`	`17`	`\`