Temporarily removed test that runs with the CF for the LLVM backend G…

…C policy enabled.
runtimeverification · Jan 13, 2025 · 882aaf7 · 882aaf7
1 parent 26c8656
commit 882aaf7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/test/defn/imp.kore b/test/defn/imp.kore
@@ -1,8 +1,6 @@
 // RUN: %interpreter
 // RUN: %check-grep
 // RUN: %check-statistics
-// RUN: %gcs-interpreter
-// RUN: %check-grep
 // RUN: %proof-interpreter
 // RUN: %check-proof-out
 [topCellInitializer{}(LblinitGeneratedTopCell{}()), org'Stop'kframework'Stop'attributes'Stop'Source{}("Source(/home/robertorosmaninho/rv/k/llvm-backend/src/main/native/llvm-backend/test/defn/k-files/imp.md)")]