diff options
| author | Emilio Jesus Gallego Arias | 2019-04-30 23:55:35 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-30 23:55:35 +0200 |
| commit | 0ad2733e202f98953c6bc1569d191a36b746df03 (patch) | |
| tree | a09cbc918c1196440e4c209613e2c1da7fb0a34b | |
| parent | bb4f304848e04c492d98db5da0bdb1895cecc191 (diff) | |
| parent | d9a975352e5982602d3315facfa005ea40b16bcb (diff) | |
Merge PR #10032: Remove leftover test suite file Quote.out
Reviewed-by: ejgallego
| -rw-r--r-- | test-suite/output/Quote.out | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/test-suite/output/Quote.out b/test-suite/output/Quote.out deleted file mode 100644 index 998eb37cc8..0000000000 --- a/test-suite/output/Quote.out +++ /dev/null @@ -1,24 +0,0 @@ -(interp_f (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (f_atom End_idx)) -(interp_f (Node_vm B (Empty_vm Prop) (Empty_vm Prop)) - (f_and (f_const A) - (f_and (f_or (f_atom End_idx) (f_const A)) - (f_or (f_const A) (f_not (f_atom End_idx)))))) -1 subgoal - - H : interp_f (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (f_atom End_idx) \/ - B - ============================ - interp_f - (Node_vm B (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (Empty_vm Prop)) - (f_and (f_atom (Left_idx End_idx)) - (f_and (f_or (f_atom End_idx) (f_atom (Left_idx End_idx))) - (f_or (f_atom (Left_idx End_idx)) (f_not (f_atom End_idx))))) -1 subgoal - - H : interp_f (Node_vm A (Empty_vm Prop) (Empty_vm Prop)) (f_atom End_idx) \/ - B - ============================ - interp_f (Node_vm B (Empty_vm Prop) (Empty_vm Prop)) - (f_and (f_const A) - (f_and (f_or (f_atom End_idx) (f_const A)) - (f_or (f_const A) (f_not (f_atom End_idx))))) |