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
William Kral
181185bad6
Fix indentation before false in tests ( #676 )
2022-04-04 23:58:20 -07:00
William Kral
5f1f07e5a1
Add --no-add-history flag
...
Flag prevents the input stream from saving terms to ~/.scryer_history
when set. Use the flag when running tests to increase test isolation.
2022-03-10 21:48:41 -08: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
4dca86d5cf
serialize call_0 test ( #1206 )
2022-01-12 21:42:26 -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
Mark Thom
cd129e32a7
fix bugs revealed by src/tests/builtins.pl
2022-01-06 21:44:41 -07:00
Mark Thom
2b3e43f160
start to retune testing infrastructure
2022-01-06 21:44:41 -07:00
Mark Thom
7507e88406
detect module resolved cut in interpreted (,)
2022-01-06 21:44:41 -07:00
Mark Thom
0404c3bd94
use new heap term representation
2022-01-06 21:44:38 -07:00
Skgland
e7899ee15e
pass -f to scryer-prolog in cargo test so that we ignore .scryerrc
...
fixes issue #1085
2021-11-11 11:37:05 +01: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
Mark Thom
b21a096516
add read/2 and nl/1 ( #896 )
2021-05-01 16:12:00 -06:00
Mark Thom
290cb1b517
make retract_local_clauses safe, remove warning about overwriting warning in do_not_duplicate_path_components test
2021-03-23 12:37:43 -06:00
Mark Thom
7fb0b4a8df
rename issue841-occure-check.pl to issue841-occurs-check.pl
2021-03-19 21:39:28 -06:00
Skgland
08320119f1
fix expected output for syntax_error test
2021-03-11 17:01:26 +01:00
Skgland
49dcd9bb4a
address problems brought up in review
2021-03-11 16:16:31 +01:00
Skgland
8f41603101
add more tests
...
for some of the recently closed issues
2021-03-11 01:52:22 +01:00
Skgland
e1c681fffe
clean up tests/
...
give helper function a more descriptive name
2021-03-11 01:52:21 +01:00
notoria
f6d4821a68
Small improvement for mod in CLP(Z)
2021-03-07 18:38:04 +01:00
Skgland
2f428b7261
split into lib and bin
...
* makes most pub things in src/ pub(crate) as not to expose things accidentally
* only those things needed by src/bin/scryer-prolog.rs and tests/scryer.rs
should be pub
* split src/main.rs into src/lib.rs and src/bin/scryer-prolog.rs
* add tests folder and run most of the files in src/tests with cargo test
added bytes method to Stream in src/machine/streams.rs to check if stdout is as expected
2021-02-28 19:21:30 +01:00
