Set RAM runtime flags for Verific frontend
authormakaimann <makaim@stanford.edu>
Fri, 6 Apr 2018 00:38:08 +0000 (17:38 -0700)
committermakaimann <makaim@stanford.edu>
Fri, 6 Apr 2018 00:38:08 +0000 (17:38 -0700)
commit0c404b1f6345088c97d54c851d77969a2f33b25d
treedc17043c5eb67ebe741399b4cdbf7afafd5c0e8c
parent705c366a91aab577858d9f45f1ebad28b8db1523
Set RAM runtime flags for Verific frontend
frontends/verific/verific.cc