Skip to content

Commit

Permalink
Enable test
Browse files Browse the repository at this point in the history
  • Loading branch information
@fpoli
fpoli committed Jun 10, 2021
1 parent 93e56f8 commit f30bf59
Showing 1 changed file with 0 additions and 30 deletions.
30 changes: 0 additions & 30 deletions prusti-tests/tests_old/verify/fail/incorrect/invalid_loop_condition.rs
View file

This file was deleted.

0 comments on commit f30bf59

Please sign in to comment.