Added new test cases showing the problem found by Yacine.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2323 ba638df5-4473-46d1-82f8-c3ae2a17a6e1

org.sat4j.br4cp/small_prices.txt

-((v6.1 & -v6.1.Serie) & ((((((v93.14 | v93.13) | v93.12) | v93.11) | v93.10) | v93.3) | v93.2));	1,11
-(v20.0 & ((((((((((((((v93.14 | v93.9) | v93.13) | v93.12) | v93.8) | v93.7) | v93.6) | v93.5) | v93.11) | v93.10) | v93.4) | v93.3) | v93.2) | v93.1) | v93.0));	6,64
-(v20.1 & ((((((((((((((v93.14 | v93.9) | v93.13) | v93.12) | v93.8) | v93.7) | v93.6) | v93.5) | v93.11) | v93.10) | v93.4) | v93.3) | v93.2) | v93.1) | v93.0));	6,27
-(v93.13);	78,23
-((v38.2 & -v20.1) & ((((((((((((((v93.14 | v93.9) | v93.13) | v93.12) | v93.8) | v93.7) | v93.6) | v93.5) | v93.11) | v93.10) | v93.4) | v93.3) | v93.2) | v93.1) | v93.0));	3,39
-(v93.9);	82,29
-(v55.0 & (((((((((((((((v93.15 | v93.14) | v93.9) | v93.13) | v93.12) | v93.8) | v93.7) | v93.6) | v93.5) | v93.11) | v93.10) | v93.4) | v93.3) | v93.2) | v93.1) | v93.0));	3,32
-(v33.1 & (((((((v93.9 | v93.8) | v93.7) | v93.6) | v93.5) | v93.4) | v93.1) | v93.0));	1,11
-(v22.0 & ((((((v93.14 | v93.13) | v93.12) | v93.11) | v93.10) | v93.3) | v93.2));	2,21
-(v93.14);	73,06
-(v93.15);	58,97
-(v26.1 & ((((((((((((((v93.14 | v93.9) | v93.13) | v93.12) | v93.8) | v93.7) | v93.6) | v93.5) | v93.11) | v93.10) | v93.4) | v93.3) | v93.2) | v93.1) | v93.0));	2,07
-(v25.1 & ((((((((((((((v93.14 | v93.9) | v93.13) | v93.12) | v93.8) | v93.7) | v93.6) | v93.5) | v93.11) | v93.10) | v93.4) | v93.3) | v93.2) | v93.1) | v93.0));	1,18
-(v93.4);	100,00
-(v93.10);	95,94
-(v93.7);	85,98
-(v93.8);	85,98
-(v93.12);	81,92
-(v93.11);	92,25
-((v11.1 & -v11.1.Serie) & ((((((v93.14 | v93.13) | v93.12) | v93.11) | v93.10) | v93.3) | v93.2));	1,48
-(v34.0 & (((((((((((v93.15 | v93.14) | v93.9) | v93.13) | v93.12) | v93.8) | v93.7) | v93.6) | v93.5) | v93.11) | v93.10) | v93.4));	0,37
-(v93.0);	97,05
-(v93.1);	93,36
-(v93.2);	92,99
-(v93.3);	89,30
-(v93.5);	96,31
-(v21.1 & (((((((v93.9 | v93.8) | v93.7) | v93.6) | v93.5) | v93.4) | v93.1) | v93.0));	0,74
-(v93.6);	89,67
-(v12.1 & (((((((v93.9 | v93.8) | v93.7) | v93.6) | v93.5) | v93.4) | v93.1) | v93.0));	4,43
+((v6_1 & -v6_1_Serie) & ((((((v93_14 | v93_13) | v93_12) | v93_11) | v93_10) | v93_3) | v93_2));	1,11
+(v20_0 & ((((((((((((((v93_14 | v93_9) | v93_13) | v93_12) | v93_8) | v93_7) | v93_6) | v93_5) | v93_11) | v93_10) | v93_4) | v93_3) | v93_2) | v93_1) | v93_0));	6,64
+(v20_1 & ((((((((((((((v93_14 | v93_9) | v93_13) | v93_12) | v93_8) | v93_7) | v93_6) | v93_5) | v93_11) | v93_10) | v93_4) | v93_3) | v93_2) | v93_1) | v93_0));	6,27
+(v93_13);	78,23
+((v38_2 & -v20_1) & ((((((((((((((v93_14 | v93_9) | v93_13) | v93_12) | v93_8) | v93_7) | v93_6) | v93_5) | v93_11) | v93_10) | v93_4) | v93_3) | v93_2) | v93_1) | v93_0));	3,39
+(v93_9);	82,29
+(v55_0 & (((((((((((((((v93_15 | v93_14) | v93_9) | v93_13) | v93_12) | v93_8) | v93_7) | v93_6) | v93_5) | v93_11) | v93_10) | v93_4) | v93_3) | v93_2) | v93_1) | v93_0));	3,32
+(v33_1 & (((((((v93_9 | v93_8) | v93_7) | v93_6) | v93_5) | v93_4) | v93_1) | v93_0));	1,11
+(v22_0 & ((((((v93_14 | v93_13) | v93_12) | v93_11) | v93_10) | v93_3) | v93_2));	2,21
+(v93_14);	73,06
+(v93_15);	58,97
+(v26_1 & ((((((((((((((v93_14 | v93_9) | v93_13) | v93_12) | v93_8) | v93_7) | v93_6) | v93_5) | v93_11) | v93_10) | v93_4) | v93_3) | v93_2) | v93_1) | v93_0));	2,07
+(v25_1 & ((((((((((((((v93_14 | v93_9) | v93_13) | v93_12) | v93_8) | v93_7) | v93_6) | v93_5) | v93_11) | v93_10) | v93_4) | v93_3) | v93_2) | v93_1) | v93_0));	1,18
+(v93_4);	100,00
+(v93_10);	95,94
+(v93_7);	85,98
+(v93_8);	85,98
+(v93_12);	81,92
+(v93_11);	92,25
+((v11_1 & -v11_1_Serie) & ((((((v93_14 | v93_13) | v93_12) | v93_11) | v93_10) | v93_3) | v93_2));	1,48
+(v34_0 & (((((((((((v93_15 | v93_14) | v93_9) | v93_13) | v93_12) | v93_8) | v93_7) | v93_6) | v93_5) | v93_11) | v93_10) | v93_4));	0,37
+(v93_0);	97,05
+(v93_1);	93,36
+(v93_2);	92,99
+(v93_3);	89,30
+(v93_5);	96,31
+(v21_1 & (((((((v93_9 | v93_8) | v93_7) | v93_6) | v93_5) | v93_4) | v93_1) | v93_0));	0,74
+(v93_6);	89,67
+(v12_1 & (((((((v93_9 | v93_8) | v93_7) | v93_6) | v93_5) | v93_4) | v93_1) | v93_0));	4,43

org.sat4j.br4cp/src/test/java/org/sat4j/br4cp/TestConfigurator.java

@@ -144,4 +144,17 @@ public class TestConfigurator {
 		configurator.unassignAndRestore("v29");
 		assertEquals(2, configurator.getCurrentDomainOf("v29").size());
 	}
+
+	@Test
+	public void testBugYacineRandom() {
+		configurator = new Br4cpConfigurator();
+		configurator.readProblem("big");
+		configurator.initialize();
+		assertEquals(2, configurator.getCurrentDomainOf("v73").size());
+		configurator.assignAndPropagate("v73", "1");
+		assertEquals(1, configurator.getCurrentDomainOf("v73").size());
+		assertEquals(2, configurator.getCurrentDomainOf("v75").size());
+		configurator.assignAndPropagate("v75", "3");
+		assertEquals(1, configurator.getCurrentDomainOf("v75").size());
+	}
 }