Improvements in verific command
authorClifford Wolf <clifford@clifford.at>
Mon, 10 Mar 2014 02:03:08 +0000 (03:03 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 10 Mar 2014 02:03:08 +0000 (03:03 +0100)
commitc71791a1ffa566585317a01becd5c33ad452fe57
tree82d047524c4da6d666ce04405cf919adee873c23
parentfdef064b1d8bbaff8d8f3f2dbf728132ef463010
Improvements in verific command
frontends/verific/verific.cc