changed path of examples

src/test/java/de/b2tla/tlc/integration/probprivate/AssertionErrorTest.java

@@ -37,7 +37,7 @@ public class AssertionErrorTest extends AbstractParseMachineTest {
 	@Config
 	public static Configuration getConfig() {
 		final ArrayList<TestPair> list = new ArrayList<TestPair>();
-		list.add(new TestPair(AssertionError, "../probprivate/public_examples/TLC/AssertionError"));
+		list.add(new TestPair(AssertionError, "../prob_examples/public_examples/TLC/AssertionError"));
 		return getConfiguration(list);
 	}
 }

src/test/java/de/b2tla/tlc/integration/probprivate/DeadlockTest.java

@@ -38,7 +38,7 @@ public class DeadlockTest extends AbstractParseMachineTest {
 	public static Configuration getConfig() {
 		final ArrayList<TestPair> list = new ArrayList<TestPair>();
 		list.add(new TestPair(Deadlock,
-				"../probprivate/public_examples/TLC/Deadlock"));
+				"../prob_examples/public_examples/TLC/Deadlock"));
 		return getConfiguration(list);
 	}
 }

src/test/java/de/b2tla/tlc/integration/probprivate/GoalTest.java

@@ -37,7 +37,7 @@ public class GoalTest extends AbstractParseMachineTest {
 	public static Configuration getConfig() {
 		final ArrayList<TestPair> list = new ArrayList<TestPair>();
 		list.add(new TestPair(TLCResult.Goal,
-				"../probprivate/public_examples/TLC/GOAL"));
+				"../prob_examples/public_examples/TLC/GOAL"));
 		return getConfiguration(list);
 	}
 }

src/test/java/de/b2tla/tlc/integration/probprivate/InvariantViolationTest.java

@@ -38,7 +38,7 @@ public class InvariantViolationTest extends AbstractParseMachineTest {
 	public static Configuration getConfig() {
 		final ArrayList<TestPair> list = new ArrayList<TestPair>();
 		list.add(new TestPair(InvariantViolation,
-				"../probprivate/public_examples/TLC/InvariantViolation"));
+				"../prob_examples/public_examples/TLC/InvariantViolation"));
 		return getConfiguration(list);
 	}
 }

src/test/java/de/b2tla/tlc/integration/probprivate/LawsTest.java

@@ -14,70 +14,70 @@ public class LawsTest {
 	@Test
 	public void BoolLaws() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/BoolLaws.mch"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/BoolLaws.mch"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void BoolWithArithLaws() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/BoolWithArithLaws.mch", "-nodead"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/BoolWithArithLaws.mch", "-nodead"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void FunLaws() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/FunLaws.mch"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/FunLaws.mch"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void FunLawsWithLambda() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/FunLawsWithLambda.mch"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/FunLawsWithLambda.mch"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void RelLaws_TLC() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/RelLaws_TLC.mch"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/RelLaws_TLC.mch"};
 		assertEquals(Goal, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void BoolLaws_SetCompr() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/BoolLaws_SetCompr.mch"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/BoolLaws_SetCompr.mch"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void BoolLaws_SetComprCLPFD() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/BoolLaws_SetComprCLPFD.mch"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/BoolLaws_SetComprCLPFD.mch"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 
 	@Test
 	public void CardinalityLaws_TLC() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/CardinalityLaws_TLC.mch", "-nodead"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/CardinalityLaws_TLC.mch", "-nodead"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void EqualityLaws() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/EqualityLaws.mch", "-nodead"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/EqualityLaws.mch", "-nodead"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 	
 	@Test
 	public void SubsetLaws() throws Exception {
 		B2TLAGlobals.setDeleteOnExit(true);
-		String[] a = new String[] { "../probprivate/public_examples/TLC/Laws/SubsetLaws.mch", "-nodead"};
+		String[] a = new String[] { "../prob_examples/public_examples/TLC/Laws/SubsetLaws.mch", "-nodead"};
 		assertEquals(NoError, B2TLA.test(a,true));
 	}
 }

src/test/java/de/b2tla/tlc/integration/probprivate/NoErrorTest.java

@@ -38,7 +38,7 @@ public class NoErrorTest extends AbstractParseMachineTest {
 	public static Configuration getConfig() {
 		final ArrayList<TestPair> list = new ArrayList<TestPair>();
 		list.add(new TestPair(NoError,
-				"../probprivate/public_examples/TLC/NoError"));
+				"../prob_examples/public_examples/TLC/NoError"));
 		return getConfiguration(list);
 	}
 

src/test/java/de/b2tla/tlc/integration/probprivate/WellDefinednessTest.java

@@ -39,7 +39,7 @@ public class WellDefinednessTest extends AbstractParseMachineTest  {
 		@Config
 		public static Configuration getConfig() {
 			final ArrayList<TestPair> list = new ArrayList<TestPair>();
-			list.add(new TestPair(WellDefinednessError, "../probprivate/public_examples/TLC/WellDefinednessError"));
+			list.add(new TestPair(WellDefinednessError, "../prob_examples/public_examples/TLC/WellDefinednessError"));
 			return getConfiguration(list);
 		}
 }