Skip to content

Include Fuzzle generated tasks

Po-Chun Chien requested to merge add-fuzzle-tasks into main

This MR adds Fuzzle generated tasks to benchmark definitions of verifiers and validators participating in the ReachSafety category.

Merge request reports