Test Result

0 failures (±0) , 24 skipped (±0)

35 tests (+3)

All Tests

Package	Duration	Fail	(diff)	Skip	(diff)	Pass	(diff)	Total	(diff)
org.polarsys.chess.contracts.verificationService.test.runtime.tests	36 sec	0		24		11	+3	35	+3