| commit | d32ecbe1ff058b3f4a1a72f6c18aebb7ce9b63cf | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 14 Feb 2007 15:57:25 +0000 (14 16:57 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 14 Feb 2007 15:57:25 +0000 (14 16:57 +0100) | ||
| tree | ec6dba6096f2b6cd5caa5774e83bb062cdbfc352 | treesnapshot (tar.gz zip) |
| parent | ab8fb45e9c6bf295506ffcb2d838fc3b0ff09f3c | commitdiff |
verif_ehrhart: optionally continue on error