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
3 lines
59 B
Plaintext
3 lines
59 B
Plaintext
use_module(library(freeze)), freeze(X,false), X \=a.
|
|
halt.
|