[Toss-devel-svn] SF.net SVN: toss:[1202] trunk/Toss/Solver/SolverTest.ml
Status: Beta
Brought to you by:
lukaszkaiser
|
From: <luk...@us...> - 2010-11-28 01:41:03
|
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.
|