- * Add --cfg=model-check/visited option. Allows the verification of
- infinite programs. Detection of loops in the execution thanks to the system
- state comparison and reduction of the state space to explore. Can
- be combined with DPOR for safety properties.
+ * Add --cfg=model-check/visited option. Allows the verification of infinite
+ programs. Detection of loops in the execution thanks to the system state
+ comparison and reduction of the state space to explore. Can be combined with
+ DPOR for safety properties.