Skip to content

Commit

Permalink
Do not require SV-COMP24 config to run with 900s anymore
Browse files Browse the repository at this point in the history
900s is the default, but with a parallel-portfolio approach, we can be more lenient
about the run time.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/svcomp24-parallel-portfolio-approach@45052 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
  • Loading branch information
lemberge committed Nov 8, 2023
1 parent da70c21 commit f79c6cb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion config/svcomp24.properties
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ cpa.callstack.unsupportedFunctions=pthread_create,pthread_key_create,sin,cos,__b
# malloc never returns null according to SV-Comp rules
cpa.predicate.memoryAllocationsAlwaysSucceed = true

limits.time.cpu::required = 900
limits.time.cpu = 900


# Our main analysis based on heuristics and strategy selection:
Expand Down

0 comments on commit f79c6cb

Please sign in to comment.