halt.\n\
",
"\
- caught: e\n\
+ caught: e\n \
false.\n\
- caught: e\n\
+ caught: e\n \
false.\n\
",
);
",
" \
true.\n \
- true.\n\
+ true.\n \
false.\n \
X = - X.\n \
- dif:dif(- X,X).\n\
+ dif:dif(- X,X).\n \
false.\n \
Vars = [X], dif:dif(- X,X).\n \
true.\n \
f(X, X).\n\
halt.\n\
",
- "false.\n",
+ " false.\n",
)
}
halt.\n\
",
" \
- true.\n\
+ true.\n \
+ false.\n \
+ true.\n \
false.\n \
- true.\n\
- false.\n\
false.\n\
",
)
run_top_level_test_no_args("write(a), write(b), false.\n\
halt.\n\
",
- "abfalse.\n")
+ "ab false.\n")
}
/*