Skip to content

Commit

Permalink
Add specification to activated settings for autotuner.
Browse files Browse the repository at this point in the history
  • Loading branch information
@jerhard
jerhard committed Nov 17, 2023
1 parent 26d8012 commit 28dca49
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion conf/svcomp.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,8 @@
"wideningThresholds",
"loopUnrollHeuristic",
"memsafetySpecification",
"termination"
"termination",
"specification"

This comment has been minimized.

Sign in to view

Copy link
@sim642

sim642 Nov 19, 2023

Member

The general specification autotuner was found to be detrimental in the original thesis. That's why memsafetySpecification is separate for just handling that and not having any of the unintended effects besides activating memory analyses.

This comment has been minimized.

Sign in to view

Copy link
@michael-schwarz

michael-schwarz Nov 19, 2023

Member

@jerhard Do you recall if termination analysis requires the specification autotuner or if works without it just as well?

This comment has been minimized.

Sign in to view

Copy link
@jerhard

jerhard Nov 20, 2023

Author Member

For future reference, as we already discussed this elsewhere: The termination anaylsis required the specification setting at that point, but this was changed with this PR: #1255
]
}
},
Expand Down

0 comments on commit 28dca49

Please sign in to comment.