Check if Verific was built with DB_PRESERVE_INITIAL_VALUE
authorClifford Wolf <clifford@clifford.at>
Sun, 24 Feb 2019 18:51:30 +0000 (19:51 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 24 Feb 2019 18:51:30 +0000 (19:51 +0100)
commita516b4fb5af0d8389fa8aede95ae5a76bec13dcf
treefc8bc3166beac9c38d52d94007f2e081859b2a4c
parentc521f4632f1c82b48a5538c832980668044e8fd9
Check if Verific was built with DB_PRESERVE_INITIAL_VALUE

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