From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!news.mb-net.net!open-news-network.org!news.mind.de!bolzen.all.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Looking for Ada source code
Date: Wed, 25 Jan 2023 21:25:21 +0200
Organization: Tidorum Ltd
Message-ID: <k3de11F24kU1@mid.individual.net>
References: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net vXhWgtezHaB12wpMY2PprgA0EptlgVu1ATw91LUidlNbmaVtwb
Cancel-Lock: sha1:0+VkQIFMyUzJU0TEgllKMM/LeQI=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:102.0)
 Gecko/20100101 Thunderbird/102.6.1
Content-Language: en-US
In-Reply-To: <97104b86-c0c3-4a4f-8efd-4e549053974fn@googlegroups.com>
Xref: reader01.eternal-september.org comp.lang.ada:64888
List-Id: <comp.lang.ada>

On 2023-01-25 16:00, Christophe Meudec wrote:
> Hi all, [crossposted from LinkedIn Ada group]
> 
> I am looking for Ada source code (open source or NDA protected) to 
> test my automatic test data generator for Ada (available at
> www.midoan.com) for regression purposes.
> 
> The source code should not contain pointers and be self-contained (no
> OS calls, no external libraries). Ada for existing embedded system
> would be best.
> 
> I started to look at GitHub repositories but without success.
> 
> Any 'pointers'?

I could provide an Ada translation of an embedded application,
originally coded in C for an 8-bit processor (Intel MCS51 architecture).
It's about 8600 lines. There are two variants: one that cannot be
executed, because all HW and RTOS usage is replaced by null stubs, and
one that includes a built-in set of tests and can be executed on any
standard Ada system, with no input and only text output.

There are a very few uses of pointers, but they would be easy to remove 
if you don't care about the success of the built-in tests.

There are some non-standard pragmas that can also be removed easily.

If you are interested in this code, I can send you a zip. My e-mail is 
the same as the "From" address of this post, with "invalid" replaced by 
"fi".

Niklas