diff options
| author | Guy <katz911@gmail.com> | 2016-07-27 12:54:29 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-07-27 12:54:29 -0700 |
| commit | 6e5f92fe7c71fdbd11f28a11071bd3d37e429c82 (patch) | |
| tree | a001eedf0b3035ffa3cf652ea70b9f39799ff340 /src/options | |
| parent | 9dd9a6f7cff50d6877a81675073a322730afad91 (diff) | |
Added an option for a more aggressive weakest implicant optimization
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/proof_options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/proof_options b/src/options/proof_options index a99d858bc..8a496bda6 100644 --- a/src/options/proof_options +++ b/src/options/proof_options @@ -8,4 +8,7 @@ module PROOF "options/proof_options.h" Proof option lfscLetification --lfsc-letification bool :default true turns on global letification in LFSC proofs +option aggressiveCoreMin --aggressive-core-min bool :default false + turns on aggressive unsat core minimization (experimental) + endmodule |