rooch
rooch copied to clipboard
Writing compile-time test cases for the verifier's function should be supported in the rooch-integration-test-runner.
In crates/rooch-integration-test-runner/tests
, only the CompiledModule
after compilation can be checked, and checking the ModuleEnv
during compilation is not supported. Therefore, it is not possible to write test cases for compile-time verification
.