ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
29,001 Commits 72 Branches 1 Tag
master
Commit Graph

3 Commits

Author SHA1 Message Date
Edgar Delaporte
a9e1efb00a Add an option to invoke gnatfuzz in test2prove.py in order 
to generate better CE candidates.

Issue: #908
 2025-06-04 07:19:05 +00:00
Edgar Delaporte
398f4e8b5a New files test 
Issue: #908
 2025-05-21 08:41:10 +00:00
Edgar Delaporte
ba5b4e7033 Support the use of gnattest json values as counter examples. 
Add a new swicth --gnattest_values to indicate the json in
which values should be read.
Add the logic to parse these values and use them as counter examples.

Issue: #908
 2025-05-21 08:41:10 +00:00