Update to latest verific
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 21 Jul 2021 07:46:53 +0000 (09:46 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 21 Jul 2021 07:46:53 +0000 (09:46 +0200)
commit987fca5297d4e3290df64b7a54a3af9b6ddf11d9
tree2ff0bfaf64f8b07a09128e0349ef75dedf11e16f
parent7a25246a7ebf0b7495beae4a19569f619ca19c78
Update to latest verific
frontends/verific/verific.cc