History for testCase[7 : TupleSelection.vdmsl]

[Duration graph]
show count
BuildTest DescriptionTest DurationTest Result
overture-development » The Proof Obligation Generator #20011 msPassed
Newer