diff options
Diffstat (limited to 'examples/smtbmc/glift/too_large.ys')
| -rw-r--r-- | examples/smtbmc/glift/too_large.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/smtbmc/glift/too_large.ys b/examples/smtbmc/glift/too_large.ys index e14c2b7b6..2bb6105ea 100644 --- a/examples/smtbmc/glift/too_large.ys +++ b/examples/smtbmc/glift/too_large.ys @@ -2,7 +2,7 @@ read_verilog too_large.v techmap flatten select too_large_lev2 -glift -optimize-precise +glift -create-sketch techmap opt rename too_large_lev2 uut |