Test Result : ExternalModulesSlTypeCheckTest

1 failures (±0)
1,216 tests (±0)
Took 6.9 sec.

All Tests

Test nameDurationStatus
Install IDE / test[alarm.vdm]8 msPassed
Install IDE / test[alwaysstmt.vdm]3 msPassed
Install IDE / test[and-01.vdm]3 msPassed
Install IDE / test[and-02.vdm]2 msPassed
Install IDE / test[and-03.vdm]3 msPassed
Install IDE / test[and-04.vdm]3 msPassed
Install IDE / test[and-05.vdm]2 msPassed
Install IDE / test[and-06.vdm]2 msPassed
Install IDE / test[applyexpr-01.vdm]5 msPassed
Install IDE / test[applyexpr-02.vdm]4 msPassed
Install IDE / test[applyexpr-03.vdm]7 msPassed
Install IDE / test[applyexpr-04.vdm]6 msPassed
Install IDE / test[applyexpr-05.vdm]6 msPassed
Install IDE / test[applyexpr-06.vdm]8 msPassed
Install IDE / test[applyexpr-07.vdm]14 msPassed
Install IDE / test[applyexpr-08.vdm]7 msPassed
Install IDE / test[applyexpr-09.vdm]5 msPassed
Install IDE / test[applyexpr-10.vdm]7 msPassed
Install IDE / test[applyexpr-11.vdm]8 msPassed
Install IDE / test[applyexpr-12.vdm]7 msPassed
Install IDE / test[applyexpr-13.vdm]6 msPassed
Install IDE / test[applyexpr-14.vdm]5 msPassed
Install IDE / test[applyexpr-15.vdm]5 msPassed
Install IDE / test[applyexpr-16.vdm]7 msPassed
Install IDE / test[applyexpr-17.vdm]5 msPassed
Install IDE / test[applyexpr-18.vdm]10 msPassed
Install IDE / test[applyexpr-19.vdm]8 msPassed
Install IDE / test[applyexpr-20.vdm]6 msPassed
Install IDE / test[applyexpr-21.vdm]6 msPassed
Install IDE / test[applyexpr-22.vdm]6 msPassed
Install IDE / test[applyexpr-23.vdm]11 msPassed
Install IDE / test[applyexpr-24.vdm]6 msPassed
Install IDE / test[applyexpr-25.vdm]3 msPassed
Install IDE / test[assignstmt.vdm]4 msPassed
Install IDE / test[autopilot.vdm]13 msPassed
Install IDE / test[basic-01.vdm]2 msPassed
Install IDE / test[basic-02.vdm]3 msPassed
Install IDE / test[basic-03.vdm]2 msPassed
Install IDE / test[basic-04.vdm]2 msPassed
Install IDE / test[basic-05.vdm]2 msPassed
Install IDE / test[basic-06.vdm]2 msPassed
Install IDE / test[basic-07.vdm]11 msPassed
Install IDE / test[basic-08.vdm]4 msPassed
Install IDE / test[basic-09.vdm]9 msPassed
Install IDE / test[basic-10.vdm]2 msPassed
Install IDE / test[basic-11.vdm]3 msPassed
Install IDE / test[basic-12.vdm]2 msPassed
Install IDE / test[basic-13.vdm]2 msPassed
Install IDE / test[basic-14.vdm]2 msPassed
Install IDE / test[basic-15.vdm]2 msPassed
Install IDE / test[basic-16.vdm]2 msPassed
Install IDE / test[basic-17.vdm]4 msPassed
Install IDE / test[basic-18.vdm]2 msPassed
Install IDE / test[basic-19.vdm]2 msPassed
Install IDE / test[basic-20.vdm]4 msPassed
Install IDE / test[basic-21.vdm]0 msPassed
Install IDE / test[basic-22.vdm]2 msPassed
Install IDE / test[basic-23.vdm]2 msPassed
Install IDE / test[basic-24.vdm]2 msPassed
Install IDE / test[basic-25.vdm]2 msPassed
Install IDE / test[basic-26.vdm]2 msPassed
Install IDE / test[basic-27.vdm]2 msPassed
Install IDE / test[basic-28.vdm]4 msPassed
Install IDE / test[basic-29.vdm]3 msPassed
Install IDE / test[basic-30.vdm]3 msPassed
Install IDE / test[basic-31.vdm]3 msPassed
Install IDE / test[basic-32.vdm]3 msPassed
Install IDE / test[basic-33.vdm]3 msPassed
Install IDE / test[basic-34.vdm]3 msPassed
Install IDE / test[basic-35.vdm]2 msPassed
Install IDE / test[basic-36.vdm]2 msPassed
Install IDE / test[basic-37.vdm]3 msPassed
Install IDE / test[basic-38.vdm]3 msPassed
Install IDE / test[basic-39.vdm]2 msPassed
Install IDE / test[basic-40.vdm]3 msPassed
Install IDE / test[basic-41.vdm]2 msPassed
Install IDE / test[basic-42.vdm]2 msPassed
Install IDE / test[basic-43.vdm]2 msPassed
Install IDE / test[basic-44.vdm]2 msPassed
Install IDE / test[basic-45.vdm]2 msPassed
Install IDE / test[basic-46.vdm]3 msPassed
Install IDE / test[basic-47.vdm]2 msPassed
Install IDE / test[basic-48.vdm]2 msPassed
Install IDE / test[basic-49.vdm]3 msPassed
Install IDE / test[basic-50.vdm]3 msPassed
Install IDE / test[basic-51.vdm]3 msPassed
Install IDE / test[basic-52.vdm]3 msPassed
Install IDE / test[basic-53.vdm]3 msPassed
Install IDE / test[basic-54.vdm]3 msPassed
Install IDE / test[basic-55.vdm]2 msPassed
Install IDE / test[basic-56.vdm]3 msPassed
Install IDE / test[basic-57.vdm]3 msPassed
Install IDE / test[basic-58.vdm]2 msPassed
Install IDE / test[basic-59.vdm]3 msPassed
Install IDE / test[basic-60.vdm]3 msPassed
Install IDE / test[basic-61.vdm]0 msPassed
Install IDE / test[basic-62.vdm]3 msPassed
Install IDE / test[basic-63.vdm]2 msPassed
Install IDE / test[basic-64.vdm]2 msPassed
Install IDE / test[basic-65.vdm]2 msPassed
Install IDE / test[basic-66.vdm]2 msPassed
Install IDE / test[basic-67.vdm]2 msPassed
Install IDE / test[basic-68.vdm]8 msPassed
Install IDE / test[basic-69.vdm]3 msPassed
Install IDE / test[basic-70.vdm]2 msPassed
Install IDE / test[basic-71.vdm]2 msPassed
Install IDE / test[basic-72.vdm]3 msPassed
Install IDE / test[basic-73.vdm]3 msPassed
Install IDE / test[basic-74.vdm]3 msPassed
Install IDE / test[basic-75.vdm]3 msPassed
Install IDE / test[basic-76.vdm]3 msPassed
Install IDE / test[basic-77.vdm]1 msPassed
Install IDE / test[basic-78.vdm]2 msPassed
Install IDE / test[basic-79.vdm]2 msPassed
Install IDE / test[basic-80.vdm]2 msPassed
Install IDE / test[basic-81.vdm]3 msPassed
Install IDE / test[blockstmt.vdm]6 msPassed
Install IDE / test[blockstmt.vdm]5 msPassed
Install IDE / test[callstmt.vdm]3 msPassed
Install IDE / test[callstmt.vdm]3 msPassed
Install IDE / test[casesexpr-01.vdm]4 msPassed
Install IDE / test[casesexpr-02.vdm]8 msPassed
Install IDE / test[casesexpr-03.vdm]4 msPassed
Install IDE / test[casesexpr-04.vdm]3 msPassed
Install IDE / test[casesexpr-10.vdm]5 msPassed
Install IDE / test[casesexpr-11.vdm]5 msPassed
Install IDE / test[casesexpr-12.vdm]5 msPassed
Install IDE / test[casesexpr-13.vdm]9 msPassed
Install IDE / test[casesexpr-14.vdm]7 msPassed
Install IDE / test[casesexpr-15.vdm]9 msPassed
Install IDE / test[casesexpr-16.vdm]8 msPassed
Install IDE / test[casesexpr-17.vdm]6 msPassed
Install IDE / test[casesexpr-18.vdm]30 msPassed
Install IDE / test[casesexpr-19.vdm]5 msPassed
Install IDE / test[casesexpr-20.vdm]6 msPassed
Install IDE / test[casesexpr-21.vdm]15 msPassed
Install IDE / test[casesexpr-22.vdm]15 msPassed
Install IDE / test[casesexpr-23.vdm]10 msPassed
Install IDE / test[casesexpr-24.vdm]5 msPassed
Install IDE / test[casesexpr-25.vdm]10 msPassed
Install IDE / test[casesexpr-26.vdm]9 msPassed
Install IDE / test[casesexpr-27.vdm]7 msPassed
Install IDE / test[casesexpr-28.vdm]8 msPassed
Install IDE / test[casesexpr-29.vdm]6 msPassed
Install IDE / test[casesexpr-30.vdm]6 msPassed
Install IDE / test[casesexpr-31.vdm]5 msPassed
Install IDE / test[casesexpr-32.vdm]4 msPassed
Install IDE / test[casesexpr-33.vdm]9 msPassed
Install IDE / test[casesexpr-34.vdm]12 msPassed
Install IDE / test[casesexpr-35.vdm]8 msPassed
Install IDE / test[casesexpr-36.vdm]8 msPassed
Install IDE / test[casesexpr-37.vdm]6 msPassed
Install IDE / test[casesexpr-38.vdm]7 msPassed
Install IDE / test[casesexpr-39.vdm]5 msPassed
Install IDE / test[casesexpr-40.vdm]12 msPassed
Install IDE / test[casesexpr-41.vdm]5 msPassed
Install IDE / test[casesexpr-42.vdm]7 msPassed
Install IDE / test[casesexpr-43.vdm]10 msPassed
Install IDE / test[casesexpr-44.vdm]6 msPassed
Install IDE / test[casesexpr-45.vdm]16 msPassed
Install IDE / test[casesexpr-46.vdm]10 msPassed
Install IDE / test[casesexpr-47.vdm]5 msPassed
Install IDE / test[casesexpr-48.vdm]8 msPassed
Install IDE / test[casesexpr-49.vdm]5 msPassed
Install IDE / test[casesexpr-50.vdm]6 msPassed
Install IDE / test[casesexpr-51.vdm]5 msPassed
Install IDE / test[casesexpr-52.vdm]5 msPassed
Install IDE / test[casesexpr-53.vdm]22 msPassed
Install IDE / test[casesexpr-54.vdm]15 msPassed
Install IDE / test[casesexpr-55.vdm]22 msPassed
Install IDE / test[casesexpr-56.vdm]9 msPassed
Install IDE / test[casesexpr-57.vdm]15 msPassed
Install IDE / test[casesexpr-58.vdm]8 msPassed
Install IDE / test[casesexpr-59.vdm]5 msPassed
Install IDE / test[casesexpr-60.vdm]5 msPassed
Install IDE / test[casesexpr-61.vdm]6 msPassed
Install IDE / test[casesexpr-62.vdm]8 msPassed
Install IDE / test[casesexpr-63.vdm]10 msPassed
Install IDE / test[casesexpr-64.vdm]5 msPassed
Install IDE / test[casesexpr-65.vdm]9 msPassed
Install IDE / test[casesexpr-66.vdm]9 msPassed
Install IDE / test[casesexpr-67.vdm]6 msPassed
Install IDE / test[casesexpr-68.vdm]8 msPassed
Install IDE / test[casesexpr-69.vdm]4 msPassed
Install IDE / test[casesexpr-70.vdm]6 msPassed
Install IDE / test[casesexpr-71.vdm]5 msPassed
Install IDE / test[casesexpr-72.vdm]5 msPassed
Install IDE / test[casesexpr-73.vdm]9 msPassed
Install IDE / test[casesexpr-74.vdm]7 msPassed
Install IDE / test[casesexpr-75.vdm]9 msPassed
Install IDE / test[casesexpr-76.vdm]10 msPassed
Install IDE / test[casesexpr-77.vdm]5 msPassed
Install IDE / test[casesexpr-78.vdm]14 msPassed
Install IDE / test[casesexpr-79.vdm]5 msPassed
Install IDE / test[casesexpr-80.vdm]7 msPassed
Install IDE / test[casesexpr-81.vdm]5 msPassed
Install IDE / test[casesexpr-82.vdm]4 msPassed
Install IDE / test[casesexpr-83.vdm]9 msPassed
Install IDE / test[casesexpr-84.vdm]6 msPassed
Install IDE / test[casesexpr-85.vdm]8 msPassed
Install IDE / test[casesexpr-86.vdm]0.11 secPassed
Install IDE / test[casesexpr-87.vdm]12 msPassed
Install IDE / test[casesexpr-88.vdm]16 msPassed
Install IDE / test[casesexpr-89.vdm]5 msPassed
Install IDE / test[casesexpr-90.vdm]5 msPassed
Install IDE / test[casesexpr-91.vdm]6 msPassed
Install IDE / test[casesexpr-92.vdm]4 msPassed
Install IDE / test[casesexpr-93.vdm]45 msPassed
Install IDE / test[casesexpr-94.vdm]6 msPassed
Install IDE / test[casesexpr-95.vdm]9 msPassed
Install IDE / test[casesexpr-96.vdm]10 msPassed
Install IDE / test[casesexpr-97.vdm]5 msPassed
Install IDE / test[casesexpr-98.vdm]8 msPassed
Install IDE / test[casesexpr-99.vdm]11 msPassed
Install IDE / test[casesstmt-01.vdm]3 msPassed
Install IDE / test[casesstmt-02.vdm]2 msPassed
Install IDE / test[casesstmt-03.vdm]2 msPassed
Install IDE / test[casesstmt-04.vdm]2 msPassed
Install IDE / test[casesstmt-05.vdm]2 msPassed
Install IDE / test[casesstmt-06.vdm]3 msPassed
Install IDE / test[casesstmt-07.vdm]4 msPassed
Install IDE / test[casesstmt-08.vdm]3 msPassed
Install IDE / test[casesstmt-09.vdm]2 msPassed
Install IDE / test[casesstmt-10.vdm]4 msPassed
Install IDE / test[casesstmt-11.vdm]2 msPassed
Install IDE / test[casesstmt-12.vdm]3 msPassed
Install IDE / test[casesstmt-13.vdm]6 msPassed
Install IDE / test[casesstmt-14.vdm]4 msPassed
Install IDE / test[casesstmt-15.vdm]2 msPassed
Install IDE / test[casesstmt-16.vdm]3 msPassed
Install IDE / test[casesstmt-17.vdm]6 msPassed
Install IDE / test[casesstmt-18.vdm]5 msPassed
Install IDE / test[compose-01.vdm]4 msPassed
Install IDE / test[compose-02.vdm]5 msPassed
Install IDE / test[compose-03.vdm]5 msPassed
Install IDE / test[compose-04.vdm]5 msPassed
Install IDE / test[compose-05.vdm]4 msPassed
Install IDE / test[compose-06.vdm]8 msPassed
Install IDE / test[compose-07.vdm]12 msPassed
Install IDE / test[compose-08.vdm]7 msPassed
Install IDE / test[compose-09.vdm]3 msPassed
Install IDE / test[compose-10.vdm]8 msPassed
Install IDE / test[compose-11.vdm]3 msPassed
Install IDE / test[db-linecond41.vdm]0.19 secPassed
Install IDE / test[defexpr-01.vdm]5 msPassed
Install IDE / test[defexpr-02.vdm]3 msPassed
Install IDE / test[defexpr-03.vdm]3 msPassed
Install IDE / test[defexpr-04.vdm]6 msPassed
Install IDE / test[defexpr-05.vdm]4 msPassed
Install IDE / test[defstmt.vdm]4 msPassed
Install IDE / test[eq-01.vdm]2 msPassed
Install IDE / test[eq-02.vdm]4 msPassed
Install IDE / test[eq-03.vdm]3 msPassed
Install IDE / test[eq-04.vdm]4 msPassed
Install IDE / test[equiv-01.vdm]2 msPassed
Install IDE / test[equiv-02.vdm]2 msPassed
Install IDE / test[equiv-03.vdm]2 msPassed
Install IDE / test[equiv-04.vdm]3 msPassed
Install IDE / test[equiv-05.vdm]3 msPassed
Install IDE / test[equiv-06.vdm]3 msPassed
Install IDE / test[exitstmt.vdm]3 msPassed
Install IDE / test[extexplfndef.vdm]37 msPassed
Install IDE / test[extexplopdef.vdm]16 msPassed
Install IDE / test[extexplopdef2.vdm]5 msPassed
Install IDE / test[fcttypeinstexpr-01.vdm]4 msPassed
Install IDE / test[fcttypeinstexpr-02.vdm]4 msPassed
Install IDE / test[fcttypeinstexpr-03.vdm]5 msPassed
Install IDE / test[fieldselectexpr-01.vdm]4 msPassed
Install IDE / test[fieldselectexpr-02.vdm]3 msPassed
Install IDE / test[fieldselectexpr-03.vdm]4 msPassed
Install IDE / test[fieldselectexpr-04.vdm]4 msPassed
Install IDE / test[fieldselectexpr-05.vdm]2 msPassed
Install IDE / test[fieldselectexpr-06.vdm]4 msPassed
Install IDE / test[fieldselectexpr-07.vdm]6 msPassed
Install IDE / test[fieldselectexpr-08.vdm]6 msPassed
Install IDE / test[floor-01.vdm]2 msPassed
Install IDE / test[floor-02.vdm]2 msPassed
Install IDE / test[floor-03.vdm]2 msPassed
Install IDE / test[floor-04.vdm]3 msPassed
Install IDE / test[floor-05.vdm]2 msPassed
Install IDE / test[fundefsl.vdm]17 msPassed
Install IDE / test[fundefsl.vdm]2 msPassed
Install IDE / test[identstmt.vdm]1 msPassed
Install IDE / test[if-01.vdm]2 msPassed
Install IDE / test[if-02.vdm]3 msPassed
Install IDE / test[if-03.vdm]2 msPassed
Install IDE / test[if-04.vdm]10 msPassed
Install IDE / test[if-10.vdm]4 msPassed
Install IDE / test[if-11.vdm]3 msPassed
Install IDE / test[if-12.vdm]2 msPassed
Install IDE / test[if-13.vdm]2 msPassed
Install IDE / test[if-14.vdm]6 msPassed
Install IDE / test[if-15.vdm]2 msPassed
Install IDE / test[if-16.vdm]3 msPassed
Install IDE / test[if-17.vdm]2 msPassed
Install IDE / test[if-18.vdm]2 msPassed
Install IDE / test[if-19.vdm]2 msPassed
Install IDE / test[if-20.vdm]1 msPassed
Install IDE / test[ifexpr-01.vdm]2 msPassed
Install IDE / test[ifexpr-02.vdm]2 msPassed
Install IDE / test[ifexpr-03.vdm]2 msPassed
Install IDE / test[ifexpr-04.vdm]3 msPassed
Install IDE / test[ifexpr-05.vdm]2 msPassed
Install IDE / test[ifexpr-06.vdm]3 msPassed
Install IDE / test[ifexpr-07.vdm]3 msPassed
Install IDE / test[ifexpr-10.vdm]4 msPassed
Install IDE / test[ifexpr-11.vdm]3 msPassed
Install IDE / test[ifexpr-12.vdm]3 msPassed
Install IDE / test[ifexpr-13.vdm]5 msPassed
Install IDE / test[ifexpr-14.vdm]3 msPassed
Install IDE / test[ifexpr-15.vdm]5 msPassed
Install IDE / test[ifexpr-16.vdm]4 msPassed
Install IDE / test[ifexpr-17.vdm]4 msPassed
Install IDE / test[ifexpr-18.vdm]5 msPassed
Install IDE / test[ifexpr-19.vdm]3 msPassed
Install IDE / test[ifexpr-20.vdm]3 msPassed
Install IDE / test[ifexpr-21.vdm]5 msPassed
Install IDE / test[ifexpr-22.vdm]3 msPassed
Install IDE / test[ifexpr-23.vdm]6 msPassed
Install IDE / test[ifexpr-24.vdm]3 msPassed
Install IDE / test[ifexpr-25.vdm]4 msPassed
Install IDE / test[ifexpr-26.vdm]4 msPassed
Install IDE / test[ifexpr-27.vdm]3 msPassed
Install IDE / test[ifexpr-28.vdm]4 msPassed
Install IDE / test[ifexpr-29.vdm]3 msPassed
Install IDE / test[ifexpr-30.vdm]3 msPassed
Install IDE / test[ifexpr-31.vdm]3 msPassed
Install IDE / test[ifexpr-32.vdm]7 msPassed
Install IDE / test[ifexpr-33.vdm]7 msPassed
Install IDE / test[ifexpr-34.vdm]3 msPassed
Install IDE / test[ifexpr-35.vdm]4 msPassed
Install IDE / test[ifexpr-36.vdm]5 msPassed
Install IDE / test[ifexpr-37.vdm]3 msPassed
Install IDE / test[ifexpr-38.vdm]7 msPassed
Install IDE / test[ifexpr-39.vdm]3 msPassed
Install IDE / test[ifexpr-40.vdm]3 msPassed
Install IDE / test[ifexpr-41.vdm]4 msPassed
Install IDE / test[ifexpr-42.vdm]3 msPassed
Install IDE / test[ifexpr-43.vdm]4 msPassed
Install IDE / test[ifexpr-44.vdm]4 msPassed
Install IDE / test[ifexpr-45.vdm]5 msPassed
Install IDE / test[ifexpr-46.vdm]10 msPassed
Install IDE / test[ifexpr-47.vdm]3 msPassed
Install IDE / test[ifexpr-48.vdm]5 msPassed
Install IDE / test[ifexpr-49.vdm]5 msPassed
Install IDE / test[ifexpr-50.vdm]4 msPassed
Install IDE / test[ifexpr-51.vdm]4 msPassed
Install IDE / test[ifexpr-52.vdm]3 msPassed
Install IDE / test[ifexpr-53.vdm]4 msPassed
Install IDE / test[ifexpr-54.vdm]4 msPassed
Install IDE / test[ifexpr-55.vdm]5 msPassed
Install IDE / test[ifexpr-56.vdm]5 msPassed
Install IDE / test[ifexpr-57.vdm]3 msPassed
Install IDE / test[ifexpr-58.vdm]4 msPassed
Install IDE / test[ifexpr-59.vdm]3 msPassed
Install IDE / test[ifexpr-60.vdm]3 msPassed
Install IDE / test[ifexpr-61.vdm]3 msPassed
Install IDE / test[ifexpr-62.vdm]3 msPassed
Install IDE / test[ifexpr-63.vdm]5 msPassed
Install IDE / test[ifexpr-64.vdm]7 msPassed
Install IDE / test[ifexpr-65.vdm]4 msPassed
Install IDE / test[ifexpr-66.vdm]5 msPassed
Install IDE / test[ifexpr-67.vdm]6 msPassed
Install IDE / test[ifexpr-68.vdm]4 msPassed
Install IDE / test[ifexpr-69.vdm]3 msPassed
Install IDE / test[ifexpr-70.vdm]3 msPassed
Install IDE / test[ifexpr-71.vdm]3 msPassed
Install IDE / test[ifexpr-72.vdm]3 msPassed
Install IDE / test[ifexpr-73.vdm]5 msPassed
Install IDE / test[ifexpr-74.vdm]3 msPassed
Install IDE / test[ifexpr-75.vdm]4 msPassed
Install IDE / test[ifexpr-76.vdm]5 msPassed
Install IDE / test[ifexpr-77.vdm]3 msPassed
Install IDE / test[ifexpr-78.vdm]4 msPassed
Install IDE / test[ifexpr-79.vdm]3 msPassed
Install IDE / test[ifexpr-80.vdm]4 msPassed
Install IDE / test[ifexpr-81.vdm]3 msPassed
Install IDE / test[ifexpr-82.vdm]3 msPassed
Install IDE / test[ifexpr-83.vdm]14 msPassed
Install IDE / test[ifexpr-84.vdm]4 msPassed
Install IDE / test[ifexpr-85.vdm]4 msPassed
Install IDE / test[ifexpr-86.vdm]4 msPassed
Install IDE / test[ifexpr-87.vdm]4 msPassed
Install IDE / test[ifexpr-88.vdm]4 msPassed
Install IDE / test[ifexpr-89.vdm]3 msPassed
Install IDE / test[ifexpr-90.vdm]3 msPassed
Install IDE / test[ifexpr-91.vdm]3 msPassed
Install IDE / test[ifexpr-92.vdm]2 msPassed
Install IDE / test[ifexpr-93.vdm]11 msPassed
Install IDE / test[ifexpr-94.vdm]4 msPassed
Install IDE / test[ifexpr-95.vdm]4 msPassed
Install IDE / test[ifexpr-96.vdm]5 msPassed
Install IDE / test[ifexpr-97.vdm]3 msPassed
Install IDE / test[ifexpr-98.vdm]6 msPassed
Install IDE / test[ifexpr-99.vdm]3 msPassed
Install IDE / test[imply-01.vdm]68 msPassed
Install IDE / test[imply-02.vdm]3 msPassed
Install IDE / test[imply-03.vdm]2 msPassed
Install IDE / test[imply-04.vdm]2 msPassed
Install IDE / test[imply-05.vdm]4 msPassed
Install IDE / test[imply-06.vdm]7 msPassed
Install IDE / test[indexforloopstmt.vdm]3 msPassed
Install IDE / test[inset-01.vdm]7 msPassed
Install IDE / test[inset-02.vdm]5 msPassed
Install IDE / test[inset-03.vdm]4 msPassed
Install IDE / test[inset-04.vdm]4 msPassed
Install IDE / test[inset-05.vdm]4 msPassed
Install IDE / test[inset-06.vdm]6 msPassed
Install IDE / test[inset-07.vdm]5 msPassed
Install IDE / test[intdiv-01.vdm]3 msPassed
Install IDE / test[intdiv-02.vdm]2 msPassed
Install IDE / test[intdiv-03.vdm]2 msPassed
Install IDE / test[intdiv-04.vdm]2 msPassed
Install IDE / test[intdiv-05.vdm]2 msPassed
Install IDE / test[intdiv-06.vdm]4 msPassed
Install IDE / test[intdiv-07.vdm]6 msPassed
Install IDE / test[intdiv-08.vdm]3 msPassed
Install IDE / test[iotaexpr-01.vdm]0 msPassed
Install IDE / test[iotaexpr-02.vdm]2 msPassed
Install IDE / test[iotaexpr-03.vdm]3 msPassed
Install IDE / test[iotaexpr-04.vdm]3 msPassed
Install IDE / test[iotaexpr-05.vdm]3 msPassed
Install IDE / test[iotaexpr-06.vdm]4 msPassed
Install IDE / test[iotaexpr-07.vdm]3 msPassed
Install IDE / test[isexpr-01.vdm]2 msPassed
Install IDE / test[isexpr-02.vdm]3 msPassed
Install IDE / test[isexpr-03.vdm]4 msPassed
Install IDE / test[isexpr-04.vdm]4 msPassed
Install IDE / test[isexpr-05.vdm]4 msPassed
Install IDE / test[isexpr-06.vdm]3 msPassed
Install IDE / test[isexpr-07.vdm]3 msPassed
Install IDE / test[isexpr-09.vdm]3 msPassed
Install IDE / test[isexpr-10.vdm]4 msPassed
Install IDE / test[isexpr-11.vdm]4 msPassed
Install IDE / test[isexpr-12.vdm]3 msPassed
Install IDE / test[isexpr-13.vdm]4 msPassed
Install IDE / test[isnotyetspec.vdm]10 msPassed
Install IDE / test[lambdaexpr-01.vdm]4 msPassed
Install IDE / test[lambdaexpr-02.vdm]5 msPassed
Install IDE / test[lambdaexpr-03.vdm]4 msPassed
Install IDE / test[lambdaexpr-04.vdm]5 msPassed
Install IDE / test[lambdaexpr-05.vdm]6 msPassed
Install IDE / test[letbestexpr-01.vdm]2 msPassed
Install IDE / test[letbestexpr-02.vdm]3 msPassed
Install IDE / test[letbestexpr-03.vdm]3 msPassed
Install IDE / test[letbestexpr-04.vdm]3 msPassed
Install IDE / test[letbestexpr-05.vdm]3 msPassed
Install IDE / test[letbestexpr-06.vdm]4 msPassed
Install IDE / test[letbestexpr-07.vdm]3 msPassed
Install IDE / test[letbestexpr-08.vdm]3 msPassed
Install IDE / test[letbestexpr-09.vdm]3 msPassed
Install IDE / test[letbestexpr-10.vdm]1 msPassed
Install IDE / test[letbestexpr-11.vdm]3 msPassed
Install IDE / test[letbestexpr-12.vdm]2 msPassed
Install IDE / test[letbestexpr-13.vdm]3 msPassed
Install IDE / test[letbestmt.vdm]4 msPassed
Install IDE / test[letexpr-01.vdm]3 msPassed
Install IDE / test[letexpr-02.vdm]3 msPassed
Install IDE / test[letexpr-03.vdm]6 msPassed
Install IDE / test[letexpr-04.vdm]3 msPassed
Install IDE / test[letexpr-05.vdm]4 msPassed
Install IDE / test[letexpr-06.vdm]3 msPassed
Install IDE / test[letexpr-07.vdm]2 msPassed
Install IDE / test[letexpr-08.vdm]3 msPassed
Install IDE / test[letexpr-09.vdm]4 msPassed
Install IDE / test[letexpr-10.vdm]3 msPassed
Install IDE / test[letexpr-11.vdm]4 msPassed
Install IDE / test[letexpr-12.vdm]6 msPassed
Install IDE / test[letexpr-13.vdm]4 msPassed
Install IDE / test[letexpr-14.vdm]3 msPassed
Install IDE / test[letexpr-15.vdm]4 msPassed
Install IDE / test[letexpr-16.vdm]4 msPassed
Install IDE / test[letexpr-17.vdm]3 msPassed
Install IDE / test[letexpr-18.vdm]4 msPassed
Install IDE / test[letexpr-19.vdm]4 msPassed
Install IDE / test[letexpr-20.vdm]4 msPassed
Install IDE / test[letexpr-21.vdm]6 msPassed
Install IDE / test[letexpr-22.vdm]5 msPassed
Install IDE / test[letexpr-23.vdm]5 msFailed
Install IDE / test[letexpr-24.vdm]5 msPassed
Install IDE / test[letstmt.vdm]8 msPassed
Install IDE / test[literal-01.vdm]16 msPassed
Install IDE / test[literal-02.vdm]3 msPassed
Install IDE / test[mapcomprehensionexpr-01.vdm]2 msPassed
Install IDE / test[mapcomprehensionexpr-02.vdm]3 msPassed
Install IDE / test[mapcomprehensionexpr-03.vdm]2 msPassed
Install IDE / test[mapcomprehensionexpr-04.vdm]3 msPassed
Install IDE / test[mapcomprehensionexpr-05.vdm]2 msPassed
Install IDE / test[mapcomprehensionexpr-06.vdm]3 msPassed
Install IDE / test[mapcomprehensionexpr-07.vdm]4 msPassed
Install IDE / test[mapcomprehensionexpr-08.vdm]3 msPassed
Install IDE / test[mapdistrmerge-01.vdm]3 msPassed
Install IDE / test[mapdistrmerge-02.vdm]1 msPassed
Install IDE / test[mapdistrmerge-03.vdm]2 msPassed
Install IDE / test[mapdistrmerge-04.vdm]3 msPassed
Install IDE / test[mapdistrmerge-05.vdm]2 msPassed
Install IDE / test[mapdistrmerge-06.vdm]3 msPassed
Install IDE / test[mapdom-01.vdm]3 msPassed
Install IDE / test[mapdom-02.vdm]3 msPassed
Install IDE / test[mapdom-03.vdm]3 msPassed
Install IDE / test[mapdom-04.vdm]4 msPassed
Install IDE / test[mapdom-05.vdm]5 msPassed
Install IDE / test[mapdom-06.vdm]0.11 secPassed
Install IDE / test[mapdom-07.vdm]3 msPassed
Install IDE / test[mapdom-08.vdm]4 msPassed
Install IDE / test[mapdomrestby-01.vdm]5 msPassed
Install IDE / test[mapdomrestby-02.vdm]5 msPassed
Install IDE / test[mapdomrestby-03.vdm]4 msPassed
Install IDE / test[mapdomrestby-04.vdm]3 msPassed
Install IDE / test[mapdomrestby-05.vdm]14 msPassed
Install IDE / test[mapdomrestby-06.vdm]8 msPassed
Install IDE / test[mapdomrestby-07.vdm]8 msPassed
Install IDE / test[mapdomrestby-08.vdm]3 msPassed
Install IDE / test[mapdomrestby-09.vdm]21 msPassed
Install IDE / test[mapdomrestto-01.vdm]17 msPassed
Install IDE / test[mapdomrestto-02.vdm]29 msPassed
Install IDE / test[mapdomrestto-03.vdm]3 msPassed
Install IDE / test[mapdomrestto-04.vdm]2 msPassed
Install IDE / test[mapdomrestto-05.vdm]5 msPassed
Install IDE / test[mapdomrestto-06.vdm]3 msPassed
Install IDE / test[mapdomrestto-07.vdm]2 msPassed
Install IDE / test[mapenumerationexpr-01.vdm]2 msPassed
Install IDE / test[mapenumerationexpr-02.vdm]2 msPassed
Install IDE / test[mapenumerationexpr-03.vdm]3 msPassed
Install IDE / test[mapenumerationexpr-04.vdm]4 msPassed
Install IDE / test[mapenumerationexpr-05.vdm]4 msPassed
Install IDE / test[mapinverseexpr-01.vdm]3 msPassed
Install IDE / test[mapinverseexpr-02.vdm]2 msPassed
Install IDE / test[mapinverseexpr-03.vdm]3 msPassed
Install IDE / test[mapinverseexpr-04.vdm]4 msPassed
Install IDE / test[mapmerge-01.vdm]2 msPassed
Install IDE / test[mapmerge-02.vdm]3 msPassed
Install IDE / test[mapmerge-03.vdm]3 msPassed
Install IDE / test[mapmerge-04.vdm]2 msPassed
Install IDE / test[mapmerge-05.vdm]3 msPassed
Install IDE / test[mapmerge-06.vdm]2 msPassed
Install IDE / test[maprng-01.vdm]2 msPassed
Install IDE / test[maprng-02.vdm]2 msPassed
Install IDE / test[maprng-03.vdm]2 msPassed
Install IDE / test[maprng-04.vdm]3 msPassed
Install IDE / test[maprng-05.vdm]3 msPassed
Install IDE / test[maprng-06.vdm]3 msPassed
Install IDE / test[maprngrestby-01.vdm]3 msPassed
Install IDE / test[maprngrestby-02.vdm]0.35 secPassed
Install IDE / test[maprngrestby-03.vdm]3 msPassed
Install IDE / test[maprngrestby-04.vdm]2 msPassed
Install IDE / test[maprngrestby-05.vdm]2 msPassed
Install IDE / test[maprngrestby-06.vdm]4 msPassed
Install IDE / test[maprngrestby-07.vdm]3 msPassed
Install IDE / test[maprngrestby-08.vdm]4 msPassed
Install IDE / test[maprngrestby-09.vdm]2 msPassed
Install IDE / test[maprngrestto-01.vdm]3 msPassed
Install IDE / test[maprngrestto-02.vdm]2 msPassed
Install IDE / test[maprngrestto-03.vdm]5 msPassed
Install IDE / test[maprngrestto-04.vdm]3 msPassed
Install IDE / test[maprngrestto-05.vdm]3 msPassed
Install IDE / test[maprngrestto-06.vdm]3 msPassed
Install IDE / test[maprngrestto-07.vdm]2 msPassed
Install IDE / test[maprngrestto-08.vdm]5 msPassed
Install IDE / test[memory.vdm]18 msPassed
Install IDE / test[misc.vdm]3 msPassed
Install IDE / test[modules02.vdm]25 msPassed
Install IDE / test[modules05.vdm]4 msPassed
Install IDE / test[modules06.vdm]18 msPassed
Install IDE / test[modules08.vdm]30 msPassed
Install IDE / test[modules11.vdm]8 msPassed
Install IDE / test[modules12.vdm]5 msPassed
Install IDE / test[modules13.vdm]3 msPassed
Install IDE / test[modules14.vdm]3 msPassed
Install IDE / test[modules15.vdm]8 msPassed
Install IDE / test[modules16.vdm]4 msPassed
Install IDE / test[modules17.vdm]36 msPassed
Install IDE / test[modules18.vdm]4 msPassed
Install IDE / test[modules20.vdm]2 msPassed
Install IDE / test[modules21.vdm]23 msPassed
Install IDE / test[ne-01.vdm]3 msPassed
Install IDE / test[ne-02.vdm]3 msPassed
Install IDE / test[ne-03.vdm]3 msPassed
Install IDE / test[ne-04.vdm]2 msPassed
Install IDE / test[ne-05.vdm]2 msPassed
Install IDE / test[ne-06.vdm]3 msPassed
Install IDE / test[ne-07.vdm]2 msPassed
Install IDE / test[ne-08.vdm]2 msPassed
Install IDE / test[not-01.vdm]2 msPassed
Install IDE / test[not-02.vdm]3 msPassed
Install IDE / test[not-03.vdm]2 msPassed
Install IDE / test[notinset-01.vdm]2 msPassed
Install IDE / test[notinset-02.vdm]2 msPassed
Install IDE / test[notinset-03.vdm]3 msPassed
Install IDE / test[notinset-04.vdm]5 msPassed
Install IDE / test[notinset-05.vdm]0 msPassed
Install IDE / test[notinset-06.vdm]3 msPassed
Install IDE / test[notinset-07.vdm]3 msPassed
Install IDE / test[numabs-01.vdm]2 msPassed
Install IDE / test[numabs-02.vdm]2 msPassed
Install IDE / test[numabs-03.vdm]2 msPassed
Install IDE / test[numabs-04.vdm]2 msPassed
Install IDE / test[numabs-05.vdm]3 msPassed
Install IDE / test[numdiv-01.vdm]4 msPassed
Install IDE / test[numdiv-02.vdm]4 msPassed
Install IDE / test[numdiv-03.vdm]4 msPassed
Install IDE / test[numdiv-04.vdm]3 msPassed
Install IDE / test[numdiv-05.vdm]2 msPassed
Install IDE / test[numdiv-06.vdm]3 msPassed
Install IDE / test[numdiv-07.vdm]5 msPassed
Install IDE / test[numdiv-08.vdm]3 msPassed
Install IDE / test[numexp-01.vdm]14 msPassed
Install IDE / test[numexp-02.vdm]3 msPassed
Install IDE / test[numexp-03.vdm]0 msPassed
Install IDE / test[numexp-04.vdm]13 msPassed
Install IDE / test[numexp-05.vdm]4 msPassed
Install IDE / test[numexp-06.vdm]6 msPassed
Install IDE / test[numexp-07.vdm]3 msPassed
Install IDE / test[numexp-08.vdm]15 msPassed
Install IDE / test[numexp-09.vdm]0 msPassed
Install IDE / test[numexp-10.vdm]4 msPassed
Install IDE / test[numexp-11.vdm]0 msPassed
Install IDE / test[numexp-12.vdm]3 msPassed
Install IDE / test[numexp-13.vdm]7 msPassed
Install IDE / test[numge-01.vdm]3 msPassed
Install IDE / test[numge-02.vdm]3 msPassed
Install IDE / test[numge-03.vdm]2 msPassed
Install IDE / test[numge-04.vdm]2 msPassed
Install IDE / test[numge-05.vdm]28 msPassed
Install IDE / test[numge-06.vdm]3 msPassed
Install IDE / test[numge-07.vdm]3 msPassed
Install IDE / test[numge-08.vdm]4 msPassed
Install IDE / test[numgt-01.vdm]2 msPassed
Install IDE / test[numgt-02.vdm]2 msPassed
Install IDE / test[numgt-03.vdm]3 msPassed
Install IDE / test[numgt-04.vdm]2 msPassed
Install IDE / test[numgt-05.vdm]3 msPassed
Install IDE / test[numgt-06.vdm]3 msPassed
Install IDE / test[numgt-07.vdm]3 msPassed
Install IDE / test[numgt-08.vdm]2 msPassed
Install IDE / test[numle-01.vdm]3 msPassed
Install IDE / test[numle-02.vdm]2 msPassed
Install IDE / test[numle-03.vdm]76 msPassed
Install IDE / test[numle-04.vdm]2 msPassed
Install IDE / test[numle-05.vdm]3 msPassed
Install IDE / test[numle-06.vdm]4 msPassed
Install IDE / test[numle-07.vdm]0.13 secPassed
Install IDE / test[numle-08.vdm]14 msPassed
Install IDE / test[numlt-01.vdm]1 msPassed
Install IDE / test[numlt-02.vdm]4 msPassed
Install IDE / test[numlt-03.vdm]3 msPassed
Install IDE / test[numlt-04.vdm]4 msPassed
Install IDE / test[numlt-05.vdm]3 msPassed
Install IDE / test[numlt-06.vdm]4 msPassed
Install IDE / test[numlt-07.vdm]4 msPassed
Install IDE / test[numlt-08.vdm]4 msPassed
Install IDE / test[numminus-01.vdm]2 msPassed
Install IDE / test[numminus-01.vdm]3 msPassed
Install IDE / test[numminus-02.vdm]2 msPassed
Install IDE / test[numminus-02.vdm]3 msPassed
Install IDE / test[numminus-03.vdm]2 msPassed
Install IDE / test[numminus-03.vdm]3 msPassed
Install IDE / test[numminus-04.vdm]4 msPassed
Install IDE / test[numminus-04.vdm]2 msPassed
Install IDE / test[numminus-05.vdm]3 msPassed
Install IDE / test[numminus-05.vdm]3 msPassed
Install IDE / test[numminus-06.vdm]2 msPassed
Install IDE / test[numminus-06.vdm]3 msPassed
Install IDE / test[numminus-07.vdm]4 msPassed
Install IDE / test[numminus-08.vdm]4 msPassed
Install IDE / test[nummod-01.vdm]2 msPassed
Install IDE / test[nummod-02.vdm]2 msPassed
Install IDE / test[nummod-03.vdm]2 msPassed
Install IDE / test[nummod-04.vdm]2 msPassed
Install IDE / test[nummod-05.vdm]2 msPassed
Install IDE / test[nummod-06.vdm]3 msPassed
Install IDE / test[nummod-07.vdm]3 msPassed
Install IDE / test[nummod-08.vdm]2 msPassed
Install IDE / test[nummult-01.vdm]3 msPassed
Install IDE / test[nummult-02.vdm]3 msPassed
Install IDE / test[nummult-03.vdm]2 msPassed
Install IDE / test[nummult-04.vdm]2 msPassed
Install IDE / test[nummult-05.vdm]2 msPassed
Install IDE / test[nummult-06.vdm]3 msPassed
Install IDE / test[nummult-07.vdm]3 msPassed
Install IDE / test[nummult-08.vdm]2 msPassed
Install IDE / test[numplus-01.vdm]0 msPassed
Install IDE / test[numplus-01.vdm]4 msPassed
Install IDE / test[numplus-02.vdm]2 msPassed
Install IDE / test[numplus-02.vdm]8 msPassed
Install IDE / test[numplus-03.vdm]2 msPassed
Install IDE / test[numplus-03.vdm]3 msPassed
Install IDE / test[numplus-04.vdm]2 msPassed
Install IDE / test[numplus-04.vdm]3 msPassed
Install IDE / test[numplus-05.vdm]2 msPassed
Install IDE / test[numplus-05.vdm]3 msPassed
Install IDE / test[numplus-06.vdm]3 msPassed
Install IDE / test[numplus-07.vdm]6 msPassed
Install IDE / test[numplus-08.vdm]5 msPassed
Install IDE / test[numplus-09.vdm]3 msPassed
Install IDE / test[numrem-01.vdm]3 msPassed
Install IDE / test[numrem-02.vdm]4 msPassed
Install IDE / test[numrem-03.vdm]4 msPassed
Install IDE / test[numrem-04.vdm]7 msPassed
Install IDE / test[numrem-05.vdm]4 msPassed
Install IDE / test[numrem-06.vdm]3 msPassed
Install IDE / test[numrem-07.vdm]3 msPassed
Install IDE / test[numrem-08.vdm]3 msPassed
Install IDE / test[oldname-01.vdm]2 msPassed
Install IDE / test[oldname-02.vdm]3 msPassed
Install IDE / test[opdef.vdm]25 msPassed
Install IDE / test[opdef2.vdm]6 msPassed
Install IDE / test[or-01.vdm]2 msPassed
Install IDE / test[or-02.vdm]2 msPassed
Install IDE / test[or-03.vdm]2 msPassed
Install IDE / test[or-04.vdm]7 msPassed
Install IDE / test[or-05.vdm]3 msPassed
Install IDE / test[or-06.vdm]0 msPassed
Install IDE / test[polymorph.vdm]11 msPassed
Install IDE / test[propersubset-01.vdm]3 msPassed
Install IDE / test[propersubset-02.vdm]3 msPassed
Install IDE / test[propersubset-03.vdm]5 msPassed
Install IDE / test[propersubset-04.vdm]3 msPassed
Install IDE / test[propersubset-05.vdm]5 msPassed
Install IDE / test[propersubset-06.vdm]3 msPassed
Install IDE / test[propersubset-07.vdm]5 msPassed
Install IDE / test[propersubset-08.vdm]7 msPassed
Install IDE / test[quantexpr-01.vdm]2 msPassed
Install IDE / test[quantexpr-02.vdm]2 msPassed
Install IDE / test[quantexpr-03.vdm]3 msPassed
Install IDE / test[quantexpr-04.vdm]2 msPassed
Install IDE / test[quantexpr-05.vdm]3 msPassed
Install IDE / test[quantexpr-06.vdm]3 msPassed
Install IDE / test[quantexpr-07.vdm]3 msPassed
Install IDE / test[quantexpr-08.vdm]2 msPassed
Install IDE / test[quantexpr-09.vdm]3 msPassed
Install IDE / test[quantexpr-10.vdm]2 msPassed
Install IDE / test[quantexpr-11.vdm]3 msPassed
Install IDE / test[quantexpr-12.vdm]3 msPassed
Install IDE / test[quantexpr-13.vdm]2 msPassed
Install IDE / test[recfun-03.vdm]2 msPassed
Install IDE / test[recfun-05.vdm]4 msPassed
Install IDE / test[recfun-06.vdm]2 msPassed
Install IDE / test[recfun-13.vdm]4 msPassed
Install IDE / test[recfun-18.vdm]2 msPassed
Install IDE / test[recfun-23.vdm]2 msPassed
Install IDE / test[recfun-31.vdm]6 msPassed
Install IDE / test[recfun-32.vdm]3 msPassed
Install IDE / test[recordconstructorexpr-01.vdm]13 msPassed
Install IDE / test[recordconstructorexpr-02.vdm]0 msPassed
Install IDE / test[recordconstructorexpr-03.vdm]3 msPassed
Install IDE / test[recordconstructorexpr-04.vdm]0 msPassed
Install IDE / test[recordconstructorexpr-05.vdm]0 msPassed
Install IDE / test[recordconstructorexpr-06.vdm]3 msPassed
Install IDE / test[recordmodifierexpr-01.vdm]3 msPassed
Install IDE / test[recordmodifierexpr-02.vdm]4 msPassed
Install IDE / test[recordmodifierexpr-03.vdm]3 msPassed
Install IDE / test[recordmodifierexpr-04.vdm]6 msPassed
Install IDE / test[recordmodifierexpr-05.vdm]3 msPassed
Install IDE / test[recordmodifierexpr-06.vdm]8 msPassed
Install IDE / test[recordmodifierexpr-07.vdm]5 msPassed
Install IDE / test[recordmodifierexpr-08.vdm]4 msPassed
Install IDE / test[recordmodifierexpr-09.vdm]4 msPassed
Install IDE / test[recordmodifierexpr-10.vdm]5 msPassed
Install IDE / test[recordmodifierexpr-11.vdm]7 msPassed
Install IDE / test[recordmodifierexpr-12.vdm]4 msPassed
Install IDE / test[recordmodifierexpr-13.vdm]13 msPassed
Install IDE / test[rectrapstmt.vdm]8 msPassed
Install IDE / test[recursive-001.vdm]3 msPassed
Install IDE / test[recursive-002.vdm]4 msPassed
Install IDE / test[recursive-003.vdm]3 msPassed
Install IDE / test[recursive-004.vdm]3 msPassed
Install IDE / test[recursive-005.vdm]3 msPassed
Install IDE / test[recursive-006.vdm]4 msPassed
Install IDE / test[recursive-007.vdm]3 msPassed
Install IDE / test[recursive-008.vdm]3 msPassed
Install IDE / test[recursive-009.vdm]4 msPassed
Install IDE / test[recursive-010.vdm]4 msPassed
Install IDE / test[recursive-011.vdm]4 msPassed
Install IDE / test[recursive-012.vdm]14 msPassed
Install IDE / test[recursive-013.vdm]3 msPassed
Install IDE / test[recursive-014.vdm]3 msPassed
Install IDE / test[recursive-015.vdm]3 msPassed
Install IDE / test[recursive-016.vdm]4 msPassed
Install IDE / test[recursive-017.vdm]4 msPassed
Install IDE / test[recursive-018.vdm]4 msPassed
Install IDE / test[recursive-019.vdm]4 msPassed
Install IDE / test[recursive-020.vdm]5 msPassed
Install IDE / test[recursive-021.vdm]3 msPassed
Install IDE / test[recursive-022.vdm]6 msPassed
Install IDE / test[recursive-023.vdm]3 msPassed
Install IDE / test[recursive-024.vdm]3 msPassed
Install IDE / test[recursive-025.vdm]3 msPassed
Install IDE / test[recursive-026.vdm]3 msPassed
Install IDE / test[recursive-027.vdm]3 msPassed
Install IDE / test[recursive-028.vdm]3 msPassed
Install IDE / test[recursive-029.vdm]4 msPassed
Install IDE / test[recursive-030.vdm]4 msPassed
Install IDE / test[recursive-031.vdm]3 msPassed
Install IDE / test[recursive-032.vdm]4 msPassed
Install IDE / test[recursive-033.vdm]7 msPassed
Install IDE / test[recursive-034.vdm]3 msPassed
Install IDE / test[recursive-035.vdm]4 msPassed
Install IDE / test[recursive-036.vdm]3 msPassed
Install IDE / test[recursive-037.vdm]3 msPassed
Install IDE / test[recursive-038.vdm]3 msPassed
Install IDE / test[recursive-039.vdm]3 msPassed
Install IDE / test[recursive-040.vdm]3 msPassed
Install IDE / test[recursive-041.vdm]3 msPassed
Install IDE / test[recursive-042.vdm]3 msPassed
Install IDE / test[recursive-043.vdm]3 msPassed
Install IDE / test[recursive-044.vdm]4 msPassed
Install IDE / test[recursive-045.vdm]3 msPassed
Install IDE / test[recursive-046.vdm]3 msPassed
Install IDE / test[recursive-047.vdm]3 msPassed
Install IDE / test[recursive-048.vdm]8 msPassed
Install IDE / test[recursive-049.vdm]4 msPassed
Install IDE / test[recursive-050.vdm]4 msPassed
Install IDE / test[recursive-051.vdm]6 msPassed
Install IDE / test[recursive-052.vdm]3 msPassed
Install IDE / test[recursive-053.vdm]4 msPassed
Install IDE / test[recursive-054.vdm]3 msPassed
Install IDE / test[recursive-055.vdm]3 msPassed
Install IDE / test[recursive-056.vdm]4 msPassed
Install IDE / test[recursive-057.vdm]4 msPassed
Install IDE / test[recursive-058.vdm]3 msPassed
Install IDE / test[recursive-059.vdm]4 msPassed
Install IDE / test[recursive-060.vdm]3 msPassed
Install IDE / test[recursive-061.vdm]3 msPassed
Install IDE / test[recursive-062.vdm]3 msPassed
Install IDE / test[recursive-063.vdm]3 msPassed
Install IDE / test[recursive-064.vdm]4 msPassed
Install IDE / test[recursive-065.vdm]7 msPassed
Install IDE / test[recursive-066.vdm]3 msPassed
Install IDE / test[recursive-067.vdm]3 msPassed
Install IDE / test[recursive-068.vdm]3 msPassed
Install IDE / test[recursive-069.vdm]3 msPassed
Install IDE / test[recursive-070.vdm]5 msPassed
Install IDE / test[recursive-071.vdm]4 msPassed
Install IDE / test[recursive-072.vdm]3 msPassed
Install IDE / test[recursive-073.vdm]3 msPassed
Install IDE / test[recursive-074.vdm]3 msPassed
Install IDE / test[recursive-075.vdm]3 msPassed
Install IDE / test[recursive-076.vdm]3 msPassed
Install IDE / test[recursive-077.vdm]5 msPassed
Install IDE / test[recursive-078.vdm]3 msPassed
Install IDE / test[recursive-079.vdm]12 msPassed
Install IDE / test[recursive-080.vdm]4 msPassed
Install IDE / test[recursive-081.vdm]3 msPassed
Install IDE / test[recursive-082.vdm]4 msPassed
Install IDE / test[recursive-083.vdm]3 msPassed
Install IDE / test[recursive-084.vdm]70 msPassed
Install IDE / test[recursive-085.vdm]3 msPassed
Install IDE / test[recursive-086.vdm]3 msPassed
Install IDE / test[recursive-087.vdm]5 msPassed
Install IDE / test[recursive-088.vdm]3 msPassed
Install IDE / test[recursive-089.vdm]3 msPassed
Install IDE / test[recursive-090.vdm]3 msPassed
Install IDE / test[recursive-091.vdm]3 msPassed
Install IDE / test[recursive-092.vdm]3 msPassed
Install IDE / test[recursive-093.vdm]4 msPassed
Install IDE / test[recursive-094.vdm]10 msPassed
Install IDE / test[recursive-095.vdm]4 msPassed
Install IDE / test[recursive-096.vdm]5 msPassed
Install IDE / test[recursive-097.vdm]3 msPassed
Install IDE / test[recursive-098.vdm]3 msPassed
Install IDE / test[recursive-099.vdm]3 msPassed
Install IDE / test[recursive-100.vdm]5 msPassed
Install IDE / test[safer.vdm]80 msPassed
Install IDE / test[seq-01.vdm]2 msPassed
Install IDE / test[seq-02.vdm]3 msPassed
Install IDE / test[seq-03.vdm]3 msPassed
Install IDE / test[seq-04.vdm]3 msPassed
Install IDE / test[seq-05.vdm]2 msPassed
Install IDE / test[seq-06.vdm]2 msPassed
Install IDE / test[seq-07.vdm]2 msPassed
Install IDE / test[seq-08.vdm]2 msPassed
Install IDE / test[seq-09.vdm]2 msPassed
Install IDE / test[seq-10.vdm]2 msPassed
Install IDE / test[seq-11.vdm]2 msPassed
Install IDE / test[seq-12.vdm]2 msPassed
Install IDE / test[seq-13.vdm]2 msPassed
Install IDE / test[seq-14.vdm]2 msPassed
Install IDE / test[seq-15.vdm]2 msPassed
Install IDE / test[seq-16.vdm]2 msPassed
Install IDE / test[seqcomprehensionexpr-01.vdm]6 msPassed
Install IDE / test[seqcomprehensionexpr-02.vdm]3 msPassed
Install IDE / test[seqcomprehensionexpr-03.vdm]3 msPassed
Install IDE / test[seqcomprehensionexpr-04.vdm]3 msPassed
Install IDE / test[seqcomprehensionexpr-05.vdm]3 msPassed
Install IDE / test[seqcomprehensionexpr-06.vdm]13 msPassed
Install IDE / test[seqcomprehensionexpr-07.vdm]9 msPassed
Install IDE / test[seqconc-01.vdm]2 msPassed
Install IDE / test[seqconc-02.vdm]3 msPassed
Install IDE / test[seqconc-03.vdm]2 msPassed
Install IDE / test[seqconc-04.vdm]3 msPassed
Install IDE / test[seqconc-05.vdm]2 msPassed
Install IDE / test[seqconc-06.vdm]3 msPassed
Install IDE / test[seqdistrconc-01.vdm]2 msPassed
Install IDE / test[seqdistrconc-02.vdm]3 msPassed
Install IDE / test[seqdistrconc-03.vdm]2 msPassed
Install IDE / test[seqdistrconc-04.vdm]2 msPassed
Install IDE / test[seqdistrconc-05.vdm]3 msPassed
Install IDE / test[seqdistrconc-06.vdm]2 msPassed
Install IDE / test[seqelems-01.vdm]4 msPassed
Install IDE / test[seqelems-02.vdm]3 msPassed
Install IDE / test[seqelems-03.vdm]3 msPassed
Install IDE / test[seqelems-04.vdm]3 msPassed
Install IDE / test[seqelems-05.vdm]0.1 secPassed
Install IDE / test[seqelems-06.vdm]3 msPassed
Install IDE / test[seqenumerationexpr-01.vdm]4 msPassed
Install IDE / test[seqenumerationexpr-02.vdm]4 msPassed
Install IDE / test[seqenumerationexpr-03.vdm]4 msPassed
Install IDE / test[seqenumerationexpr-04.vdm]5 msPassed
Install IDE / test[seqenumerationexpr-05.vdm]5 msPassed
Install IDE / test[seqforloopstmt.vdm]6 msPassed
Install IDE / test[seqhead-01.vdm]34 msPassed
Install IDE / test[seqhead-02.vdm]3 msPassed
Install IDE / test[seqhead-03.vdm]3 msPassed
Install IDE / test[seqhead-04.vdm]4 msPassed
Install IDE / test[seqhead-05.vdm]5 msPassed
Install IDE / test[seqhead-06.vdm]7 msPassed
Install IDE / test[seqindices-01.vdm]2 msPassed
Install IDE / test[seqindices-02.vdm]2 msPassed
Install IDE / test[seqindices-03.vdm]3 msPassed
Install IDE / test[seqindices-04.vdm]2 msPassed
Install IDE / test[seqindices-05.vdm]2 msPassed
Install IDE / test[seqlen-01.vdm]2 msPassed
Install IDE / test[seqlen-02.vdm]3 msPassed
Install IDE / test[seqlen-03.vdm]0.1 secPassed
Install IDE / test[seqlen-04.vdm]2 msPassed
Install IDE / test[seqlen-05.vdm]2 msPassed
Install IDE / test[seqlen-06.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-01.vdm]4 msPassed
Install IDE / test[seqmodifymapoverrideexpr-02.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-03.vdm]5 msPassed
Install IDE / test[seqmodifymapoverrideexpr-04.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-05.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-06.vdm]6 msPassed
Install IDE / test[seqmodifymapoverrideexpr-07.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-08.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-09.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-10.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-11.vdm]64 msPassed
Install IDE / test[seqmodifymapoverrideexpr-12.vdm]5 msPassed
Install IDE / test[seqmodifymapoverrideexpr-13.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-14.vdm]3 msPassed
Install IDE / test[seqmodifymapoverrideexpr-15.vdm]6 msPassed
Install IDE / test[seqmodifymapoverrideexpr-16.vdm]4 msPassed
Install IDE / test[seqmodifymapoverrideexpr-17.vdm]5 msPassed
Install IDE / test[seqmodifymapoverrideexpr-18.vdm]5 msPassed
Install IDE / test[seqtail-01.vdm]5 msPassed
Install IDE / test[seqtail-02.vdm]2 msPassed
Install IDE / test[seqtail-03.vdm]3 msPassed
Install IDE / test[seqtail-04.vdm]2 msPassed
Install IDE / test[seqtail-05.vdm]2 msPassed
Install IDE / test[seqtail-06.vdm]3 msPassed
Install IDE / test[setcard-01.vdm]2 msPassed
Install IDE / test[setcard-02.vdm]2 msPassed
Install IDE / test[setcard-03.vdm]2 msPassed
Install IDE / test[setcard-04.vdm]2 msPassed
Install IDE / test[setcard-05.vdm]2 msPassed
Install IDE / test[setcomprehensionexpr-01.vdm]4 msPassed
Install IDE / test[setcomprehensionexpr-02.vdm]4 msPassed
Install IDE / test[setcomprehensionexpr-03.vdm]3 msPassed
Install IDE / test[setcomprehensionexpr-04.vdm]4 msPassed
Install IDE / test[setcomprehensionexpr-05.vdm]3 msPassed
Install IDE / test[setcomprehensionexpr-06.vdm]3 msPassed
Install IDE / test[setcomprehensionexpr-07.vdm]6 msPassed
Install IDE / test[setcomprehensionexpr-08.vdm]4 msPassed
Install IDE / test[setcomprehensionexpr-09.vdm]4 msPassed
Install IDE / test[setdistrintersect-01.vdm]4 msPassed
Install IDE / test[setdistrintersect-02.vdm]3 msPassed
Install IDE / test[setdistrintersect-03.vdm]3 msPassed
Install IDE / test[setdistrintersect-04.vdm]3 msPassed
Install IDE / test[setdistrintersect-05.vdm]4 msPassed
Install IDE / test[setdistrintersect-06.vdm]4 msPassed
Install IDE / test[setdistrintersect-07.vdm]14 msPassed
Install IDE / test[setdistrintersect-08.vdm]3 msPassed
Install IDE / test[setdistrintersect-09.vdm]0.11 secPassed
Install IDE / test[setdistrintersect-10.vdm]2 msPassed
Install IDE / test[setdistrunion-01.vdm]3 msPassed
Install IDE / test[setdistrunion-02.vdm]2 msPassed
Install IDE / test[setdistrunion-03.vdm]3 msPassed
Install IDE / test[setdistrunion-04.vdm]3 msPassed
Install IDE / test[setdistrunion-05.vdm]0.11 secPassed
Install IDE / test[setdistrunion-06.vdm]3 msPassed
Install IDE / test[setdistrunion-07.vdm]3 msPassed
Install IDE / test[setdistrunion-08.vdm]3 msPassed
Install IDE / test[setenumerationexpr-01.vdm]4 msPassed
Install IDE / test[setenumerationexpr-02.vdm]3 msPassed
Install IDE / test[setenumerationexpr-03.vdm]4 msPassed
Install IDE / test[setenumerationexpr-04.vdm]5 msPassed
Install IDE / test[setenumerationexpr-05.vdm]3 msPassed
Install IDE / test[setforloopstmt.vdm]5 msPassed
Install IDE / test[setintersect-01.vdm]4 msPassed
Install IDE / test[setintersect-02.vdm]7 msPassed
Install IDE / test[setintersect-03.vdm]5 msPassed
Install IDE / test[setintersect-04.vdm]8 msPassed
Install IDE / test[setintersect-05.vdm]4 msPassed
Install IDE / test[setintersect-06.vdm]5 msPassed
Install IDE / test[setintersect-07.vdm]8 msPassed
Install IDE / test[setintersect-08.vdm]5 msPassed
Install IDE / test[setintersect-09.vdm]4 msPassed
Install IDE / test[setintersect-10.vdm]4 msPassed
Install IDE / test[setintersect-11.vdm]10 msPassed
Install IDE / test[setintersect-12.vdm]7 msPassed
Install IDE / test[setintersect-13.vdm]8 msPassed
Install IDE / test[setminus-01.vdm]2 msPassed
Install IDE / test[setminus-02.vdm]2 msPassed
Install IDE / test[setminus-03.vdm]3 msPassed
Install IDE / test[setminus-04.vdm]2 msPassed
Install IDE / test[setminus-05.vdm]2 msPassed
Install IDE / test[setminus-06.vdm]3 msPassed
Install IDE / test[setminus-07.vdm]4 msPassed
Install IDE / test[setpower-01.vdm]2 msPassed
Install IDE / test[setpower-02.vdm]3 msPassed
Install IDE / test[setpower-03.vdm]3 msPassed
Install IDE / test[setpower-04.vdm]2 msPassed
Install IDE / test[setpower-05.vdm]3 msPassed
Install IDE / test[setpower-06.vdm]3 msPassed
Install IDE / test[setrangeexpr-01.vdm]3 msPassed
Install IDE / test[setrangeexpr-02.vdm]4 msPassed
Install IDE / test[setrangeexpr-03.vdm]3 msPassed
Install IDE / test[setrangeexpr-04.vdm]4 msPassed
Install IDE / test[setrangeexpr-05.vdm]4 msPassed
Install IDE / test[setrangeexpr-06.vdm]9 msPassed
Install IDE / test[setrangeexpr-07.vdm]4 msPassed
Install IDE / test[setunion-01.vdm]3 msPassed
Install IDE / test[setunion-02.vdm]4 msPassed
Install IDE / test[setunion-03.vdm]3 msPassed
Install IDE / test[setunion-04.vdm]3 msPassed
Install IDE / test[setunion-05.vdm]2 msPassed
Install IDE / test[setunion-06.vdm]3 msPassed
Install IDE / test[setunion-07.vdm]4 msPassed
Install IDE / test[setunion-08.vdm]4 msPassed
Install IDE / test[specificationstmt.vdm]3 msPassed
Install IDE / test[subsequenceexpr-01.vdm]3 msPassed
Install IDE / test[subsequenceexpr-02.vdm]4 msPassed
Install IDE / test[subsequenceexpr-03.vdm]3 msPassed
Install IDE / test[subsequenceexpr-04.vdm]4 msPassed
Install IDE / test[subsequenceexpr-05.vdm]3 msPassed
Install IDE / test[subsequenceexpr-06.vdm]4 msPassed
Install IDE / test[subsequenceexpr-07.vdm]4 msPassed
Install IDE / test[subset-01.vdm]2 msPassed
Install IDE / test[subset-02.vdm]2 msPassed
Install IDE / test[subset-03.vdm]3 msPassed
Install IDE / test[subset-04.vdm]3 msPassed
Install IDE / test[subset-05.vdm]2 msPassed
Install IDE / test[subset-06.vdm]3 msPassed
Install IDE / test[subset-07.vdm]3 msPassed
Install IDE / test[subset-08.vdm]3 msPassed
Install IDE / test[subset-09.vdm]3 msPassed
Install IDE / test[subtype-001.vdm]4 msPassed
Install IDE / test[subtype-002.vdm]4 msPassed
Install IDE / test[subtype-003.vdm]3 msPassed
Install IDE / test[subtype-004.vdm]4 msPassed
Install IDE / test[subtype-005.vdm]3 msPassed
Install IDE / test[subtype-006.vdm]4 msPassed
Install IDE / test[subtype-007.vdm]3 msPassed
Install IDE / test[subtype-008.vdm]3 msPassed
Install IDE / test[subtype-009.vdm]5 msPassed
Install IDE / test[subtype-010.vdm]4 msPassed
Install IDE / test[subtype-011.vdm]3 msPassed
Install IDE / test[subtype-012.vdm]5 msPassed
Install IDE / test[subtype-013.vdm]3 msPassed
Install IDE / test[subtype-014.vdm]3 msPassed
Install IDE / test[subtype-015.vdm]3 msPassed
Install IDE / test[subtype-016.vdm]4 msPassed
Install IDE / test[subtype-017.vdm]3 msPassed
Install IDE / test[subtype-018.vdm]3 msPassed
Install IDE / test[subtype-019.vdm]3 msPassed
Install IDE / test[subtype-020.vdm]3 msPassed
Install IDE / test[subtype-021.vdm]7 msPassed
Install IDE / test[subtype-022.vdm]3 msPassed
Install IDE / test[subtype-023.vdm]3 msPassed
Install IDE / test[subtype-024.vdm]4 msPassed
Install IDE / test[subtype-025.vdm]4 msPassed
Install IDE / test[subtype-026.vdm]6 msPassed
Install IDE / test[subtype-027.vdm]3 msPassed
Install IDE / test[subtype-028.vdm]3 msPassed
Install IDE / test[subtype-029.vdm]3 msPassed
Install IDE / test[subtype-030.vdm]2 msPassed
Install IDE / test[subtype-031.vdm]4 msPassed
Install IDE / test[subtype-032.vdm]3 msPassed
Install IDE / test[subtype-033.vdm]3 msPassed
Install IDE / test[subtype-034.vdm]3 msPassed
Install IDE / test[subtype-035.vdm]3 msPassed
Install IDE / test[subtype-036.vdm]3 msPassed
Install IDE / test[subtype-037.vdm]3 msPassed
Install IDE / test[subtype-038.vdm]3 msPassed
Install IDE / test[subtype-039.vdm]3 msPassed
Install IDE / test[subtype-040.vdm]3 msPassed
Install IDE / test[subtype-041.vdm]3 msPassed
Install IDE / test[subtype-042.vdm]5 msPassed
Install IDE / test[subtype-043.vdm]6 msPassed
Install IDE / test[subtype-044.vdm]3 msPassed
Install IDE / test[subtype-045.vdm]5 msPassed
Install IDE / test[subtype-046.vdm]3 msPassed
Install IDE / test[subtype-047.vdm]3 msPassed
Install IDE / test[subtype-048.vdm]3 msPassed
Install IDE / test[subtype-049.vdm]3 msPassed
Install IDE / test[subtype-050.vdm]3 msPassed
Install IDE / test[subtype-051.vdm]3 msPassed
Install IDE / test[subtype-052.vdm]3 msPassed
Install IDE / test[subtype-053.vdm]4 msPassed
Install IDE / test[subtype-054.vdm]3 msPassed
Install IDE / test[subtype-055.vdm]3 msPassed
Install IDE / test[subtype-056.vdm]3 msPassed
Install IDE / test[subtype-057.vdm]3 msPassed
Install IDE / test[subtype-058.vdm]3 msPassed
Install IDE / test[subtype-059.vdm]3 msPassed
Install IDE / test[subtype-060.vdm]5 msPassed
Install IDE / test[subtype-061.vdm]3 msPassed
Install IDE / test[subtype-062.vdm]4 msPassed
Install IDE / test[subtype-063.vdm]3 msPassed
Install IDE / test[subtype-064.vdm]3 msPassed
Install IDE / test[subtype-065.vdm]3 msPassed
Install IDE / test[subtype-066.vdm]4 msPassed
Install IDE / test[subtype-067.vdm]4 msPassed
Install IDE / test[subtype-068.vdm]3 msPassed
Install IDE / test[subtype-069.vdm]3 msPassed
Install IDE / test[subtype-070.vdm]3 msPassed
Install IDE / test[subtype-071.vdm]3 msPassed
Install IDE / test[subtype-072.vdm]3 msPassed
Install IDE / test[subtype-073.vdm]4 msPassed
Install IDE / test[subtype-074.vdm]4 msPassed
Install IDE / test[subtype-075.vdm]3 msPassed
Install IDE / test[subtype-076.vdm]3 msPassed
Install IDE / test[subtype-077.vdm]4 msPassed
Install IDE / test[subtype-078.vdm]3 msPassed
Install IDE / test[subtype-079.vdm]3 msPassed
Install IDE / test[subtype-080.vdm]3 msPassed
Install IDE / test[subtype-081.vdm]4 msPassed
Install IDE / test[subtype-082.vdm]3 msPassed
Install IDE / test[subtype-083.vdm]5 msPassed
Install IDE / test[subtype-084.vdm]3 msPassed
Install IDE / test[subtype-085.vdm]4 msPassed
Install IDE / test[subtype-086.vdm]3 msPassed
Install IDE / test[subtype-087.vdm]3 msPassed
Install IDE / test[subtype-088.vdm]3 msPassed
Install IDE / test[subtype-089.vdm]4 msPassed
Install IDE / test[subtype-090.vdm]3 msPassed
Install IDE / test[subtype-091.vdm]3 msPassed
Install IDE / test[subtype-092.vdm]3 msPassed
Install IDE / test[subtype-093.vdm]3 msPassed
Install IDE / test[subtype-094.vdm]4 msPassed
Install IDE / test[subtype-095.vdm]4 msPassed
Install IDE / test[subtype-096.vdm]3 msPassed
Install IDE / test[subtype-097.vdm]4 msPassed
Install IDE / test[subtype-098.vdm]3 msPassed
Install IDE / test[subtype-099.vdm]3 msPassed
Install IDE / test[subtype-100.vdm]3 msPassed
Install IDE / test[subtype-101.vdm]4 msPassed
Install IDE / test[subtype-102.vdm]3 msPassed
Install IDE / test[subtype-103.vdm]3 msPassed
Install IDE / test[subtype-104.vdm]3 msPassed
Install IDE / test[subtype-105.vdm]3 msPassed
Install IDE / test[subtype-106.vdm]3 msPassed
Install IDE / test[subtype-107.vdm]3 msPassed
Install IDE / test[subtype-108.vdm]3 msPassed
Install IDE / test[subtype-109.vdm]5 msPassed
Install IDE / test[subtype-110.vdm]3 msPassed
Install IDE / test[subtype-111.vdm]3 msPassed
Install IDE / test[subtype-112.vdm]3 msPassed
Install IDE / test[subtype-113.vdm]6 msPassed
Install IDE / test[subtype-114.vdm]3 msPassed
Install IDE / test[subtype-115.vdm]3 msPassed
Install IDE / test[subtype-116.vdm]3 msPassed
Install IDE / test[subtype-117.vdm]3 msPassed
Install IDE / test[subtype-118.vdm]4 msPassed
Install IDE / test[subtype-119.vdm]3 msPassed
Install IDE / test[subtype-120.vdm]3 msPassed
Install IDE / test[subtype-121.vdm]3 msPassed
Install IDE / test[subtype-122.vdm]6 msPassed
Install IDE / test[subtype-123.vdm]4 msPassed
Install IDE / test[subtype-124.vdm]6 msPassed
Install IDE / test[subtype-125.vdm]3 msPassed
Install IDE / test[subtype-126.vdm]3 msPassed
Install IDE / test[subtype-127.vdm]23 msPassed
Install IDE / test[subtype-128.vdm]3 msPassed
Install IDE / test[subtype-129.vdm]6 msPassed
Install IDE / test[subtype-130.vdm]3 msPassed
Install IDE / test[subtype-131.vdm]3 msPassed
Install IDE / test[subtype-132.vdm]4 msPassed
Install IDE / test[subtype-133.vdm]3 msPassed
Install IDE / test[subtype-134.vdm]4 msPassed
Install IDE / test[subtype-135.vdm]3 msPassed
Install IDE / test[subtype-136.vdm]3 msPassed
Install IDE / test[subtype-137.vdm]3 msPassed
Install IDE / test[subtype-138.vdm]8 msPassed
Install IDE / test[subtype-139.vdm]3 msPassed
Install IDE / test[subtype-140.vdm]4 msPassed
Install IDE / test[subtype-141.vdm]11 msPassed
Install IDE / test[subtype-142.vdm]3 msPassed
Install IDE / test[subtype-143.vdm]10 msPassed
Install IDE / test[subtype-144.vdm]3 msPassed
Install IDE / test[tokenconstructorexpr-01.vdm]2 msPassed
Install IDE / test[tokenconstructorexpr-02.vdm]3 msPassed
Install IDE / test[tracker.vdm]26 msPassed
Install IDE / test[trapstmt.vdm]7 msPassed
Install IDE / test[tupleconstructorexpr-01.vdm]3 msPassed
Install IDE / test[tupleconstructorexpr-02.vdm]4 msPassed
Install IDE / test[tupleconstructorexpr-03.vdm]3 msPassed
Install IDE / test[tupleconstructorexpr-04.vdm]3 msPassed
Install IDE / test[tupleselectexpr-01.vdm]6 msPassed
Install IDE / test[tupleselectexpr-02.vdm]3 msPassed
Install IDE / test[tupleselectexpr-03.vdm]4 msPassed
Install IDE / test[tupleselectexpr-04.vdm]3 msPassed
Install IDE / test[tupleselectexpr-05.vdm]4 msPassed
Install IDE / test[tupleselectexpr-06.vdm]4 msPassed
Install IDE / test[tupleselectexpr-07.vdm]2 msPassed
Install IDE / test[type-02.vdm]2 msPassed
Install IDE / test[type-03.vdm]5 msPassed
Install IDE / test[type-05.vdm]5 msPassed
Install IDE / test[type-06.vdm]16 msPassed
Install IDE / test[type.vdm]11 msPassed
Install IDE / test[type.vdm]3 msPassed
Install IDE / test[undefinedexpr-01.vdm]2 msPassed
Install IDE / test[value.vdm]3 msPassed
Install IDE / test[whileloopstmt.vdm]4 msPassed