Add "read_verilog -noassert -noassume -assert-assumes"
authorClifford Wolf <clifford@clifford.at>
Mon, 24 Sep 2018 18:51:16 +0000 (20:51 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 24 Sep 2018 18:51:16 +0000 (20:51 +0200)
commit8fde05dfa58d87ff2e71495c77f698af19a0d80b
treeba05f2a1cc9f733be726ef65ccd639466ee297f0
parenteb452ffb2861ceac572a4bef6dddb8db3b79deb7
Add "read_verilog -noassert -noassume -assert-assumes"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verilog/verilog_frontend.cc
frontends/verilog/verilog_frontend.h
frontends/verilog/verilog_parser.y