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