all-tests to properly add '-pending' when needed
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Nov 2015 15:55:21 +0000 (16:55 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Nov 2015 15:55:21 +0000 (16:55 +0100)
commit726ddc98acc2e88ce4f50ed1a1829a6ed11e781e
treed9e3b1c74ca7f30d53fe114cb3b8bdd62b134bd3
parent3fe2e6f7812888dc1366915545dd2243ff6fb1bb
 all-tests to properly add '-pending'  when needed
all-tests