Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix: Revert unintended changes to the Special Oracle Tests
  • Loading branch information
manticore-projects committed Dec 9, 2022
commit c125fbfbb4f7ddad7ffe01620388cf566a7eabef
Original file line number Diff line number Diff line change
Expand Up @@ -14,5 +14,4 @@ BEGIN
example_table;
END

--@FAILURE: Encountered unexpected token: "BEGIN" "BEGIN" recorded first on May 27, 2022, 10:29:48 PM
--@FAILURE: Encountered unexpected token: ":" ":" recorded first on 9 Dec 2022, 12:49:49
--@FAILURE: Encountered unexpected token: "BEGIN" "BEGIN" recorded first on May 27, 2022, 10:29:48 PM
Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,4 @@ begin
bulk collect into :empnos;
end;

--@FAILURE: Encountered unexpected token: "begin" "BEGIN" recorded first on Aug 3, 2021, 7:20:08 AM
--@FAILURE: Encountered unexpected token: "forall" <S_IDENTIFIER> recorded first on 9 Dec 2022, 12:49:50
--@FAILURE: Encountered unexpected token: "begin" "BEGIN" recorded first on Aug 3, 2021, 7:20:08 AM
Original file line number Diff line number Diff line change
Expand Up @@ -21,5 +21,4 @@ BEGIN
END LOOP outer_loop;
END;

--@FAILURE: Encountered unexpected token: "BEGIN" "BEGIN" recorded first on Aug 3, 2021, 7:20:07 AM
--@FAILURE: Encountered unexpected token: "<<" "<<" recorded first on 9 Dec 2022, 12:49:50
--@FAILURE: Encountered unexpected token: "BEGIN" "BEGIN" recorded first on Aug 3, 2021, 7:20:07 AM