mirror of
https://github.com/Z3Prover/z3
synced 2025-07-15 08:56:40 +00:00
6 lines
75 B
Python
6 lines
75 B
Python
import z3, doctest
|
|
|
|
r = doctest.testmod(z3)
|
|
if r.failed != 0:
|
|
exit(1)
|
|
|