Skip to content

Handle large programs context-insensitively with autotuner #899

@jerhard

Description

@jerhard

For the analysis of large programs, the autotuner should set the analysis to be context-insensitive, following the heuristic that context-insensitive analyses tend to terminate more quickly.

Metadata

Metadata

Assignees

Labels

performanceAnalysis time, memory usagesv-compSV-COMP (analyses, results), witnesses

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions