Call rust-verifier using FFI #46
Description
Currently planning to call rust-verifier as a command, but it may be a bottleneck.
We should use FFI or something more lightweight than now.
{{ message }}
Call
rust-verifier using FFI #46Currently planning to call rust-verifier as a command, but it may be a bottleneck.
We should use FFI or something more lightweight than now.