Bug #8044
Updated by Evgeny Novikov about 7 years ago
The same temporary variables can be used in several edges (statements) within cycles, but the witnesses preprocessor doesn't care. But who is responsible for that?
Updated by Evgeny Novikov about 7 years ago
The same temporary variables can be used in several edges (statements) within cycles, but the witnesses preprocessor doesn't care. But who is responsible for that?