Further improve handling of zero-length SVA consecutive repetition
authorClifford Wolf <clifford@clifford.at>
Sat, 5 May 2018 12:32:04 +0000 (14:32 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 5 May 2018 12:32:04 +0000 (14:32 +0200)
commit24e64016173f586233e77f4e0d70c7883f98d8f7
tree408c98eccf6f1f3d78117a911b50620c2bce5544
parent3e67497ec2577d4b46cc5a728420d06e66ec434c
Further improve handling of zero-length SVA consecutive repetition

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