Use analysis mode if set in file
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 23 May 2022 17:13:45 +0000 (19:13 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 23 May 2022 17:13:45 +0000 (19:13 +0200)
commita6ec5754c6c2be6877904569b644ad8eae4aac1c
tree3d1452f38ce06bf5129b5fcdd592b6515c72a918
parente47cfe277e86d27c28c60d82464f0aec4ebc044b
Use analysis mode if set in file
frontends/verific/verific.cc