verific: no help() when no YOSYS_ENABLE_VERIFIC
authorEddie Hung <eddie@fpgeh.com>
Mon, 27 Jan 2020 18:32:18 +0000 (10:32 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 27 Jan 2020 18:32:18 +0000 (10:32 -0800)
commitd730bba6d2847515795c32d3a753320b8b48bee0
treea63ec007f9ad45765c51b989644efba36e5f4dac
parente2819ce31c20b60b7b5b3a58509006322ceb76ab
verific: no help() when no YOSYS_ENABLE_VERIFIC
frontends/verific/verific.cc