Ci/sv comp zip#35
Closed
k0lja wants to merge 14 commits into
Closed
Conversation
SWAT's internal time cutoffs pre-empt it well before benchexec's competition limit (15 min): - run_swat.py hard-killed the symbolic-execution run at 180s (the default run_command_with_timeout). Default is now None (no internal cutoff); benchexec enforces the wall/CPU limit externally. - the SV-COMP exploration's Z3 solves were capped at 60s. Removed, but ONLY for the sv-comp path: Z3Handler.solve / StrategyService.solve_branch now take a timeout (default 60s, unchanged for passive/http/target/simple drivers), and SVCompDriver / SVCompHandler pass None. solve_with_optimization is left as-is (it is not on the sv-comp solve_branch path). Net: SWAT explores with the full SV-COMP budget; other modes keep their 60s solver timeout. Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
The old version mistakenly modified the 'this' Object, causing unexpected behaviour.
Contributor
|
Lets merge into dev first and once |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.