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 /tests | |
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 'tests')
0 files changed, 0 insertions, 0 deletions