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
Union
Id
Case Feature
Plug Feature
Skip Reason
f39bf8df5f6945677912d5dc3bd679b199fcbb3d
Union
BoolTrue
TypeMismatch
7472aa89f8de86853614e6048d93c7efbfa38aff
Union
BoolTrue
TypeMismatch
4934ee9bcbde6e97b6f8ca74498e20d8b20a8514
Union
BoolFalse
TypeMismatch
2ce26215c301c38c4d45c2528c9f005946cb7302
Union
BoolFalse
TypeMismatch
d6b20640a282246c95665f94fab793dc39fce2d4
Union
BoolSet
TypeMismatch
efeb8d9132a2b873df75bcfe3352e2ad9f1367c3
Union
BoolSet
TypeMismatch
9c4e2900f243bd156e3f3d94291f7d1f70556cd1
Union
And
TypeMismatch
986591c1e7f6924bd7cbddd9289f20eaaea316a9
Union
And
TypeMismatch
f15875e0a5bee0321a94ab02414caf569355ce29
Union
AndMultiLine
TypeMismatch
095b764c5eb1451fa168d2ccc60f3ecf4ee5175b
Union
AndMultiLine
TypeMismatch
b8b7f009c1dc57f0b4457562863977f868f00fc6
Union
Imply
TypeMismatch
d168c27ecba1fe5cc039700cb462b812c4192145
Union
Imply
TypeMismatch
d7d618bd0f565b7e3991fdb9b60062cfedf016ee
Union
Not
TypeMismatch
22a3ec224c9e7f989f0dff2e0027c121d29831a1
Union
Not
TypeMismatch
df8a45ecc5319610d6655bb9a4759baf80330d85
Union
Or
TypeMismatch
c0fa195f39e8e4ac2002987b80a5688297a5f298
Union
Or
TypeMismatch
b185f0b8291a08e6cfaffa1bb9c2741aaff64a82
Union
OrMultiLine
TypeMismatch
ed6cd4db89dbb5f1550be69928bbff54727a608c
Union
OrMultiLine
TypeMismatch
0aef07c09688cb3e0506a4cf61e8f9fe0f81f052
Union
AndProp
KindMismatch
c79372331233a7959c2d16dba4be3fd178d37c4a
Union
AndProp
KindMismatch
3c11ef717f9dd9d115b5b5f91ba7dfbdffb36147
Union
Boxed
KindMismatch
c7244d2777bf9d8757741b082bf683bd91d601e2
Union
Boxed
KindMismatch
2d9c35f03b2b492b03ca8bec13996c3c91d84ce6
Union
Eq
TypeMismatch
582e9cc0983eec5da81eb570af8e3e2687869050
Union
Eq
TypeMismatch
b754a2942d2423c1facc513bac58124fb12072cc
Union
Ne
TypeMismatch
08980b37a83008f5cf8f39b650a336f675ca4369
Union
Ne
TypeMismatch
4c14a51f9cbd34da11a75ccaf0c58fc8d6f2f5a7
Union
Set1InDef
AlreadyCombined
5a653d48b7d7ee034977688045abe8c25eb1b0b2
Union
Set1InDef
AlreadyCombined
34cb727f107ac53cf15ba13d5b194af95cd5bece
Union
Set2InDef
AlreadyCombined
27a83d7ef0a0bf41116d5dc7199013740489e16c
Union
Set2InDef
AlreadyCombined
cd670e3cbe84e8f9757e33ae559ad8d1343825f7
Union
InDef0
TypeMismatch
6b3e38e135da3e9104d95cbdab65ddf6657c0bf9
Union
InDef0
TypeMismatch
96ce4535105825d8b989e36321ad1b87d91461d5
Union
InDef1
TypeMismatch
d01628fcd17bb49e8fc5da9c314e32c6b39732bb
Union
InDef1
TypeMismatch
13671cf7b26858bb71cd5ca39e7a3dd5ca19db1e
Union
InDef2
TypeMismatch
7043017c0135ec094710718d54e1533d0ce7eab1
Union
InDef2
TypeMismatch
c692f874e5ddb939e8d13419b9a86d21ce117063
Union
Fun
TypeMismatch
9528033ed010eacdcf853090c399e7bf38a9247c
Union
Fun
TypeMismatch
d6af8d8b8b326b39a696177bd776d1388788cbaf
Union
FunInDef
AlreadyCombined
c6161ea15c31b39523e4038584dcc2b26dad80e1
Union
FunInDef
AlreadyCombined
e9ba37ee2826052b92b78d7c61a036e4d818c797
Union
In
TypeMismatch
151aca10f3250cab54b488f342b8aa7ea3bcea97
Union
In
TypeMismatch
87d16d2f6fcca54e2d0df132cf92ddbbdfd9bc62
Union
NotIn
TypeMismatch
e91317d7ef13831d374a6d884eec15ef8568a809
Union
NotIn
TypeMismatch
21bd61e46517c067b052dbdc789168684a3c553a
Union
Exists
TypeMismatch
ea7775caff3fcd703cb79fff35d336c01dcb80f1
Union
Exists
TypeMismatch
468219190f74854ab65395e9b57d908349b67ccc
Union
Forall
TypeMismatch
92816eff2b0c106345341e4e9e2c626c33546b0c
Union
Forall
TypeMismatch
f425a64d5676b750d99996279f443dae3038a250
Union
ExistsInDef
AlreadyCombined
817263ff28873ca00adeba7c8b156e58e04d5191
Union
ExistsInDef
AlreadyCombined
3fddc9ca71cb195bf3fea1aa9c8dc9330c255052
Union
ForallInDef
AlreadyCombined
532f6bf03d0a51170664367eb768c5bd299144f9
Union
ForallInDef
AlreadyCombined
9be38abd527794ae54e12da9468bad3d422d50b6
Union
ChooseInDef
AlreadyCombined
718ae5ee4949654b9acdbd052faa023e4b0389b0
Union
ChooseInDef
AlreadyCombined
3dd3fc9a3e0bc5ed1effe7469107249e019023b2
Union
Record
TypeMismatch
5f798173d81bca686945b6230ef49a79edb6c392
Union
Record
TypeMismatch
7cbae0360091276c74f500572ccf375ca3999693
Union
Tuple
TypeMismatch
7945b18da94380d49c255c01c51326df30096dac
Union
Tuple
TypeMismatch
5cba53ba67304da7f69578c58ee28e18aab831e6
Union
TupleEmpty
TypeMismatch
1b1baa02e5daf9de95994ce6fac8edd9bf96fb18
Union
TupleEmpty
TypeMismatch
c167d942d5551b1e625508e04b148b6001a021bf
Union
Except0
CanNotBePlug
da4d29ebb5891b6c901920837cf35279ce22a74c
Union
Except0
CanNotBePlug
bc26fbe3f63bda54ae4c0cf08d5d26d66a3eb37c
Union
Except1Fun
CanNotBePlug
196e58db526c4ee84b541e523cad205c11c50af1
Union
Except1Fun
CanNotBePlug
499888f573f5d015782efb46b48ad700aa1df41d
Union
Except1FunWithAt
CanNotBePlug
4e78818edcb2825b6332bea7bd986f63c516be16
Union
Except1FunWithAt
CanNotBePlug
ffb6704f386f4bf79784c89ea5dcbc030aba18f7
Union
Except1Rec
CanNotBePlug
a06f10a24d1ceb0a127c47197a2dea43b3832228
Union
Except1Rec
CanNotBePlug
5475131cf8a38367a9a99094be489fcd7bec579d
Union
Except1RecWithAt
CanNotBePlug
a5734cb21c4f3ebb135b8cd8ca6459743317f54a
Union
Except1RecWithAt
CanNotBePlug
8d55bd10596b6cc7cd9488dd9c18f5d7255b8f02
Union
Except2Fun
CanNotBePlug
c55a1890365bdd4e1612f58b1ca29ff0da335e3e
Union
Except2Fun
CanNotBePlug
3d5af166ecdf5961c051ecde944051f4ad103017
Union
Except2FunTuple
CanNotBePlug
6da236b2b1b1b8bd7a6326a4b0379fd4e28b802a
Union
Except2FunTuple
CanNotBePlug
f37dacbd79ba5160f001a79b7b72ee87b0fe5fab
Union
NumZero
TypeMismatch
589665229c24c75c4f8f1d97350ac75f6bd4f969
Union
NumZero
TypeMismatch
4bfc511c7f54232db129ecea53f9ae28e76ebdc5
Union
NumOne
TypeMismatch
218bc48a270defb89eb4539c3a6b0507f40a5464
Union
NumOne
TypeMismatch
1700c105b34ccbddedd7042ba5aa29a1cfe30fcb
Union
NumMaxInt
TypeMismatch
bc9fde4e9c3c9f6ea348c2ffcfac5f3a0cde32fc
Union
NumMaxInt
TypeMismatch
18a779e88b6fe6d7b566c0a9ea5a85b20091bfe6
Union
NumUnaryMinus
TypeMismatch
f2367e07cb043aa91952f1ad12fa75a8edb296f0
Union
NumUnaryMinus
TypeMismatch
93256a625ef5d54a274db92692892c9c20b4afbf
Union
NumPlus
TypeMismatch
5c32ca6a11bc64e3e32b652611e11d0a48e005c0
Union
NumPlus
TypeMismatch
8931d5e49da91cfd1682b513920e61ab4fa7af6f
Union
NumMinus
TypeMismatch
5098dcbc6034c720abad9fe9bca128ffee84d936
Union
NumMinus
TypeMismatch
394e3c64ebbcd19b28883b7de771f7ac221c702a
Union
NumMul
TypeMismatch
98791de9c2d0f5357f525b82e8b2423baa12e46f
Union
NumMul
TypeMismatch
b2232f0efe2aa6ac42404e838a2b7d77ca0519cd
Union
NumDiv
TypeMismatch
08597ac9b67bf37222660f6ff95a08747413582c
Union
NumDiv
TypeMismatch
a79945175729d4c40bb2f69748b99803a408c080
Union
NumMod
TypeMismatch
32d43df48c7847e7bbd089c5d5ec24735932150e
Union
NumMod
TypeMismatch
fb196f4c3931fbc61ab385276f19fa1deaf00cfe
Union
NumPow
TypeMismatch
6e83c7d8d2cf44a1d5fa8b4e456b8f1305b77f3c
Union
NumPow
TypeMismatch
4ef19a119a95373c842567ba212c8300c9474c7c
Union
NumGt
TypeMismatch
6e0c413ae831ad276d503278df7a612dcd818ac9
Union
NumGt
TypeMismatch
e5ece5b30f2f3e4fb69bc6cd96ac745ea461596f
Union
NumGe
TypeMismatch
593d05ca561b567e8de6d33a7c682fe733b6652a
Union
NumGe
TypeMismatch
18510aca4ce3c467a9ecbc4b9b0bfe5ce1a7b42b
Union
NumLt
TypeMismatch
613bcc54f7d1c8f15870595fb2f93da2a610a2bf
Union
NumLt
TypeMismatch
a545fc962be535d5859162cc6e4d26560edf3743
Union
NumLe
TypeMismatch
01be166e48a78e8622008323c6e4a7e50e5160f7
Union
NumLe
TypeMismatch
97bae7e062ac3f796195ae5385ed21db355dcddb
Union
DefFun
TypeMismatch
a5874b203d84f59206893c1ba1385e9982f27323
Union
DefFun
TypeMismatch
7324f4381275a47918708af8088268441ba957ea
Union
LetDefFun
TypeMismatch
5d5d013cf3146dc281b737bd2d5a7ada4cbdc06e
Union
LetDefFun
TypeMismatch
b8853c0784cd55a1e5e424a0a4702c886d3a266c
Union
DefFunRecursive
TypeMismatch
9f14912621e1926e6cabc47cce2c02217eb7eed2
Union
DefFunRecursive
TypeMismatch
3f5f52961be43642d262530900cb7e4f39ef235f
Union
LetDefFunRecursive
TypeMismatch
ec2efd256f43c99bb3f2996c20afa092099557ff
Union
LetDefFunRecursive
TypeMismatch
d94079c39c3aed005543e3c78bd5e37fa40e1064
Union
DefFunInDef
AlreadyCombined
a13cf213d617152d1c9d5790aff717773cd278d0
Union
DefFunInDef
AlreadyCombined
527b10cfb4d70f859dc1ab4555c5b871dec22748
Union
LetDefFunInDef
AlreadyCombined
edd32d2b405c26f2b4b26a1863a05fa69fc76ba2
Union
LetDefFunInDef
AlreadyCombined
d6a1c1c51805b78ecc19f6b53fcfc930ceb1d7bb
Union
VariableViewExclude
VariableExcludedFromView
1af8b98c78c658c84869aa8a671157553d9b84c8
Union
VariableViewExclude
VariableExcludedFromView
a2db25ed566fdf6865ead549149ef37315fd0f73
Union
ConstantModelValue
ModelValueCanNotBeUsed
0056fdb36a8b735a0ecad91d1d3e3ff8136c8b53
Union
ConstantModelValue
ModelValueCanNotBeUsed
9c4bd827e0eaf855867347fa352af60d8421fad0
Union
Enabled
TypeMismatch
c38c42033bb363f0adbea45015ca6fe0f4620256
Union
Enabled
TypeMismatch
0911e1ab362d02b1d9d40e23ca3714f9081bd354
Union
Assume
AssumeIsNotEmbeddable
8e3f543db58d5462b1bf0d9970184025ab32573c
Union
Assume
AssumeIsNotEmbeddable
3293645491d70193c251eaf84939426626144dda
Union
AssumeNamed
AssumeIsNotEmbeddable
9491ea8192947b3dceb6c7c7a6e76c6af50cae37
Union
AssumeNamed
AssumeIsNotEmbeddable
803c85702e5dcbcdd6689b99c07191bd5ef1dd41
Union
Lambda
TypeMismatch
cb01aa3b2a094549e57b095e03224a61fd1fd01d
Union
Lambda
TypeMismatch
2e92eef4ee75eb8d03e939a429e345addbaa62f4
Union
Cross2
TypeMismatch
8a5dcb2ea15c733da64342f976b77cca8c1d24fe
Union
Cross2
TypeMismatch
fb9bfb5d287bdb3c4495102a2d6e4d03b06362b7
Union
Cross3
TypeMismatch
bb9ebcb20eb0335ac8e2eb3ad3c388c7e8a6dc31
Union
Cross3
TypeMismatch
d2bdf7841315f33a4d5b7c938b30751578dec400
Union
FunSet
TypeMismatch
bfbdd12f957681c80c9b4d9c32450322fe2bd611
Union
FunSet
TypeMismatch
650a6cd7b8afc794b8f48d0d008c141ec3e36211
Union
RecordSet
TypeMismatch
5756a3ac0fa21f94e92207ddc541cba0254ecab2
Union
RecordSet
TypeMismatch
5499aecb50438bd4fb83cfee8cdfccc44db839ed
Union
SubsetEq
TypeMismatch
8ac2461dd3a9139cd7d5bf3688d2ac193cf8507b
Union
SubsetEq
TypeMismatch
d6269335f9f4a2069b2ad625b4835b0bc467099f
Union
Unchanged
TypeMismatch
389d0eada654d244d452f268ed091a5b432b5a8b
Union
Unchanged
TypeMismatch
fb09d203e38d1fbc0355c8524fcda00a4773d6f7
Union
Equivalence
TypeMismatch
b591a6b4d155851dd4e60b3ca2f7a8e0ded729f3
Union
Equivalence
TypeMismatch
66d982b73a5bd6046a4eb35ce7e8c8c3dc9d0fdc
Union
StringEmpty
TypeMismatch
92b37f8b7ae6133e0fe2a0d06935ff095890afb4
Union
StringEmpty
TypeMismatch
7c6f2d4646482ca9edc9ea92e981249f92165271
Union
String
TypeMismatch
b4857311b8192f31e440b6a7488116da66d4587e
Union
String
TypeMismatch
83106259caef50bfc7fa26c1a177f7170dfcf69b
Union
SeqLen
TypeMismatch
132622da32ac0101f8df1355219c91939611d7e7
Union
SeqLen
TypeMismatch
a9dcef73e8f524ad9faa267865c299bfb8c06fe5
Union
SeqConcat
TypeMismatch
a901545c2d2d9e4bdfe6c44f470293e11613258c
Union
SeqConcat
TypeMismatch
434d9ee50702c203645386c0d67ab3424917e8df
Union
SeqSeq
TypeMismatch
7984247ef4aac9babdb60f49a288f3cdb0d5f677
Union
SeqSeq
TypeMismatch
a8e878a4d840bcdef29c4baffec64f3143b27e52
Union
NatSet
TypeMismatch
ce90acb36a9568f4a4a7001e3e7c6fbdb2386ec7
Union
NatSet
TypeMismatch
b769287506dae712322619516be119e032744aa5
Union
IntSet
TypeMismatch
5729cfca70900d107127e5a234804823239dfa1a
Union
IntSet
TypeMismatch
9b51098d2bd9d39c00d61e964277463eced07c2d
Union
StringSet
TypeMismatch
5919bae5c3a533a5b28c0e6d5c49ef263c913b1f
Union
StringSet
TypeMismatch
b27b4e40f0cc79a38a23e5bb0f4b24972b617b33
Union
SeqSelectSeq
TypeMismatch
9e15619e66fdd44f2509af809783f113ecee2e36
Union
SeqSelectSeq
TypeMismatch
c8992e30c91013cb7c5cc6cd08f6650e79671cf9
Union
SeqSubSeq
TypeMismatch
50b43eca053b1173c557dc6e7d227f76bc495b1d
Union
SeqSubSeq
TypeMismatch
1c389c7f7669b0f40fe4faa9e51aade41e6e4eb3
Union
NumRange
TypeMismatch
1f217e4936cfbe3f874e76a294f1d074faf13ec6
Union
NumRange
TypeMismatch
313e565cdc8606023a37f43dda787c0da2ad0421
Union
TlcSingletonFun
TypeMismatch
9f62cbb4b33c87593aa7b5076b56c2191cb87394
Union
TlcSingletonFun
TypeMismatch
8a5c0fd48692b16b56be61b1bd1b95b9cf468b6b
Union
TlcExtendFun
TypeMismatch
559c8119dc04122ed1be52f6d1d34cebaee8cec1
Union
TlcExtendFun
TypeMismatch
56edd69278bd94822c0d9d10c4484bf017688f2f
Union
TlcPermuteFun
TypeMismatch
8847b1515d9cfcd502e3a5a8e18254dffeb917e3
Union
TlcPermuteFun
TypeMismatch
82c6075f42c0d01a2bb0008314bd687f0378a322
Union
TlcSortSeq
TypeMismatch
26d0b4b7726f797f6211c72a8ee77cc50b08e689
Union
TlcSortSeq
TypeMismatch
b60e005c72aa6ca3a3661942df8701f47923c333
Union
BagSetToBag
TypeMismatch
07fa7eb4715049a0238bb28ea110055d9acb8f74
Union
BagSetToBag
TypeMismatch
0237e038b4750efa6f84e3278f95b7f2acc02524
Union
BagBagIn
TypeMismatch
f1d0d47d41007cb9a3d1cc97f97a730f34785761
Union
BagBagIn
TypeMismatch
879d96e25308f03e667ed3817ba405d8d724f419
Union
BagEmptyBag
TypeMismatch
307b6c4ca4f6469d651f9cb72be9175a8c21761e
Union
BagEmptyBag
TypeMismatch
fcd98b6f0c18dd43564e46b2a16e0c9622602892
Union
BagAddBag
TypeMismatch
24f61efc7236ed6ae17de8922858a68c0383e74a
Union
BagAddBag
TypeMismatch
3324c77a65b8d082c42c97a67a3cbe4d78a8d2d4
Union
BagBagSub
TypeMismatch
84d2778f1ffa1e46b9bdadfa7d807e098f115a80
Union
BagBagSub
TypeMismatch
86e59c04bffe501e9d28f3e1ca38f5b3f5e4858a
Union
BagCopiesIn
TypeMismatch
627e58b15bf942d4dfb9ed72fdc5ff3cc250cd40
Union
BagCopiesIn
TypeMismatch
7389036ae2fe2d85823b5b03baf67c1ae051792c
Union
BagSubsetEqBag
TypeMismatch
87a09abfb6ceb62b507c6b67aea9d8b00a248e9f
Union
BagSubsetEqBag
TypeMismatch
5f4e8b4552ab4c26bba6c578e1989bac9ec07ee3
Union
BagBagUnion
TypeMismatch
9223180856ca60a642307aaa8ca028a0e3aca0d9
Union
BagBagUnion
TypeMismatch
a44f40a73cb60d8d7561ffe2473408410c42aad8
Union
BagBagCardinality
TypeMismatch
9e566112ca0e45939e199808a12d3ad68aba1848
Union
BagBagCardinality
TypeMismatch
21e94715455e894670e1e3cc9fa40da9731e5bf5
Union
BagBagOfAll
TypeMismatch
46ec17a8a06efdb4a90f3f7cc89e5234c2c291d1
Union
BagBagOfAll
TypeMismatch
fca4af4dd2b014c19ea6e45b2a87c0f05503929e
Union
BagSubBag
TypeMismatch
6c60dc08d87e4d2adad42773f27d3d18ba8a4186
Union
BagSubBag
TypeMismatch
e845e41e29e9f43875aa952eaf261d5342abec81
Union
FiniteSetsIsFiniteSet
TypeMismatch
3b9a427292df6bfdfb4ea94eaf41561daf7d6acf
Union
FiniteSetsIsFiniteSet
TypeMismatch
4b27492d2e9eec7bc552db87264fff515d4d4acc
Union
FiniteSetsCardinality
TypeMismatch
390c05c726713b3ff15868f2383d383014d0f00a
Union
FiniteSetsCardinality
TypeMismatch
33397d4c318fe9d6d4109aa03e90ea5eac4472d6
Union
SeqTail
TypeMismatch
6f689a5d527ae72fd928785ecc6596e081f75442
Union
SeqTail
TypeMismatch
87c7953410a9caf8da54c78ba797d88bd2834550
Union
SeqAppend
TypeMismatch
57205b67876d407f90b00ff818abf87d2edc18de
Union
SeqAppend
TypeMismatch