summaryrefslogtreecommitdiff
path: root/backends/btor
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-09-30 19:16:40 +0200
committerClifford Wolf <clifford@clifford.at>2014-09-30 19:16:40 +0200
commit2ee03f5da42e03cc2e5e17b8394ed4f0d24cf21b (patch)
tree040e136e1484f9f46e4ab2b623fcd1fd3fce1e32 /backends/btor
parent0b8cfbc6fde8e7500c5df38c74e1da2d74e588bd (diff)
set "keep" on modules with $assert cells in "hierarchy"
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions