Skip to content

Adding evalcount with warning

Robin Soegtrop requested to merge adding-evalcount-with-warning into main

Added the posibility to print the evaluation step count of the abstract machine. Also added a warning to REPL, to warn of long print times:

fang> fac 4;
24
fang> :smc
Machine Steps count: 345
fang> :smt
REPL-Warning: Machine Step count is 345. It is not recommended to print a trace over 200 length. Options (enter):
  abort -> Aborts printing the Trace
  cont  -> Continues printing the Trace
  last  -> Prints the last Machine State
conflict> abort
fang>

Merge request reports