tree 9f840666122e41ed1c26fe69fcd496717519461e
parent 282090a7f20ac4733f20634a063c5d4415abf37a
author Lihao Liang <lihaoliang@google.com> 1647475650 +0000
committer Lihao Liang <lihaoliang@google.com> 1647475650 +0000

Temporary workaround to make CBMC run on handle___pkvm_init without crashing