Joffrey Huguet 403c6d2cbe SKIP test on Windows because of small proof regressions

2025-12-19 15:58:02 +01:00

..

63__c_strings_proof

Merge branch 'topic/1111-dross-session-update' into 'master'

2025-11-18 09:09:26 +00: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

SKIP test on Windows

2025-12-16 10:16:13 +01: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

Merge branch 'topic/1120-dross-empty-vector' into 'master'

2025-11-21 08:04:27 +00: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

SKIP tests on Windows

2025-11-19 18:54:42 +01:00

W127-011__functional_sequences_HO_proof

SKIP tests on Windows

2025-11-19 18:54:42 +01:00

W127-011__functional_sets_HO_proof

SKIP tests on Windows

2025-11-19 18:54:42 +01:00

W127-011__functional_vectors_HO_proof

SKIP test on Windows because of small proof regressions

2025-12-19 15:58:02 +01:00

Z999-999__sparklib_always_fail

add test that always fails

2023-04-21 08:43:58 +09:00