Skip to content

Commit

Permalink
Remove faulty test (#611)
Browse files Browse the repository at this point in the history
  • Loading branch information
@schuessf @Heizmann
schuessf authored and Heizmann committed Feb 8, 2023
1 parent 504df75 commit 8948362
Showing 1 changed file with 0 additions and 101 deletions.
101 changes: 0 additions & 101 deletions ...iburg/informatik/ultimate/icfgtransformer/mapelim/monniaux/MonniauxMapEliminatorTest.java
View file

This file was deleted.

0 comments on commit 8948362

Please sign in to comment.