Fix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEAT
authorClifford Wolf <clifford@clifford.at>
Sat, 10 Mar 2018 15:24:01 +0000 (16:24 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 10 Mar 2018 15:24:01 +0000 (16:24 +0100)
commit307c16a309e0110800d72a46e90470ce30b329aa
tree2ae54dd716b10d9ed8915236402d4bd01d03ef92
parentce37b6d730a7c37803afc294d111cb8a45012c0d
Fix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEAT

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