https://git.martlubbers.net - mc1516pa.git/commit

author	Mart Lubbers <mart@martlubbers.net>
	Tue, 19 Apr 2016 17:32:14 +0000 (19:32 +0200)
committer	Mart Lubbers <mart@martlubbers.net>
	Tue, 19 Apr 2016 17:32:14 +0000 (19:32 +0200)
commit	d1e711fb69f95a8e81f6d6e6f3014dc2d87b38a9
tree	1cc6d7629e7d69461e85a75cb4d1f9f0ff4ea95c	tree \| snapshot
parent	d8496404fca14bd5f221987df167930f482c622b	commit \| diff

updated tests

36 files changed:

modelchecker/tests/1.aq		diff \| blob \| history
modelchecker/tests/1.ar		diff \| blob \| history
modelchecker/tests/1.au		diff \| blob \| history
modelchecker/tests/1.av		diff \| blob \| history
modelchecker/tests/2.bo	[moved from modelchecker/tests/1.bo with 100% similarity]	blob \| history
modelchecker/tests/2.bq	[moved from modelchecker/tests/1.bq with 100% similarity]	blob \| history
modelchecker/tests/2.bx	[moved from modelchecker/tests/1.bx with 100% similarity]	blob \| history
modelchecker/tests/2.bz	[moved from modelchecker/tests/1.bz with 100% similarity]	blob \| history
modelchecker/tests/2.ca	[moved from modelchecker/tests/1.ca with 100% similarity]	blob \| history
modelchecker/tests/2.cc	[moved from modelchecker/tests/1.cc with 100% similarity]	blob \| history
modelchecker/tests/2.cj	[moved from modelchecker/tests/1.cj with 100% similarity]	blob \| history
modelchecker/tests/2.cl	[moved from modelchecker/tests/1.cl with 100% similarity]	blob \| history
modelchecker/tests/2.cm	[moved from modelchecker/tests/1.cm with 100% similarity]	blob \| history
modelchecker/tests/2.co	[moved from modelchecker/tests/1.co with 100% similarity]	blob \| history
modelchecker/tests/2.cv	[moved from modelchecker/tests/1.cv with 100% similarity]	blob \| history
modelchecker/tests/2.cx	[moved from modelchecker/tests/1.cx with 100% similarity]	blob \| history
modelchecker/tests/2.cz	[moved from modelchecker/tests/1.cz with 100% similarity]	blob \| history
modelchecker/tests/2.db	[moved from modelchecker/tests/1.db with 100% similarity]	blob \| history
modelchecker/tests/2.di	[moved from modelchecker/tests/1.di with 100% similarity]	blob \| history
modelchecker/tests/2.dk	[moved from modelchecker/tests/1.dk with 100% similarity]	blob \| history
modelchecker/tests/2.vbo	[moved from modelchecker/tests/1.vbo with 100% similarity]	blob \| history
modelchecker/tests/2.vbq	[moved from modelchecker/tests/1.vbq with 100% similarity]	blob \| history
modelchecker/tests/2.vbx	[moved from modelchecker/tests/1.vbx with 100% similarity]	blob \| history
modelchecker/tests/2.vbz	[moved from modelchecker/tests/1.vbz with 100% similarity]	blob \| history
modelchecker/tests/2.vca	[moved from modelchecker/tests/1.vca with 100% similarity]	blob \| history
modelchecker/tests/2.vcc	[moved from modelchecker/tests/1.vcc with 100% similarity]	blob \| history
modelchecker/tests/2.vcj	[moved from modelchecker/tests/1.vcj with 100% similarity]	blob \| history
modelchecker/tests/2.vcl	[moved from modelchecker/tests/1.vcl with 100% similarity]	blob \| history
modelchecker/tests/2.vcm	[moved from modelchecker/tests/1.vcm with 100% similarity]	blob \| history
modelchecker/tests/2.vco	[moved from modelchecker/tests/1.vco with 100% similarity]	blob \| history
modelchecker/tests/2.vcv	[moved from modelchecker/tests/1.vcv with 100% similarity]	blob \| history
modelchecker/tests/2.vcx	[moved from modelchecker/tests/1.vcx with 100% similarity]	blob \| history
modelchecker/tests/2.vcz	[moved from modelchecker/tests/1.vcz with 100% similarity]	blob \| history
modelchecker/tests/2.vdb	[moved from modelchecker/tests/1.vdb with 100% similarity]	blob \| history
modelchecker/tests/2.vdi	[moved from modelchecker/tests/1.vdi with 100% similarity]	blob \| history
modelchecker/tests/2.vdk	[moved from modelchecker/tests/1.vdk with 100% similarity]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom