Add Verific -work parameter
authorClifford Wolf <clifford@clifford.at>
Wed, 22 Aug 2018 11:30:22 +0000 (13:30 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 22 Aug 2018 11:30:22 +0000 (13:30 +0200)
commit4b02ee91627c49bd4ea0e89d6c8531283501a24b
tree38e2b0f6b0decd86bc02bec094e15fa3f036c2cd
parent05466790a6152f7594e3506b3360e604df6df607
Add Verific -work parameter

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc