History for Package core / run[79: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]
show
count
Build | Test Description | Test Duration | Test Result |
overturetool » hdm/development #5 | 0.11 sec | Passed | |
overturetool » hdm/development #4 | 0.15 sec | Passed | |
overturetool » hdm/development #3 | 0.11 sec | Passed | |
overturetool » hdm/development #1 | 0.11 sec | Passed |