diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/slevel_overflow.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/slevel_overflow.res.oracle deleted file mode 100644 index 8a5da7dc9634c96be03a15627b8ffa08df7d4bef..0000000000000000000000000000000000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/slevel_overflow.res.oracle +++ /dev/null @@ -1,11 +0,0 @@ -[kernel] Parsing slevel_overflow.c (with preprocessing) -[loop] Functions with loops whose estimated bounds were larger than -loop-max-slevel - (we recommend setting their slevel to 0 to avoid wasting time): - f2 (estimated bounds: 16777216000000000000000) -[loop] Add this to your command line: - -val-slevel-merge-after-loop f1 \ - -val-slevel-merge-after-loop f2 \ - -val-slevel-merge-after-loop f3 \ - -slevel-function f2:0 \ - -slevel-function f1:1073741824000000 \ - -slevel-function f3:18014398509481984 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.0.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.0.res.oracle deleted file mode 100644 index a8fbd64ebd50f89fb5d48d9b6da3b3ba293f9fe2..0000000000000000000000000000000000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.0.res.oracle +++ /dev/null @@ -1,4 +0,0 @@ -[kernel] Parsing small_loop.i (no preprocessing) -[loop] Add this to your command line: - -val-slevel-merge-after-loop main \ - -slevel-function main:20 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.1.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.1.res.oracle deleted file mode 100644 index a8fbd64ebd50f89fb5d48d9b6da3b3ba293f9fe2..0000000000000000000000000000000000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/small_loop.1.res.oracle +++ /dev/null @@ -1,4 +0,0 @@ -[kernel] Parsing small_loop.i (no preprocessing) -[loop] Add this to your command line: - -val-slevel-merge-after-loop main \ - -slevel-function main:20 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.0.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.0.res.oracle deleted file mode 100644 index df2ce032de598f6aa4a5ed6ed65593bc37ff753c..0000000000000000000000000000000000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.0.res.oracle +++ /dev/null @@ -1,21 +0,0 @@ -[kernel] Parsing test.i (no preprocessing) -[loop] Functions with loops whose bounds we could not find: - g - h6 -[loop] Add this to your command line: - -val-slevel-merge-after-loop g \ - -val-slevel-merge-after-loop h3 \ - -val-slevel-merge-after-loop h4 \ - -val-slevel-merge-after-loop h5 \ - -val-slevel-merge-after-loop h6 \ - -val-slevel-merge-after-loop main \ - -slevel-function g:0 \ - -slevel-function h6:0 \ - -slevel-function f:8 \ - -slevel-function h:9 \ - -slevel-function h2:9 \ - -slevel-function h3:40 \ - -slevel-function h4:20 \ - -slevel-function h5:20 \ - -slevel-function k:2 \ - -slevel-function main:20 diff --git a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.1.res.oracle b/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.1.res.oracle deleted file mode 100644 index e4f09ad4802a6428e764b0f4a4d9355f309a56ef..0000000000000000000000000000000000000000 --- a/src/plugins/loop_analysis/tests/loop_analysis/oracle/test.1.res.oracle +++ /dev/null @@ -1,23 +0,0 @@ -[kernel] Parsing test.i (no preprocessing) -[loop] Functions with loops whose bounds we could not find: - g - h6 -[loop] Add this to your command line: - -val-slevel-merge-after-loop g \ - -val-slevel-merge-after-loop h \ - -val-slevel-merge-after-loop h2 \ - -val-slevel-merge-after-loop h3 \ - -val-slevel-merge-after-loop h4 \ - -val-slevel-merge-after-loop h5 \ - -val-slevel-merge-after-loop h6 \ - -val-slevel-merge-after-loop main \ - -slevel-function g:0 \ - -slevel-function h6:0 \ - -slevel-function f:1 \ - -slevel-function h:9 \ - -slevel-function h2:9 \ - -slevel-function h3:20 \ - -slevel-function h4:10 \ - -slevel-function h5:10 \ - -slevel-function k:1 \ - -slevel-function main:10