Skip to content

Commit ffe60b4

Browse files
radumcostacheradumcostache
committed
Changed name for a test
1 parent 46b2f30 commit ffe60b4

File tree

3 files changed

+5
-5
lines changed

3 files changed

+5
-5
lines changed

Test/irreduciblecfg/CanonicalAssertAssume.bpl renamed to Test/irreduciblecfg/BackEdgeCounter.bpl

File renamed without changes.

‎Test/irreduciblecfg/BackEdgeCounter.bpl.expect‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
BackEdgeCounter.bpl(20,9): Error: this loop invariant could not be proved on entry
2+
Execution trace:
3+
BackEdgeCounter.bpl(8,7): anon0
4+
5+
Boogie program verifier finished with 0 verified, 1 error

‎Test/irreduciblecfg/CanonicalAssertAssume.bpl.expect‎

Lines changed: 0 additions & 5 deletions
This file was deleted.

0 commit comments

Comments
 (0)