[jboss-svn-commits] JBL Code SVN: r21326 - labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/alwaysTrue.

[jboss-svn-commits at lists.jboss.org]

Author: tirelli
Date: 2008-08-01 16:35:51 -0400 (Fri, 01 Aug 2008)
New Revision: 21326

Modified:
   labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/alwaysTrue/Patterns.drl
Log:
Fixing tests

Modified: labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/alwaysTrue/Patterns.drl
===================================================================
--- labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/alwaysTrue/Patterns.drl	2008-08-01 19:27:37 UTC (rev 21325)
+++ labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/alwaysTrue/Patterns.drl	2008-08-01 20:35:51 UTC (rev 21326)
@@ -32,13 +32,13 @@
 		
 		Opposites(
 			(
-				left == a && right memberof $pp.items
+				left == a && right memberOf $pp.items
 			) && (
-				left == b && right memberof $pp.items
+				left == b && right memberOf $pp.items
 			)
 		)
 	then 
-#		insert( new AlwaysTrue( $pp ));
+		insert( new AlwaysTrue( $pp ));
 end
 /*
 #
@@ -79,7 +79,7 @@
 	then 
 		insert( new AlwaysTrue( $pp ));
 end
-
+*/
 #
 # Finds patterns that are always true.
 #
@@ -118,4 +118,3 @@
 								$p,
 								$p + " in rule " + $r + " is always satisfied." ) );
 end
-*/
\ No newline at end of file