Fix handling of eventually properties in verific importer

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

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index 8e985c3a6da2711e9bb29b2fa280234cab40b0d1..85b8421862efe7ec00a048d972174c84bf7ffd31 100644 (file)
--- a/frontends/verific/verificsva.cc
+++ b/frontends/verific/verificsva.cc
@@ -1517,9 +1517,11 @@ struct VerificSvaImporter
 
                        Instance *consequent_inst = net_to_ast_driver(consequent_net);
 
-                       if (consequent_inst->Type() != PRIM_SVA_S_EVENTUALLY && consequent_inst->Type() != PRIM_SVA_EVENTUALLY) {
+                       if (consequent_inst == nullptr)
+                               return false;
+
+                       if (consequent_inst->Type() != PRIM_SVA_S_EVENTUALLY && consequent_inst->Type() != PRIM_SVA_EVENTUALLY)
                                return false;
-                       }
 
                        if (mode_cover || mode_trigger)
                                parser_error(consequent_inst);