diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-04-22 08:38:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-22 08:38:52 +0200 |
| commit | 632a6664484aefa6f9af1ace87ecefccd86d1957 (patch) | |
| tree | 4ed5fa744185b1a985f74e03cd2a1e5e4cb48d9c /frontends/verilog/verilog_frontend.h | |
| parent | f84a84e3f1a27b361c21fcd30fcf50c1a6586629 (diff) | |
| parent | 7b35d5759289f7a3139c6eaa525ef737b8d5d82b (diff) | |
| download | yosys-632a6664484aefa6f9af1ace87ecefccd86d1957.tar.gz yosys-632a6664484aefa6f9af1ace87ecefccd86d1957.tar.bz2 yosys-632a6664484aefa6f9af1ace87ecefccd86d1957.zip | |
Merge pull request #945 from YosysHQ/clifford/libwb
New behavior for read_verilog handling of whiteboxes
Diffstat (limited to 'frontends/verilog/verilog_frontend.h')
| -rw-r--r-- | frontends/verilog/verilog_frontend.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/frontends/verilog/verilog_frontend.h b/frontends/verilog/verilog_frontend.h index b5cf70c57..ca40946cb 100644 --- a/frontends/verilog/verilog_frontend.h +++ b/frontends/verilog/verilog_frontend.h @@ -69,11 +69,14 @@ namespace VERILOG_FRONTEND // running in -assert-assumes mode extern bool assert_assumes_mode; + // running in -noblackbox mode + extern bool noblackbox_mode; + // running in -lib mode extern bool lib_mode; - // running in -wb mode - extern bool wb_mode; + // running in -nowb mode + extern bool nowb_mode; // lexer input stream extern std::istream *lexin; |