Run dif tests on cargo test

diff --git a/tests-pl/dif_tests.pl b/src/tests/dif.pl
similarity index 91%
rename from tests-pl/dif_tests.pl
rename to src/tests/dif.pl
index 01ece5fa4af2e4ea1db54fd9f0d3bfb78685b0a2..752458b558b2fa388a4f63b13728f5fa401b5162 100644 (file)
--- a/tests-pl/dif_tests.pl
+++ b/src/tests/dif.pl
@@ -195,6 +195,15 @@ main :-
     show_failed(Failed),
     halt.
 
+main_quiet :-
+    findall(test(Name, Goal), test(Name, Goal), Tests),
+    run_tests_quiet(Tests, Failed),
+    (   Failed = [] ->
+        format("All tests passed", [])
+    ;   format("Some tests failed", [])
+    ),
+    halt.
+
 portray_failed_([]) --> [].
 portray_failed_([F|Fs]) -->
     "\"", F, "\"",  "\n", portray_failed_(Fs).
@@ -217,6 +226,14 @@ run_tests([test(Name, Goal)|Tests], Failed) :-
     ),
     run_tests(Tests, Failed1).
 
+run_tests_quiet([], []).
+run_tests_quiet([test(Name, Goal)|Tests], Failed) :-
+    (   call(Goal) ->
+        Failed = Failed1
+    ;   Failed = [Name|Failed1]
+    ),
+    run_tests_quiet(Tests, Failed1).
+
 assert_p(A, B) :-
     phrase(portray_clause_(A), Portrayed),
     phrase((B, ".\n"), Portrayed).

diff --git a/tests/scryer/src_tests.rs b/tests/scryer/src_tests.rs
index f913788ea3c7365b03527ee3865860357b9ec74e..5572b75f450ba5ba8eaaf488d80f5b97c325b13a 100644 (file)
--- a/tests/scryer/src_tests.rs
+++ b/tests/scryer/src_tests.rs
@@ -75,3 +75,12 @@ fn clpz_load() {
 fn iso_conformity_tests() {
     load_module_test("tests-pl/iso-conformity-tests.pl", "All tests passed");
 }
+
+#[test]
+fn dif_tests() {
+    run_top_level_test_with_args(
+        &["src/tests/dif.pl", "-f", "-g", "main_quiet"],
+        "",
+        "All tests passed",
+    );
+}