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 case feature
TlcEval
Id
Case Feature
Plug Feature
Skip Reason
87ddfbec50f516c7ce6b4e65194ea3c048bbf821
TlcEval
AndProp
KindMismatch
a7565ad601a5bded5368edab6231344afdb836d9
TlcEval
AndProp
KindMismatch
899124e7a7534617b2325174d4124d8fc6078fba
TlcEval
Boxed
KindMismatch
d664c0e7620a9f9da4b92dd8c94b1a830a463013
TlcEval
Boxed
KindMismatch
b1bc6af60dac8f993ce2fd204ce1f6159fc1d634
TlcEval
Set1InDef
AlreadyCombined
3dd7dfb3a3b6d474e9090f00dcc29087bd33c327
TlcEval
Set1InDef
AlreadyCombined
61db611d9186fb991c0543fe33122a905d3cd5ca
TlcEval
Set2InDef
AlreadyCombined
9d4fead3644d92fa434be739260b6d4bfdf82099
TlcEval
Set2InDef
AlreadyCombined
276855370ca9511a7d5ab41b9b65038299b111cd
TlcEval
InDef0
TypeMismatch
adceefcced127a82905450136443024bebe30cb3
TlcEval
InDef0
TypeMismatch
699347a11d9061ae37c35527504d3b0512ca40dc
TlcEval
InDef1
TypeMismatch
ad81e8b4d274180f32d0c43363160019fd9fd110
TlcEval
InDef1
TypeMismatch
520d7c00b0c9ec6c9f2614cfce6422d03cc0d6d7
TlcEval
InDef2
TypeMismatch
0a1b5cc9fc6b8fd95b544be8a083e8155e823809
TlcEval
InDef2
TypeMismatch
af5b25ea3257253f946e769253d16cfb0dbc4d44
TlcEval
FunInDef
AlreadyCombined
5b5f2763de84c9042035eb32850d259743e29216
TlcEval
FunInDef
AlreadyCombined
87a94254210d54ff354b5632894bdafed4fe9fcc
TlcEval
ExistsInDef
AlreadyCombined
61a99ad53effe8e73def20af4b2b98091d4b4851
TlcEval
ExistsInDef
AlreadyCombined
ae484a2fbf49c5af237f21615d345b436d6a4c2a
TlcEval
ForallInDef
AlreadyCombined
f79f8e24ca5ac81e0b70ef09e203ea9b8a42a0fc
TlcEval
ForallInDef
AlreadyCombined
bb3d512329457901ddf9c0e0280b91d661ebe336
TlcEval
ChooseInDef
AlreadyCombined
34efc2ba0456dc9b3a69269f78a94a7f411d5ca6
TlcEval
ChooseInDef
AlreadyCombined
e489c9ba178dfe599824155d59cea9ba5b61212c
TlcEval
Except0
CanNotBePlug
97c0bb086dbbd65abf2cee69503e0a524d4450fa
TlcEval
Except0
CanNotBePlug
433f20e760caa018e32e7aa04401f305b8b261d4
TlcEval
Except1Fun
CanNotBePlug
b48b19750a6a676a31b5cc516be554b3c61149d4
TlcEval
Except1Fun
CanNotBePlug
bbcad838a2df0cb8f249cd39af720b0892439a39
TlcEval
Except1FunWithAt
CanNotBePlug
2eb2453228b7b2076f6270c1799f33548989ca01
TlcEval
Except1FunWithAt
CanNotBePlug
8530f2f6b25a2310ecddba9f2f9bdcd1983c8aad
TlcEval
Except1Rec
CanNotBePlug
0b29c9b379bb357b90dd76eec702a00507525508
TlcEval
Except1Rec
CanNotBePlug
398dea751caec603ab6e92b82e4e775870e91333
TlcEval
Except1RecWithAt
CanNotBePlug
38b535507d0b962d11aa106a718261e58e0b4d2f
TlcEval
Except1RecWithAt
CanNotBePlug
7adb782f7f4071276ea5c1f93425a59f7229d8cf
TlcEval
Except2Fun
CanNotBePlug
2f68ac5144c1cb7c847ef00c91285d0c11f310be
TlcEval
Except2Fun
CanNotBePlug
3f70cd24f621b8a26daa3880523cfc53af2e000f
TlcEval
Except2FunTuple
CanNotBePlug
992f83c7086da9b6aaca792da57f122f4f813ffd
TlcEval
Except2FunTuple
CanNotBePlug
eef2b09059199cd009612ea1e4d2406b077a8e30
TlcEval
DefFunInDef
AlreadyCombined
6f9b5ea15d618a88fd819a1974e2bff0dc1d4104
TlcEval
DefFunInDef
AlreadyCombined
b2186713e46a8c26b0ce6d35d58f6c00a9a0aa9c
TlcEval
LetDefFunInDef
AlreadyCombined
6f9c9e28682a5049fc8a644d06df867345dda185
TlcEval
LetDefFunInDef
AlreadyCombined
5035a09b6f6267b9677c1fa5760062ef00188345
TlcEval
VariableViewExclude
VariableExcludedFromView
f0a19c412b8d39007fa077655f589ea324f66259
TlcEval
VariableViewExclude
VariableExcludedFromView
b63c9457ca4bfda39a704ae78d3a7c20c546589b
TlcEval
ConstantModelValue
ModelValueCanNotBeUsed
1ae2868141c72cf4c37fb06e93b655bf7d6870e6
TlcEval
ConstantModelValue
ModelValueCanNotBeUsed
318a5f92d69489af13b18eacbed916fa023e1c0d
TlcEval
Assume
AssumeIsNotEmbeddable
5671663196c7f50f2bbb8e6da7053d7bb7c386e9
TlcEval
Assume
AssumeIsNotEmbeddable
efb46e444d3854617921c51442c39a8af62ef9a5
TlcEval
AssumeNamed
AssumeIsNotEmbeddable
b80aa7b5ead41dbb3ab4bc5043ba0bc85dff3eb2
TlcEval
AssumeNamed
AssumeIsNotEmbeddable
442df1cfd1fd7677e4cfd4a16b0ca0a59126437f
TlcEval
Lambda
TypeMismatch
188afcaa7d32c4728724681ff9ea42865cf9795a
TlcEval
Lambda
TypeMismatch
590728bb8e469fe6eac68d4c12a4e368ce3a47ea
TlcEval
SeqSeq
TypeMismatch
cbf5403175cf2df096c4cfb82b8bc6ff087a84d7
TlcEval
SeqSeq
TypeMismatch
867a952ec2c143823b476c884555d04ef0053adf
TlcEval
NatSet
TypeMismatch
a908c6552a3e5695d81733099f4a3a8522381d81
TlcEval
NatSet
TypeMismatch
1594d8e15f916ad45f5c8c74568b120013440f72
TlcEval
IntSet
TypeMismatch
557ebbe04d0e127227cc69c1b012af8b4d04e465
TlcEval
IntSet
TypeMismatch
c92b9fb9d6b662663e071cde244b720dd765deb0
TlcEval
StringSet
TypeMismatch
cc65ee3504b2913a437cd1d1165349c2e03b432a
TlcEval
StringSet
TypeMismatch