The best I can test here is really success.

klutometis · Jul 21, 2013 · e26ebbd · e26ebbd
1 parent bc64ce7
commit e26ebbd
Showing 1 changed file with 5 additions and 30 deletions.
diff --git a/tests/run.scm b/tests/run.scm
@@ -186,36 +186,11 @@
 (test-assert "Arc-inconsistent coloring"
              (failure? (backtracking-search arc-inconsistent-coloring)))
 
-(test "3-color Australia search"
-      '((wa . red)
-        (v . red)
-        (t . red)
-        (q . red)
-        (sa . green)
-        (nt . blue)
-        (nsw . blue))
-      (hash-table->alist (backtracking-search 3-color-australia)))
-
-(test "3-color Australia enumeration"
-      '(((wa . blue) (v . blue) (t . blue) (q . blue) (sa . green) (nt . red) (nsw . red))
-        ((wa . blue) (v . blue) (t . blue) (q . blue) (sa . red) (nt . green) (nsw . green))
-        ((wa . blue) (v . blue) (t . green) (q . blue) (sa . green) (nt . red) (nsw . red))
-        ((wa . blue) (v . blue) (t . green) (q . blue) (sa . red) (nt . green) (nsw . green))
-        ((wa . blue) (v . blue) (t . red) (q . blue) (sa . green) (nt . red) (nsw . red))
-        ((wa . blue) (v . blue) (t . red) (q . blue) (sa . red) (nt . green) (nsw . green))
-        ((wa . green) (v . green) (t . blue) (q . green) (sa . blue) (nt . red) (nsw . red))
-        ((wa . green) (v . green) (t . blue) (q . green) (sa . red) (nt . blue) (nsw . blue))
-        ((wa . green) (v . green) (t . green) (q . green) (sa . blue) (nt . red) (nsw . red))
-        ((wa . green) (v . green) (t . green) (q . green) (sa . red) (nt . blue) (nsw . blue))
-        ((wa . green) (v . green) (t . red) (q . green) (sa . blue) (nt . red) (nsw . red))
-        ((wa . green) (v . green) (t . red) (q . green) (sa . red) (nt . blue) (nsw . blue))
-        ((wa . red) (v . red) (t . blue) (q . red) (sa . blue) (nt . green) (nsw . green))
-        ((wa . red) (v . red) (t . blue) (q . red) (sa . green) (nt . blue) (nsw . blue))
-        ((wa . red) (v . red) (t . green) (q . red) (sa . blue) (nt . green) (nsw . green))
-        ((wa . red) (v . red) (t . green) (q . red) (sa . green) (nt . blue) (nsw . blue))
-        ((wa . red) (v . red) (t . red) (q . red) (sa . blue) (nt . green) (nsw . green))
-        ((wa . red) (v . red) (t . red) (q . red) (sa . green) (nt . blue) (nsw . blue)))
-      (map hash-table->alist (backtracking-enumeration 3-color-australia)))
+(test-assert "3-color Australia search"
+             (success? (backtracking-search 3-color-australia)))
+
+(test-assert "3-color Australia enumeration"
+             (success? (backtracking-enumeration 3-color-australia)))
 
 (test "2-color Australia failure"
       '()