Goto program and SSA validation #1880
Description
Introduce a --validate option to check goto programs and SSA for consistency.
- Replace cout/cerr in solvers #1875 (comment)
(to be refined)
{{ message }}
Introduce a --validate option to check goto programs and SSA for consistency.