Output information for non-termination witnesses#25

Merged

martinjonas merged 1 commit into

Nov 5, 2025

Annotations

1 error and 3 warnings

Process completed with exit code 1.

No available formula with the name "llvm\@9". Did you mean llvm, llvm@19, llvm@20, llvm@18, llvm@17, llvm@16, llvm@15, llvm@14, llvm@13 or llvm@12?

cmake 4.1.2 is already installed and up-to-date. To reinstall 4.1.2, run: brew reinstall cmake