Add succeeding test

Petr Bauch · Petr Bauch · commit 3dd023ff3601 · 2019-01-25T16:56:56.000Z
diff --git a/testsuite/gnat2goto/tests/arrays_write_element/arrays_write_element.adb b/testsuite/gnat2goto/tests/arrays_write_element/arrays_write_element.adb
@@ -0,0 +1,7 @@
+
+procedure Arrays_Write_Element is
+   type Arr is array (1..3) of Integer;
+   Actual : Arr := (1,2,3);
+begin
+   Actual(2) := 3;
+end Arrays_Write_Element;
diff --git a/testsuite/gnat2goto/tests/arrays_write_element/test.out b/testsuite/gnat2goto/tests/arrays_write_element/test.out
@@ -0,0 +1 @@
+VERIFICATION SUCESSFUL
diff --git a/testsuite/gnat2goto/tests/arrays_write_element/test.py b/testsuite/gnat2goto/tests/arrays_write_element/test.py
@@ -0,0 +1,3 @@
+from test_support import *
+
+prove()
