Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Enable model checking again for coverage, as slave has been updated to jessie
authordegomme <augustin.degomme@unibas.ch>
Mon, 25 Jan 2016 09:14:53 +0000 (10:14 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Mon, 25 Jan 2016 09:14:53 +0000 (10:14 +0100)
commit82e019ed673dd2a4376068e7a62cb9fcca9e157b
treec87889eee858ceadaa9d094d017a18ac44abe6d1
parent99a42d5d15b6a07e3005056dcf707d3a41671743
Enable model checking again for coverage, as slave has been updated to jessie
tools/jenkins/DynamicAnalysis.sh