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
Skipped feature combinations by case feature
In
Id
Case Feature
Plug Feature
Skip Reason
8beb77dd2744c7dbce3931127cebbeeafa1e7f4c
In
OneLineComment
TypeMismatch
8b924f0c4799dc9b084baa91621088841509da94
In
OneLineComment
TypeMismatch
0f400a6c9b0dbf09fdeb50697996ecd1b9cbaa39
In
MultiLineComment
TypeMismatch
2675c0f211066929ffaff0126f3f6742a0df9d8d
In
MultiLineComment
TypeMismatch
a97e5933943eeb534de9127a82df0265b8d409cc
In
AndProp
KindMismatch
67d387ee94b54dc4e011c611a2ce158482e1c768
In
AndProp
KindMismatch
06062cc226a4052496d4dd5c529b0a8d7d92a090
In
Boxed
KindMismatch
047a4c331e336b99272fa8e6b18c13a1a69f9236
In
Boxed
KindMismatch
a440113ba5838cf99d032f5e90e5bf4aedcd9dc9
In
Set1InDef
AlreadyCombined
6999af5618d543483c0f5e1d9fdf6162ecd30a7e
In
Set1InDef
AlreadyCombined
0849bad1ece6c3c5a67ab760250edb4e868b6035
In
Set2InDef
AlreadyCombined
18b3515a61ad420203588c502c467bc8b4093628
In
Set2InDef
AlreadyCombined
796ac54327debd20a9e4cfcf105686d867b6d12d
In
InDef0
TypeMismatch
c682b8daa26b3afbd59f7cbf0e412708121e6729
In
InDef0
TypeMismatch
eee4fd7bc876eff8801608c93f776f2ae441f641
In
InDef1
TypeMismatch
8127a27b4d684ca8f5bc358f2dacd8c53c8bcd48
In
InDef1
TypeMismatch
6450ceb2a3b3671d2d575a88d1738f77b17d97d8
In
InDef2
TypeMismatch
d9d3d8ad8ff5d89a39456e97a11c7be1886148df
In
InDef2
TypeMismatch
39b8ca4044772a04a9c21d4c978480032328e5c8
In
FunInDef
AlreadyCombined
402eb527653e761423a190559b2bdfc3b2bb2905
In
FunInDef
AlreadyCombined
3d338df786488c6046bcfc11c22ae6be63be616a
In
ExistsInDef
AlreadyCombined
b39099cc7f9ea7ece4aa1da36d9ef7390690c057
In
ExistsInDef
AlreadyCombined
f974e52cc645ad4e4cf26c198d469bb1cc0ba2cf
In
ForallInDef
AlreadyCombined
700530a34981e04d8d19d722080e0629afff4b8b
In
ForallInDef
AlreadyCombined
622ed081e7fa4066e0c4ca6a36a7103b11b97daa
In
ChooseInDef
AlreadyCombined
21a57ca0e8b15d54b04e64ba182190fe1b900729
In
ChooseInDef
AlreadyCombined
c29f01ca0e2ad875d19b2e5de2d89b78782b12d6
In
Except0
CanNotBePlug
8c337d3dc4f920fb2d7f27447f07b408c8ba10e6
In
Except0
CanNotBePlug
01da1db55afbf7069abcd3705cea298ab84c8e63
In
Except1Fun
CanNotBePlug
9fc68a0fedebe8f0ba594b081e24f90d35da8037
In
Except1Fun
CanNotBePlug
e67e99a432affc314434a5fde2addfb1496f478a
In
Except1FunWithAt
CanNotBePlug
54ee127a379e27562ae5b78bf9c081ef703c61a1
In
Except1FunWithAt
CanNotBePlug
d1bd51984a203a60895b43c234f4810b20d2b489
In
Except1Rec
CanNotBePlug
11f8efecddf39ce0b2bd7ad080d7c21833f3c5c7
In
Except1Rec
CanNotBePlug
5204ebb457509be2ff714ada6f63a1c2db682983
In
Except1RecWithAt
CanNotBePlug
df6d6be54141477295f77d35281949eaae94455c
In
Except1RecWithAt
CanNotBePlug
361b441c388f0bf5abc6ced820871ed76bf35f28
In
Except2Fun
CanNotBePlug
ab9961c26156b518a391fe82e0a3693010446072
In
Except2Fun
CanNotBePlug
73c43f3d7b9a18e4094aad0b72bc34ceaee84f96
In
Except2FunTuple
CanNotBePlug
faaddafdff7bd87f738263b85cb621c3f05340b0
In
Except2FunTuple
CanNotBePlug
5bc774502c39ef9c9cf0acbd3beb2490806b1b62
In
DefFunInDef
AlreadyCombined
d6604306297e8e6d53314055304d1d5c2424534c
In
DefFunInDef
AlreadyCombined
f663655430e15d05de60bec2926143782911b653
In
LetDefFunInDef
AlreadyCombined
08f8fabfa0dad81b9477962a318bba09bc938178
In
LetDefFunInDef
AlreadyCombined
7e7d2b9a02d5dbc487befff7f60a8e8bd7a87e93
In
VariableViewExclude
VariableExcludedFromView
eecbdcab7ca1c13f7fba05d80bc61b422c841927
In
VariableViewExclude
VariableExcludedFromView
8df8785aeb9107134850229a44e872a17c8453a1
In
Assume
AssumeIsNotEmbeddable
6857ed5625c381a99deaa9e845bc1e55df25ede1
In
Assume
AssumeIsNotEmbeddable
e94718e6c0f209794b87ad315e7f14f89e7b6aca
In
AssumeNamed
AssumeIsNotEmbeddable
74ff1dd209c924e0733e2462093c6bde73996c37
In
AssumeNamed
AssumeIsNotEmbeddable
98fc5444905de4cd38cd227efee22367a1ee08dd
In
Lambda
TypeMismatch
eb2e5c0e8c75abcc0ca745ebfebe6b1e48e69ae4
In
Lambda
TypeMismatch