verific - detect missing memory to prevent crash.
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 10 Jun 2020 09:27:44 +0000 (11:27 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 10 Jun 2020 09:27:44 +0000 (11:27 +0200)
commitd6bec3ba1c81ebd123a58231f790564aa99444ff
treeb9974c0f5b93951ebd6f245d30a713ef09741b22
parent5c426d2bff07825042b0fa0449805ea9cb8b9f58
verific - detect missing memory to prevent crash.
frontends/verific/verific.cc