| name | Bug report |
|---|---|
| about | Report a verifier bug, crash, or incorrect result |
| labels | bug |
Description What went wrong?
Minimal reproducer
// smallest snippet that triggers the issueExpected behavior What should have happened?
Actual behavior Error message, stack trace, or counterexample output.
Environment
- LiquidJava version / commit:
- Java version (
java -version): - OS: