Skip to content

Rules: Clarify main in specification

Dominik Klumpp requested to merge ultimate-pa/bench-defs:clarify-main-invocation into main

As discussed in the community meeting on 14th November 2024 (see here), this MR clarifies the description of main in the specifications.

Merge request reports