Removed nodatarace opt-out from theta (as per Dirk's email) (!354) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions · GitLab

The source project of this merge request has been removed.

Levente Bajczi requested to merge (removed):levente.bajczi-main-patch-55418 into main Dec 23, 2022