Skip to content

#526 Add controlled system state space size as statistics option

Dennis Hendriks requested to merge 526-add-controlled-system-state-space-size-as-statistics-option into develop
  • 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

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent