Examples with MachineNode de.bmoth.parser.ast.nodes.MachineNode used on opensource projects

Example 1 with MachineNode

use of de.bmoth.parser.ast.nodes.MachineNode in project bmoth by hhu-stups.

the class Issue39Test method testMachine2.

@Test
public void testMachine2() throws IOException {
    MachineNode theMachine = parseMachineFromFile(dir + "SetVarToConstantNoViolation.mch");
    ModelCheckingResult result = ExplicitStateModelChecker.check(theMachine);
    assertEquals(true, result.isCorrect());
}

Example 2 with MachineNode

use of de.bmoth.parser.ast.nodes.MachineNode in project bmoth by hhu-stups.

the class Issue39Test method testMachine1.

@Test
public void testMachine1() throws IOException {
    MachineNode theMachine = parseMachineFromFile(dir + "SetVarToConstantViolation.mch");
    ModelCheckingResult result = ExplicitStateModelChecker.check(theMachine);
    assertEquals(false, result.isCorrect());
}

Example 3 with MachineNode

use of de.bmoth.parser.ast.nodes.MachineNode in project bmoth by hhu-stups.

the class Issue59Test method testArithmeticLawsMachine.

@Test
public void testArithmeticLawsMachine() {
    MachineNode simpleMachineWithoutViolation = parseMachineFromFile("src/test/resources/machines/OnlyInitNoViolation.mch");
    ModelCheckingResult result = ExplicitStateModelChecker.check(simpleMachineWithoutViolation);
    assertEquals(true, result.isCorrect());
}

Example 4 with MachineNode

use of de.bmoth.parser.ast.nodes.MachineNode in project bmoth by hhu-stups.

the class BooleanLawsTest method testSimpleModelsWithoutOperations.

@Test
public void testSimpleModelsWithoutOperations() throws IOException {
    MachineNode simpleMachineWithViolation = parseMachineFromFile(dir + "BoolLaws.mch");
    ModelCheckingResult result = ExplicitStateModelChecker.check(simpleMachineWithViolation);
    assertTrue(result.isCorrect());
}

Example 5 with MachineNode

use of de.bmoth.parser.ast.nodes.MachineNode in project bmoth by hhu-stups.

the class LiftsTest method testAcceleration.

@Test
public void testAcceleration() {
    MachineNode simpleMachineWithViolation = parseMachineFromFile(dir + "AccMachine.mch");
    ModelCheckingResult result = ExplicitStateModelChecker.check(simpleMachineWithViolation);
    assertEquals(false, result.isCorrect());
}