CENSO
CENSO copied to clipboard
Added maxoptcycles configuration to .censorc.
- Keeping old behaviour as "maxoptcycles: old"
- Adding new automatic setup (50 + 3*nat) as "maxoptcycles: automatic"
- Allows manual setting of maximum optimization cyles for part 2.
Signed-off-by: MtoLStoN [email protected]