-
Joris ten Tusscher authored
- Fixed bug that caused extractExpr to crash when it tried to fetch all pre / post conditions of a method that doesn’t have any. - Increased the number of iterations in the tenth LogicIR.Backend.Test test.
Joris ten Tusscher authored- Fixed bug that caused extractExpr to crash when it tried to fetch all pre / post conditions of a method that doesn’t have any. - Increased the number of iterations in the tenth LogicIR.Backend.Test test.
