Fix handling of SVA "until seq.triggered" properties
authorClifford Wolf <clifford@clifford.at>
Fri, 2 Mar 2018 17:17:10 +0000 (18:17 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 2 Mar 2018 17:17:10 +0000 (18:17 +0100)
commitcabc3c59e043e55a35187914281b9a1fcc10b072
tree8af8ea0451e4e303ced98b2acb16e7231c0cc866
parentab791e61b300e15513f65a4a114deeb2e8f12669
Fix handling of SVA "until seq.triggered" properties

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