convenience script all-tests to run all available tests and store result
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 09:53:03 +0000 (10:53 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 09:59:27 +0000 (10:59 +0100)
commit5e7ecb0746118946dd5b8ae877a33e671fdcfb9a
treef39f0f25ffd3166d2ef77b21fa18a0aef8d040d5
parent2ff5b287769a5772968642c7b145062856e06f0f
convenience script all-tests to run all available tests and store result
Makefile
all-tests [new file with mode: 0755]