svcomp22 protected

Dirk Beyer

@dbeyer

2acef6ce · updated BenchExec to latest dev · Oct 25, 2021

Version that was used for SV-COMP 2022