Bump required Verific version
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Dec 2020 14:18:04 +0000 (15:18 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Dec 2020 14:18:04 +0000 (15:18 +0100)
commit1c4a18f66fb0d589e1798090a7b584ab1988407a
tree1b816e9b3f7ca564740474f4ed89439056e7a6c6
parentd021f4b4003bb7a374038134c65edd3f67473a92
Bump required Verific version
frontends/verific/verific.cc