ada/SPARKlib
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
26.0
SPARKlib/tests
History
Joffrey Huguet 78d5ce785d Update session tests
2025-10-08 18:06:22 +02:00
..
63__c_strings_proof
Update baselines for SPARKlib
2025-08-21 10:00:37 +09:00
665__c_constant_strings_test
update baseline for warning tag
2025-03-27 18:02:53 +09:00
665__c_strings_test
Minor baseline update
2025-03-28 09:40:02 +09:00
665__formal_doubly_linked_lists_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__formal_hashed_maps_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__formal_hashed_sets_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__formal_unbounded_doubly_linked_lists_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__formal_unbounded_hashed_maps_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__formal_unbounded_hashed_sets_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__formal_unbounded_vectors_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__formal_vectors_test
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
665__functional_infinite_sequences_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__functional_maps_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__functional_sets_test
SPARKlib tests: Use helper function from python library for compilation
2024-11-22 11:18:57 +09:00
665__functional_vectors_test
update baseline for warning tag
2025-03-27 18:02:53 +09:00
752__full
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
752__full_defensive
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
752__full_gnata
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
752__full_gnata_no_defensive
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
752__full_gnata_no_logic
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
752__full_logic
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
752__light
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
752__light_defensive
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
752__light_gnata
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
752__light_gnata_no_defensive
Ensure that SPARKlib works with assertions enabled
2025-09-12 14:28:30 +02:00
P405-006__sparklib_proof
Move tests for the full runtime to large and update outputs
2025-09-16 20:00:15 +02:00
R509-011__higher_order_proof
Minor session updates
2025-09-18 17:54:21 +09:00
V818-010__functional_multiset_proof
Update session test
2025-09-10 11:05:37 +02:00
W127-011__functional_maps_HO_proof
Update session tests
2025-10-08 18:06:22 +02:00
W127-011__functional_sequences_HO_proof
Update session tests
2025-10-08 18:06:22 +02:00
W127-011__functional_sets_HO_proof
Introduce assertion levels in the SPARKlib
2025-09-10 11:05:02 +02:00
W127-011__functional_vectors_HO_proof
Update session tests
2025-10-08 18:06:22 +02:00
Z999-999__sparklib_always_fail
add test that always fails
2023-04-21 08:43:58 +09:00