Add $rose/$fell support to Verific bindings
authorClifford Wolf <clifford@clifford.at>
Thu, 1 Mar 2018 09:12:15 +0000 (10:12 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 1 Mar 2018 09:12:15 +0000 (10:12 +0100)
commit3c49e3c5b3be3cefd406ad6a541e2d5c6d116c5b
tree3db34af769eac85bd722a21e17457ea0e528c653
parent3df0d04a7b7ac01e94d3e2fcf376b8ab4f7de90e
Add $rose/$fell support to Verific bindings

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