Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

author	Skgland <[email protected]>
	Mon, 4 Dec 2023 21:00:52 +0000 (22:00 +0100)
committer	Bennet Bleßmann <[email protected]>
	Mon, 4 Dec 2023 21:02:46 +0000 (22:02 +0100)
commit	1c52de9ab19302a96a9abfffd3a3508e715af60e
tree	91b9bdf9a5132716c5ab5b2d15f43ae258a6309c	tree \| snapshot
parent	eddcdaabeffd447a44a95401c95f34238c392bd4	commit \| diff

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

62 files changed:

Cargo.lock		diff \| blob \| history
Cargo.toml		diff \| blob \| history
tests/scryer/cli/issues/compound_goal.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/compound_goal.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/compound_goal.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/display_constraints.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/display_constraints.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/display_constraints.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/display_constraints.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/do_not_duplicate_path_components.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/do_not_duplicate_path_components.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/do_not_duplicate_path_components.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/do_not_duplicate_path_components.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/handle_residual_goal.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/handle_residual_goal.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/handle_residual_goal.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/handle_residual_goal.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/ignored_constraint.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/ignored_constraint.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/ignored_constraint.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/ignored_constraint.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/multiple_goals.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/multiple_goals.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/multiple_goals.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/no_stutter.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/no_stutter.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/no_stutter.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/no_stutter.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag2.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag2.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag2.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/occurs_check_flag2.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/op3.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/op3.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/op3.toml	[new file with mode: 0644]	blob
tests/scryer/cli/issues/singleton_warning.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/issues/singleton_warning.stdin	[new file with mode: 0644]	blob
tests/scryer/cli/issues/singleton_warning.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/issues/singleton_warning.toml	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/acyclic_term_tests.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/acyclic_term_tests.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/acyclic_term_tests.toml	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/dif_tests.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/dif_tests.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/dif_tests.toml	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/ground_tests.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/ground_tests.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/ground_tests.toml	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/setup_call_cleanup_process.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/setup_call_cleanup_process.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/setup_call_cleanup_process.toml	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/term_variables_tests.stderr	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/term_variables_tests.stdout	[new file with mode: 0644]	blob
tests/scryer/cli/src_tests/term_variables_tests.toml	[new file with mode: 0644]	blob
tests/scryer/helper.rs		diff \| blob \| history
tests/scryer/issues.rs		diff \| blob \| history
tests/scryer/main.rs		diff \| blob \| history
tests/scryer/src_tests.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom