Commit 25103bb5 authored by lonca's avatar lonca
Browse files

Updated test cases in order to respect the XCSP3 specifications to come...

Updated test cases in order to respect the XCSP3 specifications to come (instead of the current ones).


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2553 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 11f86769
......@@ -243,7 +243,7 @@ public class CountingCtrBuilderTest {
String ctrSection = TestUtils.buildConstraintsSection(""
+ "<cardinality>"
+ "<list> i0 i1 i2 i3 </list>"
+ "<values> 0 1 2 3 </values>"
+ "<values closed=\"true\"> 0 1 2 3 </values>"
+ "<occurs> 0..1 0..1 1..2 0..1 </occurs>"
+ "</cardinality>");
List<String> sortedModels = TestUtils.computeModels(reader, solver, varSection, ctrSection);
......@@ -347,7 +347,7 @@ public class CountingCtrBuilderTest {
String ctrSection = TestUtils.buildConstraintsSection(""
+ "<cardinality>"
+ "<list> i0 i1 </list>"
+ "<values> 0 1 </values>"
+ "<values closed=\"true\"> 0 1 </values>"
+ "<occurs> i2 i3 </occurs>"
+ "</cardinality>");
List<String> sortedModels = TestUtils.computeModels(reader, solver, varSection, ctrSection);
......@@ -361,7 +361,7 @@ public class CountingCtrBuilderTest {
String ctrSection = TestUtils.buildConstraintsSection(""
+ "<cardinality>"
+ "<list> i0 i0 i0 </list>"
+ "<values> 0 1 2 3 </values>"
+ "<values closed=\"true\"> 0 1 2 3 </values>"
+ "<occurs> 0..1 0..1 1..3 0..1 </occurs>"
+ "</cardinality>");
List<String> sortedModels = TestUtils.computeModels(reader, solver, varSection, ctrSection);
......@@ -375,7 +375,7 @@ public class CountingCtrBuilderTest {
String ctrSection = TestUtils.buildConstraintsSection(""
+ "<cardinality>"
+ "<list> i0 i0 </list>"
+ "<values> 0 1 </values>"
+ "<values closed=\"true\"> 0 1 </values>"
+ "<occurs> i0 i0 </occurs>"
+ "</cardinality>");
List<String> sortedModels = TestUtils.computeModels(reader, solver, varSection, ctrSection);
......@@ -389,7 +389,7 @@ public class CountingCtrBuilderTest {
String ctrSection = TestUtils.buildConstraintsSection(""
+ "<cardinality>"
+ "<list> i0 i0 </list>"
+ "<values> 1 2 </values>"
+ "<values closed=\"true\"> 1 2 </values>"
+ "<occurs> i0 i0 </occurs>"
+ "</cardinality>");
List<String> sortedModels = TestUtils.computeModels(reader, solver, varSection, ctrSection);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment