diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-17 16:11:54 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-17 16:11:54 -0800 |
| commit | c9c77a90b32a1fea64823dbded7eeddf826617a1 (patch) | |
| tree | 46c7e20c761f933ba5034f49dc4e0f3cb9a6f61f /passes/techmap | |
| parent | 5e206199f4639dbebfc9e2a0e6a8170db449b088 (diff) | |
| download | yosys-c9c77a90b32a1fea64823dbded7eeddf826617a1.tar.gz yosys-c9c77a90b32a1fea64823dbded7eeddf826617a1.tar.bz2 yosys-c9c77a90b32a1fea64823dbded7eeddf826617a1.zip | |
Remove &verify -s
Diffstat (limited to 'passes/techmap')
| -rw-r--r-- | passes/techmap/abc9.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 1f7585318..8027c5131 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -30,7 +30,7 @@ "&st; &if -g -K 6; &synch2; &if {W} -v; &save; &load; "\ "&mfs; &ps -l" #else -#define ABC_COMMAND_LUT "&st; &scorr; &sweep; &dc2; &st; &dch -f; &ps; &if {W} {D} -v; &mfs; &ps -l; &verify -s" +#define ABC_COMMAND_LUT "&st; &scorr; &sweep; &dc2; &st; &dch -f; &ps; &if {W} {D} -v; &mfs; &ps -l" #endif |