2% % % OFF :- system:use_module(library(must_sanity)). 3% % % OFF :- system:use_module(library(bugger)). 4:- ensure_loaded(library(ansimesg)). 5 6:- set_prolog_flag(must_saftey,3). 7:- set_prolog_flag(must_debug,0). 8:- set_prolog_flag(must_speed,0). 9 10:- set_prolog_flag(runtime_must,keep_going). 11 12test(0):- must(\+ fail). 13 14test(1):- must_once(fail). 15 16all_tests:- forall(test(_),true). 17 18:- listing(test(_)).