Test Result

0 failures (±0) , 42 skipped (+15)

64 tests (+26)

Module	Fail	(diff)	Total	(diff)
org.polarsys.chess:org.polarsys.chess.contracts.verificationService.test.runtime	0		58	+23
org.polarsys.chess:org.polarsys.chess.test.runtime	0		6	+3