Add testcase.

2026-02-12 13:11:07 -08:00 · 2023-11-24 15:05:52 +04:00
parent 07442a521c
commit 58a02cb045
5 changed files with 11 additions and 0 deletions
--- a/testsuite/executable/sanity_check/default.gpr
+++ b/testsuite/executable/sanity_check/default.gpr
@@ -0,0 +1,4 @@
+
+project Default is
+
+end Default;
--- a/testsuite/executable/sanity_check/main.adb
+++ b/testsuite/executable/sanity_check/main.adb
@@ -0,0 +1,5 @@
+
+procedure Main is
+begin
+   null;
+end Main;
--- a/testsuite/executable/sanity_check/test.out
+++ b/testsuite/executable/sanity_check/test.out
--- a/testsuite/executable/sanity_check/test.sh
+++ b/testsuite/executable/sanity_check/test.sh
@@ -0,0 +1 @@
+$GNATDOC4 default.gpr
--- a/testsuite/executable/sanity_check/test.yaml
+++ b/testsuite/executable/sanity_check/test.yaml
@@ -0,0 +1 @@
+driver: executable