From fa1fd2bda7142ef1735717c2ee8ccfeed7621255 Mon Sep 17 00:00:00 2001 From: logicmoo Date: Mon, 16 Dec 2024 19:48:28 -0800 Subject: [PATCH] Extreme Tracing Flag now --- prolog/metta_lang/metta_interp.pl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prolog/metta_lang/metta_interp.pl b/prolog/metta_lang/metta_interp.pl index 79e9966b0c..5f7ea89a42 100755 --- a/prolog/metta_lang/metta_interp.pl +++ b/prolog/metta_lang/metta_interp.pl @@ -444,6 +444,8 @@ option_value_name_default_type_help('repl-on-fail', false, [false, true], "Start REPL on failed unit test", 'Debugging and Tracing'). option_value_name_default_type_help('exit-on-fail', false, [true, false], "Rust exits on first Assertion Error", 'Debugging and Tracing'). +option_value_name_default_type_help('rrtrace', false, [false, true], "Extreme Tracing", 'Debugging and Tracing'). + % Define the possible values for various types % Verbosity values @@ -2046,7 +2048,7 @@ %:- ensure_loaded('../../examples/factorial'). %:- ensure_loaded('../../examples/fibonacci'). -extreme_tracing:- fail. +extreme_tracing:- fast_option_value(rrtrace, false),!. %print_preds_to_functs:-preds_to_functs_src(factorial_tail_basic) ggtrace(G):- extreme_tracing,!, rtrace(G).