Skip to content

Slice export

Thomas Lemberger requested to merge slice-export into trunk

Allows CPAchecker to export a computed static program slice to a new C program

Merge request reports