ada/alt-ergo
0
0
Fork 0
mirror of https://github.com/AdaCore/alt-ergo.git synced 2026-02-12 12:39:26 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
alt-ergo/tests/everything
History
Stevendeo 99755e788c Handling error strategy (#853) 
Fixes #851
2023-10-09 08:20:28 +00:00
..
a0.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
a0.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
a1.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
a1.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b0.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b0.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b1.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b1.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b3.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b3.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b4.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b4.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b5.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
b5.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#5.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#5.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#6.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#6.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#7.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#7.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#8.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#8.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#9.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#9.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#9bis.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#9bis.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#10.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#10.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#11_should_be_proved.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
bugfix#11_should_be_proved.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e1.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e1.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e2.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e2.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e3.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e3.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e4.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e4.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e5.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e5.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e6.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
e6.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f1.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f1.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f2-rev.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f2-rev.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f2.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f2.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f3.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f3.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f4.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f4.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f5.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f5.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-invalid-1.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-invalid-1.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-invalid-2.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-invalid-2.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-valid-1.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-valid-1.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-valid-2.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-valid-2.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-valid-3.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
f-ite-valid-3.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
improvement#1bis.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
improvement#1bis.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-case_split001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-case_split001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-case_split002.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-case_split002.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-distinct001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-distinct001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything002.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything002.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything003.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything003.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything004.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything004.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything005.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything005.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything006.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything006.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything007.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything007.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything008.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything008.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything009.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything009.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything010.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything010.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything011.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-everything011.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation002.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation002.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation003.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation003.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation004.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanation004.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanations001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-explanations001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-fl001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-fl001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-injective001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-injective001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-injective002.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-injective002.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-JC-sw_path_edge_1___MINIMAL.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-JC-sw_path_edge_1___MINIMAL.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-polymorphism001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-polymorphism001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-predicate001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-predicate001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-predicate002.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-predicate002.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-tab001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-tab001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-typage001.ae
Fix ci (#535)
2022-11-28 10:29:31 +01:00
testfile-typage001.expected
Fix ci (#535)
2022-11-28 10:29:31 +01:00