Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Diff of /Test/examples/family_relations.tst [4dca5a] .. [2922d1] Maximize Restore

  Switch to side-by-side view

--- a/Test/examples/family_relations.tst
+++ b/Test/examples/family_relations.tst
@@ -7,9 +7,9 @@
     ...                         'examples/family_relations')
     >>> sys.path.append(new_path)
 
-    >>> import run
-
-    >>> run.fc_test()      # doctest: +ELLIPSIS
+    >>> import driver
+
+    >>> driver.fc_test()      # doctest: +ELLIPSIS
     doing proof
     bruce, thomas are ('son', 'father')
     bruce, norma are ('son', 'mother')
@@ -57,7 +57,7 @@
                 0 successes, 0 failures
     fc time ..., ... asserts/sec
 
-    >>> run.bc_test()      # doctest: +ELLIPSIS
+    >>> driver.bc_test()      # doctest: +ELLIPSIS
     doing proof
     bruce, thomas are ('son', 'father')
     bruce, norma are ('son', 'mother')
@@ -105,7 +105,7 @@
     family: 9 fact names, 94 universal facts, 0 case_specific facts
     bc time ..., ... goals/sec
 
-    >>> run.bc2_test()      # doctest: +ELLIPSIS
+    >>> driver.bc2_test()      # doctest: +ELLIPSIS
     doing proof
     bruce, thomas are ('son', 'father')
     bruce, norma are ('son', 'mother')
@@ -153,7 +153,7 @@
     family: 9 fact names, 94 universal facts, 0 case_specific facts
     bc time ..., ... goals/sec
 
-    >>> run.test()      # doctest: +ELLIPSIS
+    >>> driver.test()      # doctest: +ELLIPSIS
     doing proof
     bruce, thomas are son, father
     bruce, norma are son, mother
@@ -203,7 +203,7 @@
     bc time ..., ... goals/sec
     total time ...
 
-    >>> run.general('bruce')      # doctest: +ELLIPSIS
+    >>> driver.general('bruce')      # doctest: +ELLIPSIS
     doing proof
     bruce, thomas are ('son', 'father')
     bruce, norma are ('son', 'mother')