Skip to content

Commit 5b6ecf8

Browse files
martin-csmartin-cs
authored
Merge pull request #327 from spanners/check-all-xfails
Remove XFAIL test.opt files for passing tests #108
2 parents 14f4f13 + 2d836e0 commit 5b6ecf8

File tree

8 files changed

+6
-26
lines changed

8 files changed

+6
-26
lines changed

‎testsuite/gnat2goto/tests/deferred_constant_use/test.opt

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎testsuite/gnat2goto/tests/deferred_constant_use/test.out

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,2 @@
1-
[assertion.1] Range Check: SUCCESS
2-
VERIFICATION SUCCESSFUL
3-
1+
[inc.assertion.1] line 4 Ada Check assertion: SUCCESS
42
VERIFICATION SUCCESSFUL

‎testsuite/gnat2goto/tests/enum_symbols_range_constraint_assignment/test.opt

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎testsuite/gnat2goto/tests/enum_symbols_range_constraint_assignment/test.out

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
1+
[range_constraint.assertion.1] line 15 assertion Value = CALIBRATION_FAIL: SUCCESS
12
VERIFICATION SUCCESSFUL

‎testsuite/gnat2goto/tests/packages/test.opt

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎testsuite/gnat2goto/tests/packages/test.out

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
[packages.assertion.1] line 6 assertion Test.Double (1) = 2: SUCCESS
2+
[double.assertion.1] line 6 Ada Check assertion: SUCCESS
3+
VERIFICATION SUCCESSFUL

‎testsuite/gnat2goto/tests/size_integer_and_objects/test.opt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ALL XFAIL gnat2goto fails when Size representation clause applied to standard types and their derivations or to objects.
1+
ALL XFAIL gnat2goto fails when Size representation clause applied to standard types and their derivations or to objects.

‎testsuite/gnat2goto/tests/size_integer_and_objects/test.out

Lines changed: 0 additions & 19 deletions
This file was deleted.

0 commit comments

Comments
 (0)