| commit | 72261dcb4b644c062d3642e126ee36df3608929d | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 25 Apr 2024 10:08:29 +0000 (25 12:08 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Thu, 25 Apr 2024 10:08:29 +0000 (25 12:08 +0200) | ||
| tree | 98afff398b08ef02a183895e5dcd445c695d1dc1 | treesnapshot (tar.gz zip) |
| parent | 9a5853574441cd8567f90115fc21f93d42c5b728 | commitdiff |
fix model parser for Alt-Ergo output: case of empty model