diff --git a/src/test/java/de/hhu/stups/codegenerator/rust_embedded/TestMCBenchmarks.java b/src/test/java/de/hhu/stups/codegenerator/rust_embedded/TestMCBenchmarks.java index ef1961600efb4a13b529b006bba0907c73e6ae3b..9b0caa16da7bebbb22f851edcde1c191254d609d 100644 --- a/src/test/java/de/hhu/stups/codegenerator/rust_embedded/TestMCBenchmarks.java +++ b/src/test/java/de/hhu/stups/codegenerator/rust_embedded/TestMCBenchmarks.java @@ -41,6 +41,7 @@ public class TestMCBenchmarks extends TestRSE { } @Test + @Ignore public void testsort_m2_data1000_MC() throws Exception { testRSEMC("sort_m2_data1000_MC"); }