Add get_fsm_accept_reject for parsing SVA properties
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 10:50:38 +0000 (11:50 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 10:50:38 +0000 (11:50 +0100)
commitd86e875f0f1b549cdc61c9ab30472720e641a4b9
tree52b395e8838fa2a8d6a69b71cc0da6d106b6dba2
parent588ce0e34a771552ebb3e0c2d10320a990fdad3b
Add get_fsm_accept_reject for parsing SVA properties

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