mirror of
https://github.com/Z3Prover/z3
synced 2025-09-02 00:00:41 +00:00
2 lines
No EOL
36 B
Text
2 lines
No EOL
36 B
Text
(assert (< 0 (div 0 0)))
|
|
(check-sat) |