all-tests: computing success or failure should hopefully be more robust now
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 Nov 2015 12:17:54 +0000 (13:17 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 4 Nov 2015 12:17:54 +0000 (13:17 +0100)
commite77a91d5173a513108a7448868362de060b804a6
tree2bd822cf4b7c0a386a0b94e3688bad627c6528fd
parente3ce3d767b284574087f630fb2a98d861811ced5
all-tests: computing success or failure should hopefully be more robust now
all-tests