Index
Introduction
Skipped feature combinations
Failed test cases
Tests by feature combinations
SYMMETRY
tests
Tests under anomalous conditions
Tests by feature combinations:
-workers 2
SYMMETRY
tests:
-workers 2
Tests by feature combinations:
-workers auto
SYMMETRY
tests:
-workers auto
Skipped feature combinations by plug feature
And
Id
Case Feature
Plug Feature
Skip Reason
cd38d25a2129686d85f725122660d460cbc6ff6c
OneLineComment
And
CanNotBeCase
24cb3df2c2e236443186afb9b4f8c2fc96503360
OneLineComment
And
CanNotBeCase
e04e4817742146d6d783be53adf1b84edf78b4ec
MultiLineComment
And
CanNotBeCase
e31261402a7b51456741874f82682fa524875b6f
MultiLineComment
And
CanNotBeCase
72171478941533ebe6683ba7eed9058c84d1ad67
BoolTrue
And
CanNotBeCase
c81977b203aaff58f6e193566d5ba7713cc6f4c3
BoolTrue
And
CanNotBeCase
a462bc5e45d585e0293dcbad39acaaa56051681e
BoolFalse
And
CanNotBeCase
bb2c645824b8045d1601535dc3b15a8f466b2341
BoolFalse
And
CanNotBeCase
3274f86be1bbeea5d3d9b721b65de773cf171bc6
BoolSet
And
CanNotBeCase
b65c384362d41be6b59c46fa6995ddc82e7c545c
BoolSet
And
CanNotBeCase
4af6e69abbfdf15af5a624c7c9aad76c7bc30c08
SetEmpty
And
CanNotBeCase
d6b8010206f4d3524c90bc653c85624702de54b3
SetEmpty
And
CanNotBeCase
4f8bcf3153ad81be2995bcafde6e37bd1d715592
Set1InDef
And
TypeMismatch
b63074015bb49bed7cfacf87171af79ad856eba0
Set1InDef
And
TypeMismatch
06bdb1352b9dfcb6103f1aedf527202522dd095e
Set2InDef
And
TypeMismatch
9580fd758e333746eda5dfb6a4ddde87df44f30d
Set2InDef
And
TypeMismatch
59f767dcdf95ac3f1974cbacc44e8fc1b4d2b1dc
InDef0
And
CanNotBeCase
8658211e980bb89383dea8acdd712f32f0ddf8a8
InDef0
And
CanNotBeCase
06352a470992469145b09c110fd6756c24937f05
InDef1
And
CanNotBeCase
6d977bd847e818f28d6b8c5aa203ea3d5fb21c96
InDef1
And
CanNotBeCase
fcd1be00ccf64e72543f33e23104449fad2bb2a0
InDef2
And
CanNotBeCase
063f387a2f73a67a998dbf8c279637dcdef49755
InDef2
And
CanNotBeCase
81188b8beedf0e6f8e82f779199a3d2bd042088a
FunInDef
And
TypeMismatch
478e3155b95ed2863c6c199a0320572ee51cc548
FunInDef
And
TypeMismatch
e3b304e894eaf19bea96212b9e6e2732d0b30164
ExistsInDef
And
TypeMismatch
d6c73a8739cc00f758f542018a81cbf46d8c8f42
ExistsInDef
And
TypeMismatch
d6ca25338ce2e756a59ca1477242ae7c01540655
ForallInDef
And
TypeMismatch
c89e306a204008c082eb88cd739b9401366af9b0
ForallInDef
And
TypeMismatch
294b16a00822649a0ef4a45eb5459da6d6f9ec1a
ChooseInDef
And
TypeMismatch
48dff45059b983f8a1b26861dc39c4e6dfb20874
ChooseInDef
And
TypeMismatch
009446f16c61ee0b364c09c904798d652666a365
TupleEmpty
And
CanNotBeCase
f931b87593caf1002cfaa9856d8b9dd7d30dba89
TupleEmpty
And
CanNotBeCase
43774a7f5739e530ae6cce34712c9e04a8293d10
Except0
And
TypeMismatch
190b9dfa5a4bcb1e9c34be7e3d151de28e937052
Except0
And
TypeMismatch
e7783464ac3691c3714564153ab1b7dc30dd3ae3
Except2FunTuple
And
TypeMismatch
464429c2ae7721f915e4bd9a5512374a160a74d0
Except2FunTuple
And
TypeMismatch
03ee9da0da441f2caaf7b5325f6d0cc82ea01ba5
NumZero
And
TypeMismatch
5113e346429e8aa3f64026f4e977ad30ea1ddeed
NumZero
And
TypeMismatch
6dad08ab84313f4bac38e4e1a5eb4385fbc2a634
NumOne
And
TypeMismatch
d064fba9c88a135848089fb3c0e3171a6197a29d
NumOne
And
TypeMismatch
40402a9cd5a0cf6d851daa169eb8f3927852962a
NumMaxInt
And
TypeMismatch
ef28883d77873952c2aa8edc2acd04c16209e5d7
NumMaxInt
And
TypeMismatch
7e88432632fd85e25cbe079dce57754c4a351e6a
NumUnaryMinus
And
TypeMismatch
050cdb16aa4b4cb28669dc245b9c040218e97fe1
NumUnaryMinus
And
TypeMismatch
6ecfb17e5a541867fdae5fa530685ec9690d1a2f
NumPlus
And
TypeMismatch
f6aa3fa76cb0a24dd7b13281fd41e5c80b5da503
NumPlus
And
TypeMismatch
1706ca9a531ca834960e3a2902643e3ae30bf29e
NumMinus
And
TypeMismatch
f0de01d2ba24a194db6057bc38faf2d15d42b1ff
NumMinus
And
TypeMismatch
25a7356d3e5e0b6d06310193f94d600c6803c719
NumMul
And
TypeMismatch
20cc457c01709fc557945cb932190d439c231ad3
NumMul
And
TypeMismatch
1384813249dfdf7e4fa125911959dabd9263f570
NumDiv
And
TypeMismatch
28630dbfebf80f9f264e2c24324869a2f346deb9
NumDiv
And
TypeMismatch
e55ccbdaf913c31d48b259603c382c5ed7c0b342
NumMod
And
TypeMismatch
c0b1deb2b44a3d58dd1f2208d30bda3ffbe53347
NumMod
And
TypeMismatch
5d9a329c8d6fd2395773d25877b9592bb9f91cac
NumPow
And
TypeMismatch
2bd7927755b380c0cc447d03c37fea7001dcce4d
NumPow
And
TypeMismatch
2f786693dcdf5cae11a51cfb198d811d4d14bc8a
NumGt
And
TypeMismatch
11edf3ae96e29e3eb0f70ee5017ae42727cec9be
NumGt
And
TypeMismatch
317c13963c5feee96f1cbf127b38a933c9c70c24
NumGe
And
TypeMismatch
b4b2e6461ff2443336f0cba6edabdfe5820ce1d3
NumGe
And
TypeMismatch
f56400716fa43f9950d9916906637fe32a9ddf1c
NumLt
And
TypeMismatch
387ebf28f8ecf6faa58c137c495c0fcdc9969594
NumLt
And
TypeMismatch
404cdc15e8369e7bd6026de35521e17537189a0c
NumLe
And
TypeMismatch
1341448331000f0a1846db7e8cbfd8865d86b30d
NumLe
And
TypeMismatch
24ea99bc450a606ecda5bb2c0985d4a53203734b
DefFunInDef
And
TypeMismatch
6a5b7dc1dbc1165d7771eb19df88dc1e6341be4e
DefFunInDef
And
TypeMismatch
7fbe9d75c1e40f42669f34d88b6f8c6315d042c1
LetDefFunInDef
And
TypeMismatch
3d927c3dd180fa7cd92f31a5db938d866ac2ea66
LetDefFunInDef
And
TypeMismatch
a66086df4b76ae04b50d6b86c278db9a17f8341a
ConstantModelValue
And
CanNotBeCase
dce8e4b4964d81ff3ea56276260b61d3b444325f
ConstantModelValue
And
CanNotBeCase
a4a0d416e2179a89bf2885fb834ff6fa93ca8365
Cross2
And
TypeMismatch
494ae81bcd2fa8e3e1885017358c8be764e05ba4
Cross2
And
TypeMismatch
2f43c371cb01625e6ee58cb66d70d04b825bd718
Cross3
And
TypeMismatch
8a433da2a00446814c1b7cce60cdc4bbdd27282a
Cross3
And
TypeMismatch
953b66e10743e32c6d646b5e675b002a1c9a31c1
FunSet
And
TypeMismatch
8f2360102f457ccdcff31e50c575771e75f89e8c
FunSet
And
TypeMismatch
2423dd5741d15d53810fb5f7db8d50b7ba462c90
RecordSet
And
TypeMismatch
e1e143061c5139195e95e075d756272df91e7902
RecordSet
And
TypeMismatch
a13c6d148651ed839559635a2c5ce780a12eee32
SetDiff
And
TypeMismatch
28999cfe968ce1125074aee36df9b6987656a895
SetDiff
And
TypeMismatch
59ed7739c27ab71c426fecc12327e357820def43
SetUnion
And
TypeMismatch
8df9805a51a80b96839a58994a68c4ab671ad346
SetUnion
And
TypeMismatch
4f4195317e4a9b6d193da19271c036e48097da94
SetIntersect
And
TypeMismatch
e8821dc88d73ab29a81eda8a739747524eee138c
SetIntersect
And
TypeMismatch
72cbb306d53d7a741808073c74d5a7fc1bd3da73
SubsetEq
And
TypeMismatch
5055b7eb60e2172fd7741a393b7343039f2f6bcb
SubsetEq
And
TypeMismatch
89a2a07d1b9092fb2746a7580cbf34921c17ed3f
Subset
And
TypeMismatch
6236bbf15c2e6493d14a1ced840ab22a1106c635
Subset
And
TypeMismatch
544541561aff4a1fe39fbca9a7679911074bf2f7
Domain
And
TypeMismatch
f43b2a5c3bb1fbba95e285fa8f4978d1bc7c0ea7
Domain
And
TypeMismatch
9c4e2900f243bd156e3f3d94291f7d1f70556cd1
Union
And
TypeMismatch
986591c1e7f6924bd7cbddd9289f20eaaea316a9
Union
And
TypeMismatch
fbd1b0de34fe0ec6f8b6cab69a41de064ff27421
StringEmpty
And
TypeMismatch
03b54d68dec18cf2415ee101736f1009810a50c1
StringEmpty
And
TypeMismatch
ce9aecc29bb2afe39b798105b5847d101bd5ba2a
String
And
TypeMismatch
b02875f997af5db181bf810d2bb048b29b6bdd12
String
And
TypeMismatch
af76fd19c4437da35aaa2b58fd206e4fefdbaa5b
SeqLen
And
TypeMismatch
7e528b55358037b466c98849c8bacdeae5833488
SeqLen
And
TypeMismatch
b618a3790f4fa7b48d1055dfc46e29d68787515b
SeqConcat
And
TypeMismatch
6d6c9029767219dc3dee4b52a8492e563c6bc973
SeqConcat
And
TypeMismatch
e57b949c0e095b42dcf164b9f049e7f820d3a0fd
SeqSeq
And
TypeMismatch
9029284e615f85fdf1d1a8d1cb376d5caf9dc750
SeqSeq
And
TypeMismatch
c9828fc30c08b9fb497a8d2a9bfa73582ffeaa81
NatSet
And
CanNotBeCase
7f9fbc78660796cd7be468a81e97e92111568bca
NatSet
And
CanNotBeCase
af635cc06bbe14835366e572c5c93d0170345043
IntSet
And
CanNotBeCase
2408a02862daa29117cafc8d695cc33becdcba38
IntSet
And
CanNotBeCase
f782681947d0307a07a2bc7010aeb4564393365e
StringSet
And
CanNotBeCase
69583fb3df2513feedeb81b7bfd67084f9848a3e
StringSet
And
CanNotBeCase
89e764efa8fa2cddbd3d70d2575b4b3ff42474b2
SeqSelectSeq
And
TypeMismatch
132fd2799944eefb065c9bb1de1e601e5c38ab7d
SeqSelectSeq
And
TypeMismatch
8537d984f2372cce5ce24b9ab6d1991eb10d819a
SeqSubSeq
And
TypeMismatch
d464e5fb48bd4636113e9b54b4be00060acf741c
SeqSubSeq
And
TypeMismatch
5dc06f8ab63c941adf111d813fbdbea836ac04bf
NumRange
And
TypeMismatch
2712b4b1f9cdd9e6a0fad2f02d9e4839345bbbe5
NumRange
And
TypeMismatch
669b0ed97c63042cf8c425fdeb848dbf21692bfb
TlcExtendFun
And
TypeMismatch
df443132a1d3080b73e6a445c1358a6c454f072b
TlcExtendFun
And
TypeMismatch
24b646da7a37a740c2e7766d5d352bdddf4ef333
TlcPermuteFun
And
TypeMismatch
e7149084aa29b81e4d6cbb2ae045c180f553128e
TlcPermuteFun
And
TypeMismatch
7c724adc281fec2b2e501fd2132d5e94616772b9
TlcSortSeq
And
TypeMismatch
b87437435748a39f7da67ffcd42424c7682f354f
TlcSortSeq
And
TypeMismatch
94da3dfe5b10f403474627fa47b28f3402f068f0
BagBagToSet
And
TypeMismatch
9bb764fa14a3e0469220eb316dec94f7c6d1b94a
BagBagToSet
And
TypeMismatch
9bb60750d5503ad5f66a40222b07078b7268ad8f
BagSetToBag
And
TypeMismatch
4b2e19d91ed1b7572596bbeb5319c64b5834c509
BagSetToBag
And
TypeMismatch
64eda84c88053c6b4f5f6b0c703086808b208aef
BagEmptyBag
And
CanNotBeCase
daa04ec03a137229c604a7b2fa84e3a05ec06edc
BagEmptyBag
And
CanNotBeCase
ddef7356cabf9d2c851b49c55c3deb4dc260bd60
BagAddBag
And
TypeMismatch
b33282fff89de5d5d1a4aa1ebad4031b7cdecb8f
BagAddBag
And
TypeMismatch
7ee10d02cf6032e141198d3db6091a6eee6a616f
BagBagSub
And
TypeMismatch
7063cddf42e1248c0a10a0b1804e7624a9bcc516
BagBagSub
And
TypeMismatch
5f967abdbcdfdee0a59432d80f7aaec70ce4a720
BagSubsetEqBag
And
TypeMismatch
9a4d1efd118da3eed0fc6fe06311172207779548
BagSubsetEqBag
And
TypeMismatch
9cbaedbf9710995a7b4e63d4ea989d86ca072c57
BagBagUnion
And
TypeMismatch
b9e97ef39a2e1d36c1263f68d41f903d265170a6
BagBagUnion
And
TypeMismatch
ebf398e18d47b8a6fd6f73fc6f9227322a8abcb5
BagBagCardinality
And
TypeMismatch
a3a3518c4b36d1fa388452428b4c3adf0df9df40
BagBagCardinality
And
TypeMismatch
2c89c7d1bcca6fa00f496d5d85cdb1e42af69227
BagBagOfAll
And
TypeMismatch
67e10208f74512fc8fb1912fafa7fe5baca89944
BagBagOfAll
And
TypeMismatch
8325c3151cbaaefb8ef5cf279ad07dcf70c62b64
BagSubBag
And
TypeMismatch
520b069065093173c485b526bae8f5f180a733cb
BagSubBag
And
TypeMismatch
21370aafd18a8a54db74d0dccf8357c3ee97134e
FiniteSetsIsFiniteSet
And
TypeMismatch
e2c7e866021129e04df603525963bd0d47410bd5
FiniteSetsIsFiniteSet
And
TypeMismatch
870ccc01408a8128910ea7cc6598ca6b05f30edf
FiniteSetsCardinality
And
TypeMismatch
10370ae144b43676a8de3e9d5882eb70d48f8590
FiniteSetsCardinality
And
TypeMismatch
3725de1383e076af3ac271bbae4ca8104e2a3f8c
SeqHead
And
TypeMismatch
b5c547daa9bce8e356cb248ce9c623a76cec5b50
SeqHead
And
TypeMismatch
7b97a1faf1ad53fd184d6eae1994651f3c95f36f
SeqTail
And
TypeMismatch
5924a584a2ab1feed09502b600a204176aff5f83
SeqTail
And
TypeMismatch