diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 07:54:11 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 08:21:26 -0700 |
commit | 3a27906ac65a1287d1cc4ea758e639b608e152a6 (patch) | |
tree | f6f812c5ed116ead24cd3114d5170a50b8a159ce /tests | |
parent | 843201ec96ed7c04a1fc5bb1c5b7558f018573a3 (diff) | |
download | yosys-3a27906ac65a1287d1cc4ea758e639b608e152a6.tar.gz yosys-3a27906ac65a1287d1cc4ea758e639b608e152a6.tar.bz2 yosys-3a27906ac65a1287d1cc4ea758e639b608e152a6.zip |
abc9_exe: verify -> &verify -s
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions