Test Result : ConfiguredStringOutputTest

0 failures
116 tests
Took 4.9 sec.

All Tests

Test nameDurationStatus
testCase[0 : DistConcat.vdmpp]30 msPassed
testCase[0 : DistConcat.vdmpp]54 msPassed
Package core / testCase[0 : DistConcat.vdmpp]30 msPassed
Install IDE / testCase[0 : DistConcat.vdmpp]54 msPassed
testCase[1 : SubSeqString2.vdmpp]47 msPassed
Package core / testCase[1 : SubSeqString2.vdmpp]47 msPassed
Install IDE / testCase[1 : SubSeqString2.vdmpp]37 msPassed
testCase[1 : SubSeqString2.vdmpp]37 msPassed
Install IDE / testCase[10 : EqualsNotEqualsSeqConversion.vdmpp]34 msPassed
Package core / testCase[10 : EqualsNotEqualsSeqConversion.vdmpp]12 msPassed
testCase[10 : EqualsNotEqualsSeqConversion.vdmpp]12 msPassed
testCase[10 : EqualsNotEqualsSeqConversion.vdmpp]34 msPassed
Package core / testCase[11 : IsExpStringTrue.vdmpp]23 msPassed
testCase[11 : IsExpStringTrue.vdmpp]23 msPassed
Install IDE / testCase[11 : IsExpStringTrue.vdmpp]22 msPassed
testCase[11 : IsExpStringTrue.vdmpp]22 msPassed
testCase[12 : Concat.vdmpp]10 msPassed
Install IDE / testCase[12 : Concat.vdmpp]16 msPassed
testCase[12 : Concat.vdmpp]16 msPassed
Package core / testCase[12 : Concat.vdmpp]10 msPassed
testCase[13 : Comparison.vdmpp]25 msPassed
testCase[13 : Comparison.vdmpp]24 msPassed
Package core / testCase[13 : Comparison.vdmpp]25 msPassed
Install IDE / testCase[13 : Comparison.vdmpp]24 msPassed
Install IDE / testCase[14 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]49 msPassed
Package core / testCase[14 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]56 msPassed
testCase[14 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]56 msPassed
testCase[14 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]49 msPassed
Install IDE / testCase[15 : Tail.vdmpp]25 msPassed
Package core / testCase[15 : Tail.vdmpp]15 msPassed
testCase[15 : Tail.vdmpp]25 msPassed
testCase[15 : Tail.vdmpp]15 msPassed
testCase[16 : Val2SeqOfChar.vdmpp]44 msPassed
testCase[16 : Val2SeqOfChar.vdmpp]37 msPassed
Install IDE / testCase[16 : Val2SeqOfChar.vdmpp]37 msPassed
Package core / testCase[16 : Val2SeqOfChar.vdmpp]44 msPassed
testCase[17 : Indexing.vdmpp]26 msPassed
Package core / testCase[17 : Indexing.vdmpp]36 msPassed
Install IDE / testCase[17 : Indexing.vdmpp]26 msPassed
testCase[17 : Indexing.vdmpp]36 msPassed
Install IDE / testCase[18 : TemplateTypeCases.vdmpp]36 msPassed
testCase[18 : TemplateTypeCases.vdmpp]36 msPassed
testCase[18 : TemplateTypeCases.vdmpp]30 msPassed
Package core / testCase[18 : TemplateTypeCases.vdmpp]30 msPassed
testCase[19 : SubSeqString5.vdmpp]7 msPassed
Package core / testCase[19 : SubSeqString5.vdmpp]6 msPassed
testCase[19 : SubSeqString5.vdmpp]6 msPassed
Install IDE / testCase[19 : SubSeqString5.vdmpp]7 msPassed
testCase[2 : Indices.vdmpp]31 msPassed
Install IDE / testCase[2 : Indices.vdmpp]29 msPassed
testCase[2 : Indices.vdmpp]29 msPassed
Package core / testCase[2 : Indices.vdmpp]31 msPassed
testCase[20 : IsExpStringFalse.vdmpp]17 msPassed
testCase[20 : IsExpStringFalse.vdmpp]16 msPassed
Install IDE / testCase[20 : IsExpStringFalse.vdmpp]16 msPassed
Package core / testCase[20 : IsExpStringFalse.vdmpp]17 msPassed
Install IDE / testCase[21 : Head.vdmpp]19 msPassed
Package core / testCase[21 : Head.vdmpp]11 msPassed
testCase[21 : Head.vdmpp]19 msPassed
testCase[21 : Head.vdmpp]11 msPassed
Install IDE / testCase[22 : SeqConversion.vdmpp]79 msPassed
testCase[22 : SeqConversion.vdmpp]79 msPassed
testCase[22 : SeqConversion.vdmpp]64 msPassed
Package core / testCase[22 : SeqConversion.vdmpp]64 msPassed
Install IDE / testCase[23 : Elems.vdmpp]24 msPassed
testCase[23 : Elems.vdmpp]0.72 secPassed
Package core / testCase[23 : Elems.vdmpp]0.72 secPassed
testCase[23 : Elems.vdmpp]24 msPassed
testCase[24 : Size.vdmpp]28 msPassed
Install IDE / testCase[24 : Size.vdmpp]37 msPassed
testCase[24 : Size.vdmpp]37 msPassed
Package core / testCase[24 : Size.vdmpp]28 msPassed
testCase[25 : SubSeqString6.vdmpp]15 msPassed
testCase[25 : SubSeqString6.vdmpp]7 msPassed
Install IDE / testCase[25 : SubSeqString6.vdmpp]7 msPassed
Package core / testCase[25 : SubSeqString6.vdmpp]15 msPassed
Package core / testCase[26 : StringPattern.vdmpp]32 msPassed
testCase[26 : StringPattern.vdmpp]32 msPassed
testCase[26 : StringPattern.vdmpp]32 msPassed
Install IDE / testCase[26 : StringPattern.vdmpp]32 msPassed
testCase[27 : Reverse.vdmpp]19 msPassed
Package core / testCase[27 : Reverse.vdmpp]19 msPassed
Install IDE / testCase[27 : Reverse.vdmpp]26 msPassed
testCase[27 : Reverse.vdmpp]26 msPassed
Install IDE / testCase[28 : SubSeqString4.vdmpp]15 msPassed
testCase[28 : SubSeqString4.vdmpp]15 msPassed
testCase[28 : SubSeqString4.vdmpp]17 msPassed
Package core / testCase[28 : SubSeqString4.vdmpp]17 msPassed
Install IDE / testCase[3 : SeqConvertFunArg.vdmpp]62 msPassed
testCase[3 : SeqConvertFunArg.vdmpp]53 msPassed
Package core / testCase[3 : SeqConvertFunArg.vdmpp]53 msPassed
testCase[3 : SeqConvertFunArg.vdmpp]62 msPassed
testCase[4 : SubSeqString1.vdmpp]15 msPassed
Package core / testCase[4 : SubSeqString1.vdmpp]15 msPassed
testCase[4 : SubSeqString1.vdmpp]34 msPassed
Install IDE / testCase[4 : SubSeqString1.vdmpp]34 msPassed
Package core / testCase[5 : Modification.vdmpp]31 msPassed
testCase[5 : Modification.vdmpp]42 msPassed
Install IDE / testCase[5 : Modification.vdmpp]42 msPassed
testCase[5 : Modification.vdmpp]31 msPassed
Install IDE / testCase[6 : EscapedCharacters.vdmpp]29 msPassed
testCase[6 : EscapedCharacters.vdmpp]29 msPassed
testCase[6 : EscapedCharacters.vdmpp]10 msPassed
Package core / testCase[6 : EscapedCharacters.vdmpp]10 msPassed
testCase[7 : SubSeqString3.vdmpp]62 msPassed
testCase[7 : SubSeqString3.vdmpp]37 msPassed
Package core / testCase[7 : SubSeqString3.vdmpp]62 msPassed
Install IDE / testCase[7 : SubSeqString3.vdmpp]37 msPassed
testCase[8 : SeqToStrFieldNumberExp.vdmpp]41 msPassed
Package core / testCase[8 : SeqToStrFieldNumberExp.vdmpp]41 msPassed
testCase[8 : SeqToStrFieldNumberExp.vdmpp]53 msPassed
Install IDE / testCase[8 : SeqToStrFieldNumberExp.vdmpp]53 msPassed
testCase[9 : ForAllStmIterateString.vdmpp]17 msPassed
Package core / testCase[9 : ForAllStmIterateString.vdmpp]17 msPassed
Install IDE / testCase[9 : ForAllStmIterateString.vdmpp]36 msPassed
testCase[9 : ForAllStmIterateString.vdmpp]36 msPassed