Merge pull request #260 from thirtythreeforty/sva-error

Emit error when encountering assert/assume properties

uhdm-plugin/UhdmAst.cc

diff --git a/uhdm-plugin/UhdmAst.cc b/uhdm-plugin/UhdmAst.cc
index a08f513..ba4d8bc 100644
--- a/uhdm-plugin/UhdmAst.cc
+++ b/uhdm-plugin/UhdmAst.cc
@@ -1490,7 +1490,7 @@
                 }
             });
             visit_one_to_many({vpiModule, vpiInterface, vpiTaskFunc, vpiParameter, vpiParamAssign, vpiPort, vpiNet, vpiArrayNet, vpiGenScopeArray,
-                               vpiContAssign, vpiProcess, vpiClockingBlock},
+                               vpiContAssign, vpiProcess, vpiClockingBlock, vpiAssertion},
                               obj_h, [&](AST::AstNode *node) {
                                   if (node) {
                                       if (node->type == AST::AST_ASSIGN && node->children.size() < 2)
@@ -3897,6 +3897,10 @@
         if (!shared.no_assert)
             process_immediate_assert();
         break;
+    case vpiAssert:
+        if (!shared.no_assert)
+            process_unsupported_stmt(object);
+        break;
     case vpiHierPath:
         process_hier_path();
         break;
@@ -3935,6 +3939,9 @@
     case vpiImmediateAssume:
         process_immediate_assume();
         break;
+    case vpiAssume:
+        process_unsupported_stmt(object);
+        break;
     case vpiWhile:
         process_while();
         break;