@@ -0,0 +1,1159 @@
+/*%0A * This file is covered by the terms of the Common Public License v1.0.%0A *%0A * Copyright (c) SZEDER G%C3%A1bor%0A *%0A * Parts of this software were developed within the JEOPARD research%0A * project, which received funding from the European Union's Seventh%0A * Framework Programme under grant agreement No. 216682.%0A */%0A%0Apackage de.fzi.cjunit.jpf.assumptions;%0A%0Aimport static org.hamcrest.MatcherAssert.assertThat;%0Aimport static org.hamcrest.Matchers.*;%0A%0Aimport org.junit.Test;%0A%0Aimport org.junit.runner.JUnitCore;%0Aimport org.junit.runner.Result;%0A%0A%0Apublic class JPFWithDifferentConfigurationsTest %7B%0A%0A%09@Test%0A%09public void testJPFWithDifferentConfigurationsHasIssues() %7B%0A%09%09// the order of test cases is important here%0A%09%09Class%3C?%3E%5B%5D classes = new Class%3C?%3E%5B%5D %7B%0A%09%09%09%09DefaultPORFieldBoundariesTest.class,%0A%09%09%09%09CustomPORFieldBoundariesTest.class %7D;%0A%09%09Result result = JUnitCore.runClasses(classes);%0A%0A%09%09assertThat(%22number of tests%22, result.getRunCount(), equalTo(2));%0A%09%09assertThat(%22number of failed tests%22, result.getFailureCount(),%0A%09%09%09%09equalTo(1));%0A%09%09assertThat(%22error message%22,%0A%09%09%09%09result.getFailures().get(0).getMessage(),%0A%09%09%09%09containsString(%22(with custom POR boundaries)%22));%0A%09%7D%0A%7D%0A

Add test to show issues with different JPF configurations