History for testCase[29 : Ordered

Back to Project

Status

Changes

Console Output

View Build Information

History

Embeddable Build Status

Previous Build

Next Build

History for testCase[29 : Ordered_Plus.vdmsl]

show count

Build	Test Description	Test Duration	Test Result
overture-development » The Proof Obligation Generator #290		5 ms	Passed
overture-development » The Proof Obligation Generator #289		5 ms	Passed
overture-development » The Proof Obligation Generator #288		6 ms	Passed
overture-development » The Proof Obligation Generator #287		8 ms	Passed
overture-development » The Proof Obligation Generator #286		4 ms	Passed
overture-development » The Proof Obligation Generator #285		5 ms	Passed
overture-development » The Proof Obligation Generator #284		6 ms	Passed
overture-development » The Proof Obligation Generator #283		4 ms	Passed
overture-development » The Proof Obligation Generator #282		6 ms	Passed
overture-development » The Proof Obligation Generator #281		5 ms	Passed
overture-development » The Proof Obligation Generator #280		5 ms	Passed
overture-development » The Proof Obligation Generator #279		4 ms	Passed
overture-development » The Proof Obligation Generator #278		5 ms	Passed
overture-development » The Proof Obligation Generator #277		6 ms	Passed
overture-development » The Proof Obligation Generator #276		6 ms	Passed
overture-development » The Proof Obligation Generator #275		5 ms	Passed
overture-development » The Proof Obligation Generator #274		5 ms	Passed
overture-development » The Proof Obligation Generator #273		6 ms	Passed
overture-development » The Proof Obligation Generator #272		3 ms	Passed
overture-development » The Proof Obligation Generator #271		6 ms	Passed
overture-development » The Proof Obligation Generator #270		5 ms	Passed
overture-development » The Proof Obligation Generator #269		6 ms	Passed
overture-development » The Proof Obligation Generator #267		8 ms	Passed
overture-development » The Proof Obligation Generator #266		3 ms	Passed

Older