We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ef577ad commit 98812b4Copy full SHA for 98812b4
testsuite/gnat2goto/tests/size_integer_and_objects/test.opt
@@ -0,0 +1 @@
1
+ALL XFAIL gnat2goto fails when Size representation clause applied to standard types and their derivations or to objects.
0 commit comments