Merge pull request #262 from tjj2017/enum_out_parameter

Add test for enumeration out parameters

Author: martin-cs

testsuite/gnat2goto/tests/enum_out_param/enum_out.adb

@@ -0,0 +1,14 @@
+procedure Enum_Out is
+   type Enum is (One, Two, Three);
+
+   procedure P_Out (E : out Enum) is
+   begin
+      E := Two;
+   end P_Out;
+
+   Var_E : Enum;
+
+begin
+   P_Out (Var_E);
+   pragma Assert (Var_E = Two);
+end Enum_Out;

testsuite/gnat2goto/tests/enum_out_param/test.opt

@@ -0,0 +1 @@
+ALL XFAIL gnat2goto fails with "raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition from ireps.ads:1875"

testsuite/gnat2goto/tests/enum_out_param/test.out

@@ -0,0 +1,2 @@
+[1] file enum_out.adb line 13 assertion: SUCCESS
+VERIFICATION SUCCESSFUL

testsuite/gnat2goto/tests/enum_out_param/test.py

@@ -0,0 +1,3 @@
+from test_support import *
+
+prove()