コード例 #1
0
 @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();
 }
コード例 #2
0
  @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));
  }