Output information for non-termination witnesses#25

Merged

martinjonas merged 1 commit intostaticafi:svcomp26from

ayazip:nonterm-witnesses

Nov 5, 2025

Commits on May 15, 2025

Write waypoints on infinite cycle
ayazip
committed