add iso-conformity-tests.pl to test suite

diff --git a/src/machine/mock_wam.rs b/src/machine/mock_wam.rs
index f71f32e32321545336de674819a9e6806ec74064..70264ac9a6f62718d0b74597854b3b2a123a647e 100644 (file)
--- a/src/machine/mock_wam.rs
+++ b/src/machine/mock_wam.rs
@@ -239,7 +239,7 @@ impl Machine {
             user_error,
             load_contexts: vec![],
             runtime,
-           foreign_function_table: Default::default(),
+               foreign_function_table: Default::default(),
         };
 
         let mut lib_path = current_dir();

diff --git a/tests-pl/iso-conformity-tests.pl b/tests-pl/iso-conformity-tests.pl
index e78305a2e84ed08434f880ae79849c5af7eebfde..d72fbf3866f63641e707c906ef5eb7387ca0f5ab 100644 (file)
--- a/tests-pl/iso-conformity-tests.pl
+++ b/tests-pl/iso-conformity-tests.pl
@@ -5,7 +5,6 @@
 :- use_module(library(files)).
 :- use_module(library(format)).
 :- use_module(library(iso_ext)).
-:- use_module(library(lists), [append/3]).
 
 writeq_term_to_chars(Term, Chars) :-
     Options = [ignore_ops(false), numbervars(true), quoted(true), variable_names([])],
@@ -1016,11 +1015,9 @@ run_tests :-
             Tests),
     phrase(run_tests(Tests), FailedTests),
     (  FailedTests == [] ->
-       write('All tests passed'),
-       nl
-    ;  format("Failed ISO conformity tests: ~w~n", [FailedTests]),
+       write('All tests passed')
+    ;  format("Failed ISO conformity tests: ~w", [FailedTests]),
        false
     ).
 
-% FIXME: enable once all tests pass.
-% :- initialization(run_tests).
+:- initialization(run_tests).

diff --git a/tests/scryer/src_tests.rs b/tests/scryer/src_tests.rs
index c7f7c80abd07be5a274eecbb961d4e532a52edd1..380430985f9d56c0beddd790a2d070001a9a1625 100644 (file)
--- a/tests/scryer/src_tests.rs
+++ b/tests/scryer/src_tests.rs
@@ -69,3 +69,12 @@ fn setup_call_cleanup_process() {
 fn clpz_load() {
     load_module_test("src/tests/clpz/test_clpz.pl", "");
 }
+
+#[serial]
+#[test]
+fn iso_conformity_tests() {
+    load_module_test(
+        "tests-pl/iso-conformity-tests.pl",
+        "All tests passed",
+    );
+}