/usr/lib/python2.7/dist-packages/z3test.py is in python-z3 4.4.1-0.3build4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 | ############################################
# Copyright (c) 2012 Microsoft Corporation
#
# Z3 Python interface
#
# Author: Leonardo de Moura (leonardo)
############################################
import z3, doctest
r = doctest.testmod(z3)
if r.failed != 0:
exit(1)
|