Marcel Stahn issues

Repositories
Issues
Comments

Results 1 issues of


                                            Marcel Stahn

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