updated tests
[mc1516pa.git] / modelchecker / tests / 2.vcn
2016-04-17 Mart Lubbersadded vertical tests