svcomp21 protected

Dirk Beyer

@dbeyer

3aedbfc8 · updated predatorhp actor def · Dec 18, 2020

This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.