aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-06-26 10:06:33 -0700
committerEddie Hung <eddie@fpgeh.com>2019-06-26 10:06:33 -0700
commitcb722e7b58d634370bb013641dcccb2b5041febb (patch)
tree1b64eb942fa0e6d7c36cb89e56565f4bfbdb6b78 /tests/sva
parent4ce329aefd34c53ab2b96cd79540c3e528661037 (diff)
downloadyosys-cb722e7b58d634370bb013641dcccb2b5041febb.tar.gz
yosys-cb722e7b58d634370bb013641dcccb2b5041febb.tar.bz2
yosys-cb722e7b58d634370bb013641dcccb2b5041febb.zip
Oops. Actually use nocarry flag as spotted by @koriakin
Diffstat (limited to 'tests/sva')
0 files changed, 0 insertions, 0 deletions