Verilog: lowering for types

Author: kroening

src/verilog/verilog_lowering.cpp

@@ -416,3 +416,11 @@ exprt verilog_lowering(exprt expr)
 
   UNREACHABLE;
 }
+
+typet verilog_lowering(typet type)
+{
+  if(type.id() == ID_verilog_signedbv || type.id() == ID_verilog_unsignedbv)
+    return lower_to_aval_bval(type);
+  else
+    return type;
+}

src/verilog/verilog_lowering.h

@@ -10,7 +10,9 @@ Author: Daniel Kroening, [email protected]
 #define CPROVER_VERILOG_LOWERING_H
 
 class exprt;
+class typet;
 
 exprt verilog_lowering(exprt);
+typet verilog_lowering(typet);
 
 #endif