diff options
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verificsva.cc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 1a1000b19..8dc213a18 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -1554,20 +1554,16 @@ struct VerificSvaImporter parser_error(stringf("Failed to parse SVA clocking"), root); if (mode_assert || mode_assume) { - log_ping(); reject_bit = module->Not(NEW_ID, parse_expression(root->GetInput())); } else { - log_ping(); accept_bit = parse_expression(root->GetInput()); } } else { if (mode_assert || mode_assume) { - log_ping(); parse_property(clocking.body_net, nullptr, &reject_bit); } else { - log_ping(); parse_property(clocking.body_net, &accept_bit, nullptr); } } |