package de.bmoth.issues;

import de.bmoth.modelchecker.ModelChecker;
import de.bmoth.modelchecker.ModelCheckingResult;
import de.bmoth.parser.Parser;
import de.bmoth.parser.ast.nodes.MachineNode;
import org.junit.Ignore;
import org.junit.Test;

import static org.junit.Assert.assertEquals;

public class Issue39Test {
    private String dir = "src/test/resources/machines/";

    @Test @Ignore
    public void testMachine1() throws Exception {
        MachineNode theMachine = Parser.getMachineFileAsSemanticAst(dir + "SetVarToConstantViolation.mch");
        ModelCheckingResult result = ModelChecker.doModelCheck(theMachine);
        assertEquals(false, result.isCorrect());
    }

    @Test @Ignore
    public void testMachine2() throws Exception {
        MachineNode theMachine = Parser.getMachineFileAsSemanticAst(dir + "SetVarToConstantNoViolation.mch");
        ModelCheckingResult result = ModelChecker.doModelCheck(theMachine);
        assertEquals(true, result.isCorrect());
    }
}

@@ -374,32 +374,24 @@
 ;%0A%0A    @Test
- @Ignore
 %0A    public 
@@ -678,16 +678,20 @@
    @Test
+%0A   
  @Ignore

stop ignoring a test