cjdb opened this issue 5 years ago · 0 comments
When pulling the project from conan as a dependency, running the test cases hangs. This is likely due to the fact that no code is emitted when a contract's predicate is false (and this means main doesn't even return).
main