# Contains various tasks which require a wide variety of techniques in order to determine reachability. # Some make specific use of pointers, some of arrays, some of structs, some of floats, and some combine everything. # These examples are derived from the NFM2022 paper "Configurable Benchmarks for C Model Checkers" (https://doi.org/10.1007/978-3-031-06773-0_18) # Artifact: https://doi.org/10.5281/zenodo.6392205 hardness-nfm22/*.yml