[Toss-devel-svn] SF.net SVN: toss:[1202] trunk/Toss/Solver/SolverTest.ml

[<luk...@us...>]

Revision: 1202
          http://toss.svn.sourceforge.net/toss/?rev=1202&view=rev
Author:   lukaszkaiser
Date:     2010-11-28 01:40:56 +0000 (Sun, 28 Nov 2010)

Log Message:
-----------
Remove bugus comment.

Modified Paths:
--------------
    trunk/Toss/Solver/SolverTest.ml

Modified: trunk/Toss/Solver/SolverTest.ml
===================================================================
--- trunk/Toss/Solver/SolverTest.ml	2010-11-28 01:37:00 UTC (rev 1201)
+++ trunk/Toss/Solver/SolverTest.ml	2010-11-28 01:40:56 UTC (rev 1202)
@@ -112,7 +112,7 @@
 
   "eval: mso with quantifiers" >::
     (fun () ->
-(*      eval_eq "[ | R { (a, b); (a, c) } | ]" "tc x, y R(x, y)"
+      eval_eq "[ | R { (a, b); (a, c) } | ]" "tc x, y R(x, y)"
 	"{ y->1{ x->1 } , y->2{ x->1, x->2 } , y->3{ x->1, x->3 }  }";
       eval_eq "[ | R { (a, b); (b, c) } | ]" "tc x, y R(x, y)"
 	"{ y->1{ x->1 } , y->2{ x->1, x->2 } , y->3 }";
@@ -120,7 +120,7 @@
 	"x != y and not R(x, y) and tc x, y R(x, y)"
 	("{ y->3{ x->1 } , y->4{ x->1, x->2 } , y->5{ x->1, x->2, x->3 } ," ^
 	    " y->6{ x->1, x->2, x->3, x->4 } , y->7{ x->1, x->2, x->3, x->4," ^
-	    " x->5 } , y->8{ x->1, x->2, x->3, x->4, x->5, x->6 }  }"); *)
+	    " x->5 } , y->8{ x->1, x->2, x->3, x->4, x->5, x->6 }  }");
       eval_eq "[ | R { (a,b); (b,c); (c,d); (d,e); (e,f); (f,g); (g,h) } | ]" 
 	"x != y and not R(x, y) and tc 4 x, y R(x, y)" 
 	("{ y->3{ x->1 } , y->4{ x->1, x->2 } , y->5{ x->1, x->2, x->3 } ," ^


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.