~tapaal-dist-ctl/verifypn/modelDatabase

  • Committer: tobiasj1991 at gmail
  • Date: 2016-04-13 09:18:45 UTC
  • Revision ID: tobiasj1991@gmail.com-20160413091845-aao72vksnxaruffb
Fixed input error.
Filename Latest Rev Last Changed Committer Comment Size
..
Scripts 44.2.40 10 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
testFramework 60 9 years ago Søren Moss Nielsen Created the test framework structure Diff
Tests 1 13 years ago Jonas Finnemann Jensen Import of sources from github Diff
.bzrignore 219.1.5 8 years ago Lasse S. J. updated ignore file 391 bytes Diff Download File
cancel-SLURM-jobs.sh 269 8 years ago MCC-Computer Slurm submission optimization 170 bytes Diff Download File
get-completed-queires.sh 257 8 years ago MCC-Computer Structural changes to the framework 67 bytes Diff Download File
get-queries-in-queue.sh 257 8 years ago MCC-Computer Structural changes to the framework 41 bytes Diff Download File
testLTSminversion.sh 257 8 years ago MCC-Computer Structural changes to the framework 597 bytes Diff Download File