Merge pull request #736 from whitequark/select_assert_list
authorClifford Wolf <clifford@clifford.at>
Sun, 16 Dec 2018 15:45:49 +0000 (16:45 +0100)
committerGitHub <noreply@github.com>
Sun, 16 Dec 2018 15:45:49 +0000 (16:45 +0100)
commitddff75b60ab6b29bbc8425c7f5ac2e6ebbbf32a6
treef84ec451a7499847bcc3311f3eb504367681a6a5
parent5fa5dbbddab03af89e00426e21df9f30d020a94e
parentf6412d71099ff31fe899e0e982df99c3c8bc98aa
Merge pull request #736 from whitequark/select_assert_list

select: print selection if a -assert-* flag causes an error
backends/verilog/verilog_backend.cc