Update usage of --split_queries #96

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Merged

tahina-pro merged 1 commit into master from guido_smt

Apr 18, 2023

Member

mtzguido commented Apr 18, 2023

This is a fix needed to merge FStarLang/FStar#2776. Will update later with an everest green including both changes.


          Update usage of --split_queries

fbe1671

Member Author

mtzguido commented Apr 18, 2023

Everest green here https://github.com/project-everest/everest/actions/runs/4727379343

tahina-pro merged commit 288a550 into master

mtzguido deleted the guido_smt branch

April 18, 2023 17:26

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet