diff options
Diffstat (limited to 'src/Verismith/Verilog/CodeGen.hs')
| -rw-r--r-- | src/Verismith/Verilog/CodeGen.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Verismith/Verilog/CodeGen.hs b/src/Verismith/Verilog/CodeGen.hs index 9c7a6da..9a4c12c 100644 --- a/src/Verismith/Verilog/CodeGen.hs +++ b/src/Verismith/Verilog/CodeGen.hs @@ -133,6 +133,12 @@ moduleItem (Decl dir p ini) = moduleItem (ParamDecl p) = hcat [paramList p, semi] moduleItem (LocalParamDecl p) = hcat [localParamList p, semi] moduleItem (ModItemAnn a mi) = sep [hsep ["/*", pretty $ show a, "*/"], moduleItem mi] +moduleItem (Property l e bl br) = + sep [hcat [identifier l, ":"], "assume property", parens $ event e, + hcat [case bl of + Just bl' -> sep [expr bl', "|=>", expr br] + Nothing -> expr br, semi] + ] mConn :: ModConn -> Doc a mConn (ModConn c) = expr c |