@Test
public void parse() throws InvalidConfigurationException {
List<Automaton> automata =
AutomatonParser.parseAutomatonFile(
automatonFile,
TestDataTools.configurationForTest().build(),
LogManager.createTestLogManager(),
MachineModel.LINUX32,
CProgramScope.empty(),
Language.C);
assertThat(automata).named("automata from file " + automatonFile).isNotEmpty();
}
@Before
public void setUp() throws Exception {
requireArrays();
requireQuantifiers();
requireRationals();
FormulaManagerView mgrv =
new FormulaManagerView(mgr, config, LogManager.createTestLogManager());
this.qfm = mgrv.getQuantifiedFormulaManager();
imgr = mgrv.getIntegerFormulaManager();
_x = imgr.makeVariable("x");
_b = amgr.makeArray("b", FormulaType.IntegerType, FormulaType.IntegerType);
_b_at_x_eq_1 = imgr.equal(amgr.select(_b, _x), imgr.makeNumber(1));
_b_at_x_eq_0 = imgr.equal(amgr.select(_b, _x), imgr.makeNumber(0));
}