aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat/run-test.sh
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-20 18:16:37 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-20 18:16:37 -0700
commit091bf4a18b2f4bf84fe62b61577c88d961468b3c (patch)
treeb70212f67f6007e7f82574f0ec4542b46c00309c /tests/sat/run-test.sh
parentbbab6086918f8af3a8a09c2be56208fc29ef7068 (diff)
downloadyosys-091bf4a18b2f4bf84fe62b61577c88d961468b3c.tar.gz
yosys-091bf4a18b2f4bf84fe62b61577c88d961468b3c.tar.bz2
yosys-091bf4a18b2f4bf84fe62b61577c88d961468b3c.zip
Remove sequential extension
Diffstat (limited to 'tests/sat/run-test.sh')
0 files changed, 0 insertions, 0 deletions