Skip to content

Commit

Permalink
Extreme Tracing Flag now
Browse files Browse the repository at this point in the history
  • Loading branch information
TeamSPoon committed Dec 17, 2024
1 parent e4a1e33 commit fa1fd2b
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion prolog/metta_lang/metta_interp.pl
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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).
Expand Down

0 comments on commit fa1fd2b

Please sign in to comment.