tree 9f4ec5ae19c28ff6c54fa01fd464cce130acafe2
parent e93e4a7a2c6875e87b7e2635470cf02aa45af23a
author Clifford Wolf <clifford@clifford.at> 1574435516 +0100
committer Clifford Wolf <clifford@clifford.at> 1574435516 +0100

Add Verific support for SVA nexttime properties

Signed-off-by: Clifford Wolf <clifford@clifford.at>