diff --git a/lisp/version_space_test.lisp b/lisp/version_space_test.lisp index 1651d4b..89fb528 100644 --- a/lisp/version_space_test.lisp +++ b/lisp/version_space_test.lisp @@ -5,36 +5,23 @@ (define-test test-generalize "should return an empty list if passed an empty hypothesis" - (assert-equal '() - (generalize '() '("a" "b")) - ) + (assert-equal '() (generalize '() '("a" "b")) ) "generalizes the two passed hypotheses" - (assert-equal '("a") - (generalize '("a") '("a")) - ) - - (assert-equal '("a") - (generalize '("_") '("a")) - ) - - (assert-equal '("a") - (generalize '("a") '("_")) - ) - - (assert-equal '("*") - (generalize '("a") '("b")) - ) + (assert-equal '("a") (generalize '("a") '("a")) ) + (assert-equal '("a") (generalize '("_") '("a")) ) + (assert-equal '("a") (generalize '("a") '("_")) ) + (assert-equal '("*") (generalize '("a") '("b")) ) ) (define-test test-more-general? "should return true if the first list is equal to the second" - (assert-true (more-general? '("a") '("a"))) - (assert-true (not (more-general? '("a") '("b")))) + (assert-true (more-general? '("a") '("a")) ) + (assert-true (not (more-general? '("a") '("b"))) ) "should return true if the first list is more general than the second" - (assert-true (more-general? '("a" "*" "c") '("a" "b" "c"))) - (assert-true (not (more-general? '("a" "*" "c") '("a" "b" "d")))) + (assert-true (more-general? '("a" "*" "c") '("a" "b" "c")) ) + (assert-true (not (more-general? '("a" "*" "c") '("a" "b" "d"))) ) ) (run-tests) \ No newline at end of file