Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'tesh-check-output-on-timeout' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Thu, 13 Jun 2019 17:44:53 +0000 (19:44 +0200)
committerAugustin Degomme <adegomme@gmail.com>
Thu, 13 Jun 2019 17:44:53 +0000 (19:44 +0200)
[tesh] check output on timeout

Closes #23

See merge request simgrid/simgrid!9


Trivial merge