Skip to content

Introduce entry type 'location_invariant' for YAML-based witnesses.

Sven Umbricht requested to merge location-invariants into main

This PR introduces a new entry type for YAML-based witnesses that describes location invariants.

Merge request reports