verifier-error

Dirk Beyer

@dbeyer

f6208b2a · Remove undefined behavior in C90-style structhack · Jan 17, 2020

This tag marks the version of the benchmark sets before the change from __VERIFIER_error to reach_error.