aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva/sva_not.sv
Commit message (Collapse)AuthorAgeFilesLines
* Fix verific PRIM_SVA_AT handling in properties with PRIM_SVA_DISABLE_IFFClifford Wolf2018-02-151-0/+34