New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

[low priority] Confusing behavior when mariposa binary is not built. #3

Open

YoshikiTakashima opened this issue Apr 9, 2023 · 0 comments

Contributor

YoshikiTakashima commented Apr 9, 2023

Steps to replicate:

cargo clean
python3 scripts/runner.py X.smt2

This will give "stable" as the answer even though mariposa failed to run because no such binary exists.`

# for free to join this conversation on GitHub. Already have an account? # to comment