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

Timeout not recognized as an SZS status #152

Open

ZachJHansen opened this issue Sep 23, 2024 · 0 comments

Labels

C-bug E-easy P-high

Collaborator

ZachJHansen commented Sep 23, 2024

Apparently Vampire presents a "SZS Status Timeout for " differently than other statuses. Replacing the current regex with

Regex::new(r"(?m)SZS status (?[[:word:]]+) for (?[[:word:]]*)")

seemed to fix the issue on my fork.

ZachJHansen added P-high E-easy C-bug labels

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