Add YOSYS_NOVERIFIC env variable for temporarily disabling verific
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Jun 2018 18:40:22 +0000 (20:40 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 22 Jun 2018 18:40:22 +0000 (20:40 +0200)
commit848c3c5c889945f64ddefc8fe45342a4338dc769
tree5b7b9ce295d59ade635920383786c4ab19103dcb
parentd412b17259ad7c2003dc14ec452a2a0a6fc3ba91
Add YOSYS_NOVERIFIC env variable for temporarily disabling verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc