Merge branch 'master' of https://github.com/logicmoo/metta-testsuite

trueagi-io · Dec 27, 2024 · 7136064 · 7136064
2 parents 1ec08c1 + 87ea324
commit 7136064
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/prolog/metta_lang/metta_interp.pl b/prolog/metta_lang/metta_interp.pl
@@ -588,6 +588,13 @@
 'is-symbol'(X):- symbol(X).
 %:- (is_mettalog->switch_to_mettalog;switch_to_mettarust).
 
+set_is_unit_test(false):-
+  forall(option_value_def(A,B),set_option_value_interp(A,B)),
+  set_option_value_interp('trace-on-test',false),
+  set_option_value_interp('trace-on-fail',false),
+  set_option_value_interp('load',silent),
+  set_option_value_interp('test',false),
+  !.
 set_is_unit_test(TF):-
   forall(option_value_def(A,B),set_option_value_interp(A,B)),
   set_option_value_interp('trace-on-test',false),
@@ -600,6 +607,7 @@
   set_option_value_interp('trace-on-exec',TF),
   set_option_value_interp('trace-on-eval',TF),*/
  % if_t( \+ TF , set_prolog_flag(debug_on_interrupt,true)),
+ % TODO: what is this cutting here?
   !.
 
 :- meta_predicate fake_notrace(0).