| commit | 0e86c23d93e6bcc9b50a2125d8f2e3b87cca0507 | |
| author | Claude Marche <Claude.Marche@inria.fr> | |
| Fri, 8 Nov 2024 14:02:58 +0000 (8 15:02 +0100) | ||
| committer | Claude Marche <Claude.Marche@inria.fr> | |
| Wed, 13 Nov 2024 18:04:53 +0000 (13 19:04 +0100) | ||
| tree | 114a33040b4f5cfb8a7581c5f339304d09ad8cae | treesnapshot (tar.gz zip) |
| parent | 904a1b6e9e2e023777a7a4b82ee7654828392817 | commitdiff |
add regression test from BTS
| examples/bts/886.mlw | [new file with mode: 0644] | blob |
| examples/bts/886/why3session.xml | [new file with mode: 0644] | blob |
| examples/bts/886/why3shapes.gz | [new file with mode: 0644] | blob |