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
IfThen
Id
Case Feature
Plug Feature
Skip Reason
7971c06c930039e68d2313d4502d5cbea0d3d4b1
IfThen
AndProp
KindMismatch
cf0858911e67bcf1f02a49ca9fe28246de0ee954
IfThen
AndProp
KindMismatch
b5dc9437a4366de91dd88b1614547cf5ddc39825
IfThen
Boxed
KindMismatch
628f7f8e7b38228216704085f087379abdeff37e
IfThen
Boxed
KindMismatch
1449a3af4351174e830b4c2260681effc9115808
IfThen
Set1InDef
AlreadyCombined
92285a688bf8a361f152a2c94d70923481643add
IfThen
Set1InDef
AlreadyCombined
6640f8945a277c0647dafabc675a1c9062186502
IfThen
Set2InDef
AlreadyCombined
a910397cdc3a7f44a3abb08630b5064ce82a4345
IfThen
Set2InDef
AlreadyCombined
bbc2ceda32ebe8362a96ec5e8d2b1832c432b866
IfThen
InDef0
TypeMismatch
6ee0fb6126ac6d04dcb52182c8683e0e682776a5
IfThen
InDef0
TypeMismatch
982730ca450207c8e92ad3da01022242aa698d5f
IfThen
InDef1
TypeMismatch
ad86273fe9e3856b749316a07b58c704312e2674
IfThen
InDef1
TypeMismatch
96e331e3602edaf8caa04b54505322007e4f8df9
IfThen
InDef2
TypeMismatch
eb65294476272522d5e8819b69a1607924f4a255
IfThen
InDef2
TypeMismatch
67c590611cf15cfd0dc4a1c5bc7c86ff86c69daf
IfThen
FunInDef
AlreadyCombined
073eecf990d17cea68321e6e320fc2ee5417c76e
IfThen
FunInDef
AlreadyCombined
192a3133e8f05959d6d1dcfc198e448e051a251b
IfThen
ExistsInDef
AlreadyCombined
591866df3c8f82bf06df9128a76b91d7a3b8946a
IfThen
ExistsInDef
AlreadyCombined
05613c58cf6bdb5418cf86a6ebb13b4de7f4f787
IfThen
ForallInDef
AlreadyCombined
2dfa694d5dfac6cbbdfdf45b91d05aebd86cd025
IfThen
ForallInDef
AlreadyCombined
55e4b422ef8045a35ff1830fdd547420743574e9
IfThen
ChooseInDef
AlreadyCombined
90a887fa81a2af5aaa7c1db9b7bfa6e11f2d9578
IfThen
ChooseInDef
AlreadyCombined
18c3e0d1a1291f35c7c3c056313aaa8475865147
IfThen
Except0
CanNotBePlug
419b315f650ac57ac9679ed285b66ee0f4012dff
IfThen
Except0
CanNotBePlug
920746f62011520f55c156f856ea2fbe8488da26
IfThen
Except1Fun
CanNotBePlug
18eef91e82c93c19fc6501e74da45f53db606600
IfThen
Except1Fun
CanNotBePlug
287a12dacab612eadbba479aae943a8d454cf67d
IfThen
Except1FunWithAt
CanNotBePlug
4d444c21d34dfcff7e2b6e858bd5e8d36d3bc930
IfThen
Except1FunWithAt
CanNotBePlug
897a10e850406e7009b60a71e47317ae4a464dda
IfThen
Except1Rec
CanNotBePlug
e5441bcc8aeb254de8d666be0a32942a9c44a423
IfThen
Except1Rec
CanNotBePlug
8253d40af585b90b29b983c65dc9552273a7d986
IfThen
Except1RecWithAt
CanNotBePlug
61bcfbb88f6e95659e44b2196410a9ced17c0ce0
IfThen
Except1RecWithAt
CanNotBePlug
b8a935ea7a153153979090f6caf631ee84ad0a20
IfThen
Except2Fun
CanNotBePlug
860d738726074fa37966bca0d5997d84cafadf60
IfThen
Except2Fun
CanNotBePlug
61c1432ec859beb1646f2d157c7d67d3a419e72d
IfThen
Except2FunTuple
CanNotBePlug
71f6bfe06944c3bf979735ec3ac93e49a5ac71a3
IfThen
Except2FunTuple
CanNotBePlug
d5bb6ee3590f8e3b2a81ea034dd8ad36801decb0
IfThen
DefFunInDef
AlreadyCombined
17e513749bb5c3917d25ea0633c66e050c796be7
IfThen
DefFunInDef
AlreadyCombined
fd04d44286f97670ec2e16f73411399b85f2e0e8
IfThen
LetDefFunInDef
AlreadyCombined
fcd712da11e31a8a1ec489d0fb64f7d8b6aa7f37
IfThen
LetDefFunInDef
AlreadyCombined
904a69cb9bf688f2cd104b0e44f92b33fef90b77
IfThen
VariableViewExclude
VariableExcludedFromView
fbe8fa94b7e2ad03dfe9f0456aa44b649f77bbcb
IfThen
VariableViewExclude
VariableExcludedFromView
1b2b55e276b3b23e51cc3263d3a3ea63c3246362
IfThen
ConstantModelValue
ModelValueCanNotBeUsed
48ea5182142607cacc363157c8694ff8e0c47073
IfThen
ConstantModelValue
ModelValueCanNotBeUsed
af822101072fc8dae66edd9025175f4326c0b175
IfThen
Assume
AssumeIsNotEmbeddable
64f9c2c911e71ec8f0776948ebe0a948382d06ba
IfThen
Assume
AssumeIsNotEmbeddable
6a66fe87ef6a36ff060e2805f479164a1df03553
IfThen
AssumeNamed
AssumeIsNotEmbeddable
60928e8e16c176b38cce01b7ff6c9271704926d8
IfThen
AssumeNamed
AssumeIsNotEmbeddable
0205ec19c17a9ad7e295f3a28b4a12175670e1ad
IfThen
Lambda
TypeMismatch
18e7a4a1776f9a4a470442a85172497247665798
IfThen
Lambda
TypeMismatch
52b96b8ce941eaaedb1e4c4ff35aa8491c2bba39
IfThen
SeqSeq
TypeMismatch
893e4353cc5b6c6870e9767393faa3c3bfcc4cb9
IfThen
SeqSeq
TypeMismatch
925a277195577c6c606941d0c6d88e25f66231db
IfThen
NatSet
TypeMismatch
e51ef7a9f2204b900d58fa9bac8d7f0516ff8369
IfThen
NatSet
TypeMismatch
129a51b381f16d424dc9d93df1888dc8cbf956c8
IfThen
IntSet
TypeMismatch
2fa8b2aa890503d0da26160538bb38ef558d3314
IfThen
IntSet
TypeMismatch
7c9c0e26f32fd793f08d8f69fb3ab24ed8c173a3
IfThen
StringSet
TypeMismatch
e2ce14e6742d441121a633395b16317bf10579a4
IfThen
StringSet
TypeMismatch