Update emergentheta.xml (!421) · 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-10179 into main Nov 19, 2023

Add required flags to emergentheta