Fix handling of zero-length SVA consecutive repetition
authorClifford Wolf <clifford@clifford.at>
Sat, 5 May 2018 11:58:01 +0000 (13:58 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 5 May 2018 11:58:01 +0000 (13:58 +0200)
commit3e67497ec2577d4b46cc5a728420d06e66ec434c
treed36e3fb566063d34638bf16579b06fd654e646a1
parente3575a86c525f2511902e7022893c3923ba8093e
Fix handling of zero-length SVA consecutive repetition

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