diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-02-24 19:51:30 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-02-24 19:51:30 +0100 |
commit | a516b4fb5af0d8389fa8aede95ae5a76bec13dcf (patch) | |
tree | fc8bc3166beac9c38d52d94007f2e081859b2a4c /frontends/verific/verific.cc | |
parent | c521f4632f1c82b48a5538c832980668044e8fd9 (diff) | |
download | yosys-a516b4fb5af0d8389fa8aede95ae5a76bec13dcf.tar.gz yosys-a516b4fb5af0d8389fa8aede95ae5a76bec13dcf.tar.bz2 yosys-a516b4fb5af0d8389fa8aede95ae5a76bec13dcf.zip |
Check if Verific was built with DB_PRESERVE_INITIAL_VALUE
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r-- | frontends/verific/verific.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 94138cdd6..8ee951d20 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1920,6 +1920,10 @@ struct VerificPass : public Pass { // WARNING: instantiating unknown module 'XYZ' (VERI-1063) Message::SetMessageType("VERI-1063", VERIFIC_ERROR); +#ifndef DB_PRESERVE_INITIAL_VALUE +# warning Verific was built without DB_PRESERVE_INITIAL_VALUE. +#endif + set_verific_global_flags = false; } |