Marcel Stahn

Results 1 issues of Marcel Stahn

- 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:...