Source

z3 / src / api / python / z3test.py

Full commit
1
2
3
4
5
6
import z3, doctest

r = doctest.testmod(z3)
if r.failed != 0:
    exit(1)