Test Overview
Test set
Project count
Syntax check
Type check
PO
Interpretation test
VDMSL
42
0
0
4148
1
VDM++
46
0
1
3472
1
VDMRT
12
0
0
623
1
Totals
100
0
1
8243
3