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