Mark test occasionally being killed on Travis as THOROUGH

tautschnig · tautschnig · commit becb74fcdb80 · 2018-06-11T13:48:52.000Z
The test previously requires 2.6GB of memory to complete, and is sometimes
getting killed (seemingly only in the CMake configuration, though). Reducing the
number of local variables would reduce the memory footprint (and does make
things succeed on Travis), but defeats the purpose of the test.
diff --git a/jbmc/regression/jbmc/lots_of_local_variables/test.desc b/jbmc/regression/jbmc/lots_of_local_variables/test.desc
@@ -1,4 +1,4 @@
-CORE
+THOROUGH
 TooManyLocals.class
 --function TooManyLocals.test
 VERIFICATION SUCCESSFUL

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+THOROUGH`
`2`	`2`	`TooManyLocals.class`
`3`	`3`	`--function TooManyLocals.test`
`4`	`4`	`VERIFICATION SUCCESSFUL`