Add option to report some statistics related to the controller's size

GaloisInc / salty

A DSL for generating GR(1) problems

BSD 3-Clause "New" or "Revised" License

11 stars 3 forks source link

Add option to report some statistics related to the controller's size #19

Closed hamilj closed 4 years ago

hamilj commented 4 years ago

When --ddump-stats is specified and the controller is realizable, the number of nodes and average/median/maximum number of successors in the fsm is outputted.