rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add iso-conformity-tests.pl to test suite

Browse Source
This commit is contained in:
Mark
2023-07-01 15:38:05 -06:00
parent 38a9d23174
commit cb25a90250
3 changed files with 13 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/machine/mock_wam.rs
View File

@@ -239,7 +239,7 @@ impl Machine {
user_error, user_error,
load_contexts: vec![], load_contexts: vec![],
runtime, runtime,
foreign_function_table: Default::default(), foreign_function_table: Default::default(),
}; };
let mut lib_path = current_dir(); let mut lib_path = current_dir();

9
tests-pl/iso-conformity-tests.pl
View File

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

9
tests/scryer/src_tests.rs
View File

@@ -69,3 +69,12 @@ fn setup_call_cleanup_process() {
fn clpz_load() { fn clpz_load() {
load_module_test("src/tests/clpz/test_clpz.pl", ""); 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",
);
}