Skip to content

Commit c14b5d3

Browse files
bmarwritescodebmarwritescode
committed
small change to synth prob
1 parent 4e9505b commit c14b5d3

File tree

1 file changed

+65
-65
lines changed

1 file changed

+65
-65
lines changed

‎test/axioms/benchmarks/RomList_bigger/RomlistParser_syn_model.java

Lines changed: 65 additions & 65 deletions
Original file line numberDiff line numberDiff line change
@@ -218,66 +218,66 @@ generator Strings genStrings(int[] localInts, Object[] localObjs) {
218218
}
219219

220220
generator void voidFuncs(int[] localInts, Object[] localObjs) {
221-
if (??) {
222-
String s = genString(localInts, localObjs);
223-
RomlistGame game = genRomListGame(localInts, localObjs);
224-
game.setRomlist(s);
225-
}
226-
if (??) {
227-
String s = genString(localInts, localObjs);
228-
RomlistGame game = genRomListGame(localInts, localObjs);
229-
game.setName(s);
230-
}
231-
if (??) {
232-
String s = genString(localInts, localObjs);
233-
RomlistGame game = genRomListGame(localInts, localObjs);
234-
game.setTitle(s);
235-
}
236-
if (??) {
237-
String s = genString(localInts, localObjs);
238-
RomlistGame game = genRomListGame(localInts, localObjs);
239-
game.setEmulator(s);
240-
}
241-
if (??) {
242-
String s = genString(localInts, localObjs);
243-
RomlistGame game = genRomListGame(localInts, localObjs);
244-
game.setCloneOf(s);
245-
}
246-
if (??) {
247-
String s = genString(localInts, localObjs);
248-
RomlistGame game = genRomListGame(localInts, localObjs);
249-
game.setYear(s);
250-
}
251-
if (??) {
252-
String s = genString(localInts, localObjs);
253-
RomlistGame game = genRomListGame(localInts, localObjs);
254-
game.setManufacturer(s);
255-
}
256-
if (??) {
257-
String s = genString(localInts, localObjs);
258-
RomlistGame game = genRomListGame(localInts, localObjs);
259-
game.setCategory(s);
260-
}
261-
if (??) {
262-
String s = genString(localInts, localObjs);
263-
RomlistGame game = genRomListGame(localInts, localObjs);
264-
game.setPlayers(s);
265-
}
266-
if (??) {
267-
String s = genString(localInts, localObjs);
268-
RomlistGame game = genRomListGame(localInts, localObjs);
269-
game.setRotation(s);
270-
}
271-
if (??) {
272-
String s = genString(localInts, localObjs);
273-
RomlistGame game = genRomListGame(localInts, localObjs);
274-
game.setControl(s);
275-
}
276-
if (??) {
277-
boolean b = guard(localInts, localObjs);
278-
RomlistGame game = genRomListGame(localInts, localObjs);
279-
game.setAvailable(b);
280-
}
221+
// if (??) {
222+
// String s = genString(localInts, localObjs);
223+
// RomlistGame game = genRomListGame(localInts, localObjs);
224+
// game.setRomlist(s);
225+
// }
226+
// if (??) {
227+
// String s = genString(localInts, localObjs);
228+
// RomlistGame game = genRomListGame(localInts, localObjs);
229+
// game.setName(s);
230+
// }
231+
// if (??) {
232+
// String s = genString(localInts, localObjs);
233+
// RomlistGame game = genRomListGame(localInts, localObjs);
234+
// game.setTitle(s);
235+
// }
236+
// if (??) {
237+
// String s = genString(localInts, localObjs);
238+
// RomlistGame game = genRomListGame(localInts, localObjs);
239+
// game.setEmulator(s);
240+
// }
241+
// if (??) {
242+
// String s = genString(localInts, localObjs);
243+
// RomlistGame game = genRomListGame(localInts, localObjs);
244+
// game.setCloneOf(s);
245+
// }
246+
// if (??) {
247+
// String s = genString(localInts, localObjs);
248+
// RomlistGame game = genRomListGame(localInts, localObjs);
249+
// game.setYear(s);
250+
// }
251+
// if (??) {
252+
// String s = genString(localInts, localObjs);
253+
// RomlistGame game = genRomListGame(localInts, localObjs);
254+
// game.setManufacturer(s);
255+
// }
256+
// if (??) {
257+
// String s = genString(localInts, localObjs);
258+
// RomlistGame game = genRomListGame(localInts, localObjs);
259+
// game.setCategory(s);
260+
// }
261+
// if (??) {
262+
// String s = genString(localInts, localObjs);
263+
// RomlistGame game = genRomListGame(localInts, localObjs);
264+
// game.setPlayers(s);
265+
// }
266+
// if (??) {
267+
// String s = genString(localInts, localObjs);
268+
// RomlistGame game = genRomListGame(localInts, localObjs);
269+
// game.setRotation(s);
270+
// }
271+
// if (??) {
272+
// String s = genString(localInts, localObjs);
273+
// RomlistGame game = genRomListGame(localInts, localObjs);
274+
// game.setControl(s);
275+
// }
276+
// if (??) {
277+
// boolean b = guard(localInts, localObjs);
278+
// RomlistGame game = genRomListGame(localInts, localObjs);
279+
// game.setAvailable(b);
280+
// }
281281
if (??) {
282282
RomlistGame game = genRomListGame(localInts, localObjs);
283283
this.games.add(game);
@@ -390,7 +390,7 @@ public ArrayList<RomlistGame> parse(File romlistFile, String folderToSearch, boo
390390
// Strings blah = (Strings) localObjs[4];
391391
// String[] data = blah.toArray();
392392
if(guard(localInts, localObjs)) {
393-
// stmts(localInts, localObjs);
393+
stmts(localInts, localObjs);
394394
Strings blah = (Strings) localObjs[4];
395395
String[] data = blah.toArray();
396396
// if (data.length >= 10) {
@@ -432,14 +432,14 @@ public ArrayList<RomlistGame> parse(File romlistFile, String folderToSearch, boo
432432
// game.setButtons(data[16]);
433433
// }
434434

435-
// game.setAvailable(false);
435+
game.setAvailable(false);
436436
// this.games.add(game);
437437
stmts(localInts, localObjs);
438438
}
439439
}
440-
// br = (BufferedReader) localObjs[2];
441-
// localObjs[3] = br.readLine();
442-
stmts(localInts, localObjs);
440+
br = (BufferedReader) localObjs[2];
441+
localObjs[3] = br.readLine();
442+
// stmts(localInts, localObjs);
443443
}
444444

445445
this.totalGames = this.games.size();

0 commit comments

Comments
 (0)