repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 313c58c) | patch
added verdict, also in positive case_
authorMart Lubbers <mart@martlubbers.net>
Thu, 21 Apr 2016 18:59:19 +0000 (20:59 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 21 Apr 2016 18:59:19 +0000 (20:59 +0200)
commit5583a9502b9615696c0627ed851370156fc162e7
tree3ee395de53a4da0ae077b0d4c0cd2259b0619b31tree | snapshot
parent313c58c1cd85852f33ff7ca7c638ccb3066d5069commit | diff
added verdict, also in positive case_
modelchecker/main.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.