repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9f0343) | patch
added exhaustive tests
authorMart Lubbers <mart@martlubbers.net>
Sun, 17 Apr 2016 17:04:07 +0000 (19:04 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sun, 17 Apr 2016 17:04:07 +0000 (19:04 +0200)
commit259ed7dfe69f50fd1b4967b272b094f1b2b50493
tree18b440f5b48d069889c195de4c4f79df547dee8dtree | snapshot
parentb9f0343d3d3f07f8c1553bc44995a3c93c2de296commit | diff
added exhaustive tests
97 files changed:
modelchecker/test.sh diff | blob | history
modelchecker/tests/1.aq [new file with mode: 0644] blob
modelchecker/tests/1.ar [new file with mode: 0644] blob
modelchecker/tests/1.as [new file with mode: 0644] blob
modelchecker/tests/1.at [new file with mode: 0644] blob
modelchecker/tests/1.au [new file with mode: 0644] blob
modelchecker/tests/1.av [new file with mode: 0644] blob
modelchecker/tests/1.aw [new file with mode: 0644] blob
modelchecker/tests/1.ax [new file with mode: 0644] blob
modelchecker/tests/1.ay [new file with mode: 0644] blob
modelchecker/tests/1.az [new file with mode: 0644] blob
modelchecker/tests/1.ba [new file with mode: 0644] blob
modelchecker/tests/1.bb [new file with mode: 0644] blob
modelchecker/tests/1.bo [new file with mode: 0644] blob
modelchecker/tests/1.bq [new file with mode: 0644] blob
modelchecker/tests/1.bx [new file with mode: 0644] blob
modelchecker/tests/1.bz [new file with mode: 0644] blob
modelchecker/tests/1.ca [new file with mode: 0644] blob
modelchecker/tests/1.cc [new file with mode: 0644] blob
modelchecker/tests/1.cj [new file with mode: 0644] blob
modelchecker/tests/1.cl [new file with mode: 0644] blob
modelchecker/tests/1.cm [new file with mode: 0644] blob
modelchecker/tests/1.co [new file with mode: 0644] blob
modelchecker/tests/1.cv [new file with mode: 0644] blob
modelchecker/tests/1.cx [new file with mode: 0644] blob
modelchecker/tests/1.cz [new file with mode: 0644] blob
modelchecker/tests/1.db [new file with mode: 0644] blob
modelchecker/tests/1.di [new file with mode: 0644] blob
modelchecker/tests/1.dk [new file with mode: 0644] blob
modelchecker/tests/1.dl [new file with mode: 0644] blob
modelchecker/tests/1.dm [new file with mode: 0644] blob
modelchecker/tests/1.dn [new file with mode: 0644] blob
modelchecker/tests/1.do [new file with mode: 0644] blob
modelchecker/tests/1.dp [new file with mode: 0644] blob
modelchecker/tests/1.dq [new file with mode: 0644] blob
modelchecker/tests/1.dr [new file with mode: 0644] blob
modelchecker/tests/1.ds [new file with mode: 0644] blob
modelchecker/tests/1.dt [new file with mode: 0644] blob
modelchecker/tests/1.du [new file with mode: 0644] blob
modelchecker/tests/1.dv [new file with mode: 0644] blob
modelchecker/tests/1.dw [new file with mode: 0644] blob
modelchecker/tests/2.bp [new file with mode: 0644] blob
modelchecker/tests/2.br [new file with mode: 0644] blob
modelchecker/tests/2.bs [new file with mode: 0644] blob
modelchecker/tests/2.bt [new file with mode: 0644] blob
modelchecker/tests/2.bu [new file with mode: 0644] blob
modelchecker/tests/2.bv [new file with mode: 0644] blob
modelchecker/tests/2.bw [new file with mode: 0644] blob
modelchecker/tests/2.by [new file with mode: 0644] blob
modelchecker/tests/2.cb [new file with mode: 0644] blob
modelchecker/tests/2.cd [new file with mode: 0644] blob
modelchecker/tests/2.ce [new file with mode: 0644] blob
modelchecker/tests/2.cf [new file with mode: 0644] blob
modelchecker/tests/2.cg [new file with mode: 0644] blob
modelchecker/tests/2.ch [new file with mode: 0644] blob
modelchecker/tests/2.ci [new file with mode: 0644] blob
modelchecker/tests/2.ck [new file with mode: 0644] blob
modelchecker/tests/2.cn [new file with mode: 0644] blob
modelchecker/tests/2.cp [new file with mode: 0644] blob
modelchecker/tests/2.cq [new file with mode: 0644] blob
modelchecker/tests/2.cr [new file with mode: 0644] blob
modelchecker/tests/2.cs [new file with mode: 0644] blob
modelchecker/tests/2.ct [new file with mode: 0644] blob
modelchecker/tests/2.cu [new file with mode: 0644] blob
modelchecker/tests/2.cw [new file with mode: 0644] blob
modelchecker/tests/2.da [new file with mode: 0644] blob
modelchecker/tests/2.dc [new file with mode: 0644] blob
modelchecker/tests/2.dd [new file with mode: 0644] blob
modelchecker/tests/2.de [new file with mode: 0644] blob
modelchecker/tests/2.df [new file with mode: 0644] blob
modelchecker/tests/2.dg [new file with mode: 0644] blob
modelchecker/tests/2.dh [new file with mode: 0644] blob
modelchecker/tests/2.dj [new file with mode: 0644] blob
modelchecker/tests/3.ae [new file with mode: 0644] blob
modelchecker/tests/3.af [new file with mode: 0644] blob
modelchecker/tests/3.ag [new file with mode: 0644] blob
modelchecker/tests/3.ah [new file with mode: 0644] blob
modelchecker/tests/3.ai [new file with mode: 0644] blob
modelchecker/tests/3.aj [new file with mode: 0644] blob
modelchecker/tests/3.ak [new file with mode: 0644] blob
modelchecker/tests/3.al [new file with mode: 0644] blob
modelchecker/tests/3.am [new file with mode: 0644] blob
modelchecker/tests/3.an [new file with mode: 0644] blob
modelchecker/tests/3.ao [new file with mode: 0644] blob
modelchecker/tests/3.ap [new file with mode: 0644] blob
modelchecker/tests/3.bc [new file with mode: 0644] blob
modelchecker/tests/3.bd [new file with mode: 0644] blob
modelchecker/tests/3.be [new file with mode: 0644] blob
modelchecker/tests/3.bf [new file with mode: 0644] blob
modelchecker/tests/3.bg [new file with mode: 0644] blob
modelchecker/tests/3.bh [new file with mode: 0644] blob
modelchecker/tests/3.bi [new file with mode: 0644] blob
modelchecker/tests/3.bj [new file with mode: 0644] blob
modelchecker/tests/3.bk [new file with mode: 0644] blob
modelchecker/tests/3.bl [new file with mode: 0644] blob
modelchecker/tests/3.bm [new file with mode: 0644] blob
modelchecker/tests/3.bn [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.