From 041d7a5f52b3e1dcfc742077339086ad05208e6f Mon Sep 17 00:00:00 2001 From: Cookiebowser <lucas.doering@live.de> Date: Thu, 11 May 2023 14:52:24 +0200 Subject: [PATCH] Update TestMCBenchmarks.java --- .../hhu/stups/codegenerator/rust_embedded/TestMCBenchmarks.java | 1 + 1 file changed, 1 insertion(+) 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 ef1961600..9b0caa16d 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"); } -- GitLab