Claire Dross 50bfe58c69 Remaining large test updates

2025-12-19 09:36:02 +01:00

..

63__c_strings_proof

Minor test update

2025-11-18 14:15:18 +01:00

665__c_constant_strings_test

Update baselines for sparklib

2025-11-26 00:00:34 +00:00

665__c_strings_test

Baseline updates for prover failure message

2025-12-11 09:41:36 +09:00

665__formal_doubly_linked_lists_test

Formatting of check messages

2025-12-18 10:28:37 +01:00

665__formal_hashed_maps_test

Formatting of check messages

2025-12-18 10:28:37 +01:00

665__formal_hashed_sets_test

Formatting of check messages

2025-12-18 10:28:37 +01:00

665__formal_ordered_maps_test

Formatting of check messages

2025-12-18 10:28:37 +01:00

665__formal_unbounded_doubly_linked_lists_test

Baseline changes

2025-12-08 11:58:36 +09:00

665__formal_unbounded_hashed_maps_test

Baseline updates for prover failure message

2025-12-11 09:41:36 +09:00

665__formal_unbounded_hashed_sets_test

Baseline updates for prover failure message

2025-12-11 09:41:36 +09:00

665__formal_unbounded_ordered_maps_test

Baseline updates for prover failure message

2025-12-11 09:41:36 +09:00

665__formal_unbounded_vectors_test

Baseline changes

2025-12-08 11:58:36 +09:00

665__formal_vectors_test

Remaining large test updates

2025-12-19 09:36:02 +01:00

665__functional_infinite_sequences_test

Line number changes after formatting

2025-11-12 08:19:09 +00:00

665__functional_maps_test

Remove explicit bodymode setting

2025-11-04 11:19:42 +09:00

665__functional_sets_test

Remove explicit bodymode setting

2025-11-04 11:19:42 +09:00

665__functional_vectors_test

Baseline changes

2025-12-08 11:58:36 +09:00

752__full

Remaining large test updates

2025-12-19 09:36:02 +01:00

752__full_defensive

Remaining large test updates

2025-12-19 09:36:02 +01:00

752__full_gnata

Remaining large test updates

2025-12-19 09:36:02 +01:00

752__full_gnata_no_defensive

Remaining large test updates

2025-12-19 09:36:02 +01:00

752__full_gnata_no_logic

Remaining large test updates

2025-12-19 09:36:02 +01:00

752__full_logic

Remaining large test updates

2025-12-19 09:36:02 +01:00

752__light

Formatting of check messages

2025-12-18 10:28:37 +01:00

752__light_defensive

Formatting of check messages

2025-12-18 10:28:37 +01:00

752__light_gnata

Formatting of check messages

2025-12-18 10:28:37 +01:00

752__light_gnata_no_defensive

Formatting of check messages

2025-12-18 10:28:37 +01:00

1070__functional_trees_test

Baseline changes

2025-12-08 11:58:36 +09:00

P405-006__sparklib_proof

Baseline changes

2025-12-08 11:58:36 +09:00

R509-011__higher_order_proof

Update baselines for formatting

2025-12-16 10:56:04 +09:00

V818-010__functional_multiset_proof

Formatting of check messages

2025-12-18 10:28:37 +01:00

W127-011__functional_maps_HO_proof

Formatting of check messages

2025-12-18 10:28:37 +01:00

W127-011__functional_sequences_HO_proof

Formatting of check messages

2025-12-18 10:28:37 +01:00

W127-011__functional_sets_HO_proof

Formatting of check messages

2025-12-18 10:28:37 +01:00

W127-011__functional_vectors_HO_proof

Formatting of check messages

2025-12-18 10:28:37 +01:00

Z999-999__sparklib_always_fail

add test that always fails

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

coverage.manifest

Add test for formal ordered maps

2025-11-27 10:57:02 +00:00