From: Mark <markjordanthom@gmail.com>
Date: Sat, 1 Jul 2023 21:38:05 +0000 (-0600)
Subject: add iso-conformity-tests.pl to test suite
X-Git-Tag: v0.9.2~95^2~4
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cb25a9025018643f5e2da32f4474dbc23ca299c3;p=scryer-prolog.git

add iso-conformity-tests.pl to test suite
---

diff --git a/src/machine/mock_wam.rs b/src/machine/mock_wam.rs
index f71f32e3..70264ac9 100644
--- 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 e78305a2..d72fbf38 100644
--- 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 c7f7c80a..38043098 100644
--- 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",
+    );
+}