Skip to content
Snippets Groups Projects
Commit 2256b6f7 authored by Kia's avatar Kia
Browse files

test_formal.sby

parent 0a0837b2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 7 deletions
test_formal.sby
+ 0
− 7
View file @ 2256b6f7
[tasks]
cover
bmc
[options]
bmc: mode bmc
cover: mode cover
mode prove
depth 128
multiclock off
[engines]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment