smoke-tests testapp smoke-z3bug9ipr-a