Avoid creation of bogus initial blocks for assert/assume in always @*
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Sep 2016 15:34:42 +0000 (17:34 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Sep 2016 15:34:42 +0000 (17:34 +0200)
commit97583ab7295499b1b78ac7035e6e0b37d7b87734
tree9299a4475a74ac13d56d45002de90282c40c3f59
parentdcb5a6ea8aaf857ea02f2a6c789e2a13ce501299
Avoid creation of bogus initial blocks for assert/assume in always @*
frontends/ast/ast.cc
frontends/ast/ast.h
frontends/ast/simplify.cc