added more Others-benchmarks and fixed a small thing

src/main/resources/de/hhu/stups/codegenerator/RustTemplate.stg

@@ -43,7 +43,7 @@ pub struct <machine> {
     <if(constants_declarations)><constants_declarations; separator="\n"><endif>
     <sets; separator="\n">
     <if(forModelChecking)>
-    #[derivative(Hash="ignore", PartialEq="ignore")]
+    <if(transitionCachesDeclaration)>#[derivative(Hash="ignore", PartialEq="ignore")]<endif>
     <transitionCachesDeclaration; separator="\n#[derivative(Hash=\"ignore\", PartialEq=\"ignore\")]\n"><endif>
 }
 

src/test/java/de/hhu/stups/codegenerator/rust/TestOthers.java

@@ -3,6 +3,7 @@ package de.hhu.stups.codegenerator.rust;
 import org.junit.Test;
 
 public class TestOthers extends TestRS{
+    private final String PROB_OTHER_PATH = "../../../../benchmarks/model_checking/ProB/Other";
     @Test
     public void test_SetRelationConstructs() throws Exception {
         testRSMC("SetRelationConstructs", true);
@@ -10,6 +11,41 @@ public class TestOthers extends TestRS{
 
     @Test
     public void test_ArithmeticExpLaws() throws Exception {
-        testRSMC("ArithmeticExpLaws", "../../../../benchmarks/model_checking/ProB/Other", true, true);
+        testRSMC("ArithmeticExpLaws", PROB_OTHER_PATH, true, true);
+    }
+
+    @Test
+    public void test_ArithmeticLaws() throws Exception {
+        testRSMC("ArithmeticLaws", PROB_OTHER_PATH, true);
+    }
+
+    @Test
+    public void test_BoolLaws() throws Exception {
+        testRSMC("BoolLaws", PROB_OTHER_PATH, true);
+    }
+
+    @Test
+    public void test_BoolLaws_SetCompr() throws Exception {
+        testRSMC("BoolLaws_SetCompr", PROB_OTHER_PATH, true, true);
+    }
+
+    @Test
+    public void test_BoolWithArithLaws() throws Exception {
+        testRSMC("BoolWithArithLaws", PROB_OTHER_PATH, true, true);
+    }
+
+    @Test
+    public void test_CardinalityLaws() throws Exception {
+        testRSMC("CardinalityLaws", PROB_OTHER_PATH, true, true);
+    }
+
+    @Test
+    public void test_CSM() throws Exception {
+        testRSMC("CSM", PROB_OTHER_PATH, true);
+    }
+
+    @Test
+    public void test_Doors() throws Exception {
+        testRSMC("Doors", PROB_OTHER_PATH, true);
     }
 }

src/test/java/de/hhu/stups/codegenerator/rust/TestRS.java

@@ -130,7 +130,8 @@ public class TestRS {
             assertEquals(expectedOutput, result);
         } else {
             System.out.println("Asserting Success: ");
-            System.out.println(result);
+            System.out.println("Expected: " + expectedOutput);
+            System.out.println("Gotten  : " + result);
             assertTrue(result.contains(expectedOutput));
         }
         cleanUp(newMainFile);

src/test/resources/de/hhu/stups/codegenerator/ArithmeticLaws_MC.out

+MODEL CHECKING SUCCESSFUL
+Number of States: 5616
+Number of Transitions: 21226
\ No newline at end of file

src/test/resources/de/hhu/stups/codegenerator/BoolLaws_MC.out

+MODEL CHECKING SUCCESSFUL
+Number of States: 8
+Number of Transitions: 24
\ No newline at end of file

src/test/resources/de/hhu/stups/codegenerator/BoolLaws_SetCompr_MC.out

+MODEL CHECKING SUCCESSFUL
+Number of States: 1
+Number of Transitions: 0
\ No newline at end of file

src/test/resources/de/hhu/stups/codegenerator/BoolWithArithLaws_MC.out

+MODEL CHECKING SUCCESSFUL
+Number of States: 64
+Number of Transitions: 144
\ No newline at end of file

src/test/resources/de/hhu/stups/codegenerator/CSM_MC.out

+MODEL CHECKING SUCCESSFUL
+Number of States: 340
+Number of Transitions: 1228
\ No newline at end of file

src/test/resources/de/hhu/stups/codegenerator/CardinalityLaws_MC.out

+MODEL CHECKING SUCCESSFUL
+Number of States: 16
+Number of Transitions: 21
\ No newline at end of file

src/test/resources/de/hhu/stups/codegenerator/Doors_MC.out

+MODEL CHECKING SUCCESSFUL
+Number of States: 7
+Number of Transitions: 49
\ No newline at end of file