updated tests
[mc1516pa.git] / modelchecker / tests / 2.vcl
1
2 *
3 +