pirapira/eth-isabelle

Skip state tests that cause out of memory in OCaml runtime

pirapira opened this issue · 1 comments

pirapira commented

After #390, the state test case mload32bitBound_return causes Fatal error: out of memory. We should skip such cases for now and focus on other errors during the state test suite.

pirapira commented

try ... with _ -> cannot catch the out of memory.