Skip to content

#526 Add controlled system state space size as statistics option

  • Add it as a statistic. Enabled by default.
  • Normal output now, no longer debug output. Still separated from debug output as before though.
  • No more extra indentation to match debug output. (similar to other statistics)
  • Updated benchmark script, updated/added tests, updated/added documentation.

Best reviewed per commit.

Closes #526 (closed)

Edited by Dennis Hendriks

Merge request reports