~tapaal-dist-ctl/verifypn/modelDatabase

  • Committer: Søren Moss Nielsen
  • Date: 2016-04-20 09:51:11 UTC
  • mfrom: (282.1.4 verifypnTestFramework)
  • Revision ID: smni12@student.aau.com-20160420095111-68f3f1ya2z8s423f
Merge
Filename Latest Rev Last Changed Committer Comment Size
..
build 282.1.1 8 years ago tobiasj1991 at gmail Python consistency check and added build map struc Diff
Scripts 44.2.40 10 years ago Jiri Srba Added TAPAAL initialization script of the competit Diff
testFramework 60 8 years ago Søren Moss Nielsen Created the test framework structure Diff
Tests 1 12 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
verifypnTestFramework.config 282.1.1 8 years ago tobiasj1991 at gmail Python consistency check and added build map struc 86 bytes Diff Download File
verifypnTestFramework.creator 282.1.1 8 years ago tobiasj1991 at gmail Python consistency check and added build map struc 10 bytes Diff Download File
verifypnTestFramework.files 282.1.1 8 years ago tobiasj1991 at gmail Python consistency check and added build map struc 44 bytes Diff Download File
verifypnTestFramework.includes 282.1.1 8 years ago tobiasj1991 at gmail Python consistency check and added build map struc Empty Diff Download File