sv-witnesses icon indicating copy to clipboard operation
sv-witnesses copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

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

Open SvenUmbricht opened this issue 2 years ago • 1 comments

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

SvenUmbricht avatar May 18 '22 11:05 SvenUmbricht