Add verific support for eventually properties
authorClifford Wolf <clifford@clifford.at>
Fri, 29 Jun 2018 17:21:04 +0000 (19:21 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 29 Jun 2018 17:21:04 +0000 (19:21 +0200)
commit0404cf61d5f230de70bc6e6e6bf907bf7b112e0d
tree0b126f66c9bc92a9d71e60ef88c0fdcff5a3191d
parentebf0f003d3e8d219b396d4c6a3943e1ce54d2879
Add verific support for eventually properties

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