Bennet Bleßmann
|
b32498b37c
|
adjust ignore reason
|
2024-07-06 18:24:38 +02:00 |
|
Bennet Bleßmann
|
fcb41542c3
|
fix stream.rs UB
|
2024-07-06 14:30:03 +02:00 |
|
bakaq
|
f02c0eacd8
|
Make "cargo miri test" actually run
|
2024-01-09 04:38:53 -03:00 |
|
Skgland
|
fcf2e2db05
|
move .pl files from tests-pl next to the .toml of the test that uses them
|
2023-12-04 22:16:04 +01:00 |
|
Skgland
|
1c52de9ab1
|
File-oriented testing
inspired by #2191 but for the `run_top_level_test_with_args`s and `run_top_level_test_no_args instead of the `load_module_test`s
|
2023-12-04 22:02:46 +01:00 |
|
infogulch
|
9444e62df9
|
Resolve lints and format
|
2023-11-04 02:16:54 -05:00 |
|
Mark
|
d96c9e00b7
|
correct more acyclic_term/1 issues (#2111, #2114), add acyclic_term tests
|
2023-10-14 18:38:10 -06:00 |
|
Mark
|
0ad4427f83
|
use eager_stackful_preorder_iter in variable_set, add term_variables/1 tests
|
2023-10-04 15:12:25 -06:00 |
|
Mark
|
1bfdea7527
|
rewrite ground_test, add tests for ground/1 (#2075)
|
2023-10-04 14:17:03 -06:00 |
|
bakaq
|
cac52c0537
|
Run dif tests on cargo test
|
2023-09-21 12:14:27 -03:00 |
|
Skgland
|
b2130c2a48
|
run cargo fmt
|
2023-09-05 19:12:17 +02:00 |
|
Mark
|
cb25a90250
|
add iso-conformity-tests.pl to test suite
|
2023-07-02 11:10:33 -06:00 |
|
Mark Thom
|
56681af1b6
|
print dot after errors, fix tests (#1408)
|
2022-04-10 10:15:00 -06:00 |
|
Mark Thom
|
8bf3d4ea71
|
fix tests, use '$first_answer' to print indentation before errors (#1408)
|
2022-04-09 20:32:52 -06:00 |
|
Mark Thom
|
d83b32a200
|
print variables instead of offsets in setup_call_cleanup tests
|
2022-03-08 22:05:54 -07:00 |
|
Mark Thom
|
c893247107
|
update setup_call_cleanup tests
|
2022-02-19 01:00:02 -07:00 |
|
Mark Thom
|
33a6c81a07
|
update setup_call_cleanup tests
|
2022-02-06 21:46:06 -07:00 |
|
Mark Thom
|
8df346f377
|
expand phrase/{2,3} using dcg_body whenever possible
|
2022-01-21 08:10:55 -07:00 |
|
Mark Thom
|
5dddf0a460
|
dereference car of Lis in HeapPStRIter::step (#1238)
|
2022-01-19 20:51:23 -07:00 |
|
Mark Thom
|
d01806ee2d
|
correct heap offsets in setup_call_cleanup tests
|
2022-01-08 12:50:09 -07:00 |
|
Mark Thom
|
b24df6e195
|
properly iterate over read terms in MachineState::read_term
|
2022-01-06 21:44:41 -07:00 |
|
Mark Thom
|
bcd33dc8e3
|
get test suite working
|
2022-01-06 21:44:41 -07:00 |
|
Skgland
|
2089727c7f
|
ignore setup_call_cleanup tests as their output is apparently non-deterministic
|
2021-06-02 17:41:14 +02:00 |
|
Skgland
|
fbbf705d10
|
fix tests
|
2021-06-02 17:15:31 +02:00 |
|
Skgland
|
08320119f1
|
fix expected output for syntax_error test
|
2021-03-11 17:01:26 +01:00 |
|
Skgland
|
e1c681fffe
|
clean up tests/
give helper function a more descriptive name
|
2021-03-11 01:52:21 +01:00 |
|