Update verific to O3 opt

This commit is contained in:
Akash Levy 2024-05-03 03:34:36 -07:00
parent bf8ab97890
commit 2a8575abb2
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 6deccf8f80a802d97c1268e2f775b2da8a1ccda6
Subproject commit 943f652b03498836864ed8692dbe8cd14260bc3c