Skip to content

Include ReachSafety-Hardware tasks

Po-Chun Chien requested to merge Po-Chun-Chien/test-comp-benchmark-definitions:main into main

Address #4 (closed).

"ReachSafety-Hardware" subcategory was added to the benchmark definitions of the tools participating in both "ReachSafety-Arrays" and "ReachSafety-BitVectors". category-structure.yml was also updated accordingly.

This MR is blocked by sosy-lab/benchmarking/sv-benchmarks!1380 (merged).

Edited by Po-Chun Chien

Merge request reports