Diff of /examples/forall/fc_forall.krb [7cd0dd] .. [2922d1]  Maximize  Restore

Switch to side-by-side view

--- a/examples/forall/fc_forall.krb
+++ b/examples/forall/fc_forall.krb
@@ -12,4 +12,4 @@
         require
             check $father == $father2
     assert
-        python print $child, "has no step brothers or sisters"
+        python print($child, "has no step brothers or sisters")

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks