Remove faulty test (#611)

ultimate-pa · Feb 6, 2023 · 85787d9 · 85787d9
1 parent e2c3c29
commit 85787d9
Showing 1 changed file with 0 additions and 101 deletions.
diff --git a/...iburg/informatik/ultimate/icfgtransformer/mapelim/monniaux/MonniauxMapEliminatorTest.java b/...iburg/informatik/ultimate/icfgtransformer/mapelim/monniaux/MonniauxMapEliminatorTest.java