Reduce memory footprint of test occasionally being killed on Travis

The test previously required 2.6GB of memory to complete, and was sometimes
getting killed (seemingly only in the CMake configuration, though). Reducing the
number of variables to 180 reduces the memory footprint to 1.3GB, which should
address the problem.

Author: tautschnig

jbmc/regression/jbmc/lots_of_local_variables/TooManyLocals.class

@@ -1,6 +1,6 @@
 public class TooManyLocals {
   public static void test() {
-    int [] allInts = new int[256];
+    int [] allInts = new int[180];
     int i0 = 0;
     int i1 = 1;
     int i2 = 2;
@@ -181,82 +181,6 @@ public static void test() {
     int i177 = 177;
     int i178 = 178;
     int i179 = 179;
-    int i180 = 180;
-    int i181 = 181;
-    int i182 = 182;
-    int i183 = 183;
-    int i184 = 184;
-    int i185 = 185;
-    int i186 = 186;
-    int i187 = 187;
-    int i188 = 188;
-    int i189 = 189;
-    int i190 = 190;
-    int i191 = 191;
-    int i192 = 192;
-    int i193 = 193;
-    int i194 = 194;
-    int i195 = 195;
-    int i196 = 196;
-    int i197 = 197;
-    int i198 = 198;
-    int i199 = 199;
-    int i200 = 200;
-    int i201 = 201;
-    int i202 = 202;
-    int i203 = 203;
-    int i204 = 204;
-    int i205 = 205;
-    int i206 = 206;
-    int i207 = 207;
-    int i208 = 208;
-    int i209 = 209;
-    int i210 = 210;
-    int i211 = 211;
-    int i212 = 212;
-    int i213 = 213;
-    int i214 = 214;
-    int i215 = 215;
-    int i216 = 216;
-    int i217 = 217;
-    int i218 = 218;
-    int i219 = 219;
-    int i220 = 220;
-    int i221 = 221;
-    int i222 = 222;
-    int i223 = 223;
-    int i224 = 224;
-    int i225 = 225;
-    int i226 = 226;
-    int i227 = 227;
-    int i228 = 228;
-    int i229 = 229;
-    int i230 = 230;
-    int i231 = 231;
-    int i232 = 232;
-    int i233 = 233;
-    int i234 = 234;
-    int i235 = 235;
-    int i236 = 236;
-    int i237 = 237;
-    int i238 = 238;
-    int i239 = 239;
-    int i240 = 240;
-    int i241 = 241;
-    int i242 = 242;
-    int i243 = 243;
-    int i244 = 244;
-    int i245 = 245;
-    int i246 = 246;
-    int i247 = 247;
-    int i248 = 248;
-    int i249 = 249;
-    int i250 = 250;
-    int i251 = 251;
-    int i252 = 252;
-    int i253 = 253;
-    int i254 = 254;
-    int i255 = 255;
     allInts[0] = i0;
     allInts[1] = i1;
     allInts[2] = i2;
@@ -437,82 +361,6 @@ public static void test() {
     allInts[177] = i177;
     allInts[178] = i178;
     allInts[179] = i179;
-    allInts[180] = i180;
-    allInts[181] = i181;
-    allInts[182] = i182;
-    allInts[183] = i183;
-    allInts[184] = i184;
-    allInts[185] = i185;
-    allInts[186] = i186;
-    allInts[187] = i187;
-    allInts[188] = i188;
-    allInts[189] = i189;
-    allInts[190] = i190;
-    allInts[191] = i191;
-    allInts[192] = i192;
-    allInts[193] = i193;
-    allInts[194] = i194;
-    allInts[195] = i195;
-    allInts[196] = i196;
-    allInts[197] = i197;
-    allInts[198] = i198;
-    allInts[199] = i199;
-    allInts[200] = i200;
-    allInts[201] = i201;
-    allInts[202] = i202;
-    allInts[203] = i203;
-    allInts[204] = i204;
-    allInts[205] = i205;
-    allInts[206] = i206;
-    allInts[207] = i207;
-    allInts[208] = i208;
-    allInts[209] = i209;
-    allInts[210] = i210;
-    allInts[211] = i211;
-    allInts[212] = i212;
-    allInts[213] = i213;
-    allInts[214] = i214;
-    allInts[215] = i215;
-    allInts[216] = i216;
-    allInts[217] = i217;
-    allInts[218] = i218;
-    allInts[219] = i219;
-    allInts[220] = i220;
-    allInts[221] = i221;
-    allInts[222] = i222;
-    allInts[223] = i223;
-    allInts[224] = i224;
-    allInts[225] = i225;
-    allInts[226] = i226;
-    allInts[227] = i227;
-    allInts[228] = i228;
-    allInts[229] = i229;
-    allInts[230] = i230;
-    allInts[231] = i231;
-    allInts[232] = i232;
-    allInts[233] = i233;
-    allInts[234] = i234;
-    allInts[235] = i235;
-    allInts[236] = i236;
-    allInts[237] = i237;
-    allInts[238] = i238;
-    allInts[239] = i239;
-    allInts[240] = i240;
-    allInts[241] = i241;
-    allInts[242] = i242;
-    allInts[243] = i243;
-    allInts[244] = i244;
-    allInts[245] = i245;
-    allInts[246] = i246;
-    allInts[247] = i247;
-    allInts[248] = i248;
-    allInts[249] = i249;
-    allInts[250] = i250;
-    allInts[251] = i251;
-    allInts[252] = i252;
-    allInts[253] = i253;
-    allInts[254] = i254;
-    allInts[255] = i255;
-    assert(allInts[255] + allInts[0] == 255);
+    assert(allInts[179] + allInts[0] == 179);
   }
 }