fix assertion removal in verbose mode causing orphaned statements

CHANGELOG.md

@@ -44,6 +44,7 @@
   unpacked arrays, or in designs with multi-dimensional instances
 * Fixed conversion of module-scoped references to modports
 * Fixed conversion of references to modports nested within types in expressions
+* Fixed assertion removal in verbose mode causing orphaned statements
 
 ## v0.0.8
 

src/Convert/Traverse.hs

@@ -217,7 +217,9 @@ traverseSinglyNestedStmtsM fullMapper = cs
     where
         cs (StmtAttr a stmt) = fullMapper stmt >>= return . StmtAttr a
         cs (Block _ "" [] []) = return Null
+        cs (Block _ "" [] [CommentStmt{}]) = return Null
         cs (Block _ "" [] [stmt]) = fullMapper stmt
+        cs (Block _ "" [CommentDecl{}] []) = return Null
         cs (Block Seq name decls stmts) = do
             stmts' <- mapM fullMapper stmts
             return $ Block Seq name decls $ concatMap explode stmts'

test/core/assert.sv

@@ -15,4 +15,18 @@ module Module(input clock, input clear, input data);
         assert property (x == y);
         named_stmt: assert property (x == y);
     end
+    always @(posedge x) begin
+        assert (1);
+    end
+    always @(posedge x)
+        case (x)
+            0: begin
+                assert (1);
+            end
+            1:
+                assert (1);
+            default: begin
+                assert (1);
+            end
+        endcase
 endmodule