buildroot/support/testing/tests/package/test_z3/rootfs-overlay/root
..
z3test.py
z3test.smt2