Skip to content

Instantly share code, notes, and snippets.

@lucaswiman

lucaswiman/gist:7eb3390f53913f6182fa

Created November 24, 2015 06:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lucaswiman/7eb3390f53913f6182fa to your computer and use it in GitHub Desktop.
Save lucaswiman/7eb3390f53913f6182fa to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
?- [foo].
% foo compiled 0.00 sec, 3 clauses
true.
?- load_test_files(foo).
% /tmp/example/foo.plt compiled into plunit 0.00 sec, 6 clauses
true.
?- run_tests.
% PL-Unit: foo
ERROR: /tmp/example/foo.plt:2:
test x: received error: not/1: Undefined procedure: plunit_foo:x/1
ERROR: /tmp/example/foo.plt:4:
test x: received error: plunit_foo:'unit body'/2: Undefined procedure: plunit_foo:x/1
done
% 2 tests failed
% 0 tests passed
false.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment