svcomp16

Dirk Beyer

@dbeyer

14c63136 · Cleanup after debugging · Jan 13, 2016

Benchmark definitions as used for SV-COMP 2016.