Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tesh: add an option to keep on disk the obtained output
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 26 Oct 2016 17:02:12 +0000 (19:02 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 26 Oct 2016 17:05:57 +0000 (19:05 +0200)
commit68ea2bdb144464922c166b6aee563145bab2d170
treed6494cf36db1457df029470f844183ccbd7d78e1
parentb7e63de3ea5e5e43e129e26f38d39ff9ef69ad20
tesh: add an option to keep on disk the obtained output

This helps regenerating the tesh files.
tools/tesh/tesh.py