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 NumMinus

Id Case Feature Plug Feature Skip Reason
5049b93e54168f25e4a5c117258c5dc669c18f6f NumMinus BoolTrue TypeMismatch
05d0400985c0f0491fab6a33a118def062ce033e NumMinus BoolTrue TypeMismatch
25daef4484350b2759c127f54ca0e290d022d0e1 NumMinus BoolFalse TypeMismatch
0dc4c7929890cb80f88bf49f667f1ab47784b178 NumMinus BoolFalse TypeMismatch
ba269f3b841034b738be7ef07af7101383f4673a NumMinus BoolSet TypeMismatch
64c741b515eb33ea09505d9d80713f0a5ac19ac8 NumMinus BoolSet TypeMismatch
1706ca9a531ca834960e3a2902643e3ae30bf29e NumMinus And TypeMismatch
f0de01d2ba24a194db6057bc38faf2d15d42b1ff NumMinus And TypeMismatch
c1ad0acfbbc27910f73ace43b587907e18995832 NumMinus AndMultiLine TypeMismatch
7f7061c513d39d7720c840880eb560809a719d38 NumMinus AndMultiLine TypeMismatch
94d5c7bc5d9270768be0c66a78467b570e4360eb NumMinus Imply TypeMismatch
e22e2b8657337000d45a01fb316fe82e60575690 NumMinus Imply TypeMismatch
247a4f7ca8c76da526158a95f076ba7c3359dafa NumMinus Not TypeMismatch
640cdbb1da05210ca2adae8b0598420c95bcc503 NumMinus Not TypeMismatch
d280c4c3e3af42ffbe9608a187e9c6d32143f479 NumMinus Or TypeMismatch
fa24afd311035e8e50bdaea3bfefee4c06b9b19b NumMinus Or TypeMismatch
98743cf3c8606fd84e82016ec16b7ee1a657eae6 NumMinus OrMultiLine TypeMismatch
da7c813136a8e9124c342d3fdf870982de99fc8e NumMinus OrMultiLine TypeMismatch
8a81c0a857e7331cc97a055f9c7ba71e709d8ba4 NumMinus AndProp KindMismatch
9f535efbdebd4d8f331415d2955e8ca935bcd5e3 NumMinus AndProp KindMismatch
8c855b00a7c781687dc3a75c9b7c70048dfb944b NumMinus Boxed KindMismatch
f98f000e47942a004b02a67f689dd22d4e066d1c NumMinus Boxed KindMismatch
59fc508b9e7a86d84f53e4d9b1c7bb39b8abd904 NumMinus Eq TypeMismatch
7b7a0eeed6dbb3dff354837ccabb02cc7c861ed3 NumMinus Eq TypeMismatch
52adb4d4b46ec8eee3ebdbccf293f15fdb1c3dd2 NumMinus Ne TypeMismatch
8d72105d20e36fb577544825aae8a36caac72fa8 NumMinus Ne TypeMismatch
e515c71ab30c69804e0d19caf35782839f12ebe3 NumMinus SetEmpty TypeMismatch
73cbce0747cd5d6f28ad20b982bbba0efbf5c617 NumMinus SetEmpty TypeMismatch
972d66f86124ef0814e37370ed83501a6319c367 NumMinus Set0 TypeMismatch
ab41f1842b1e5beb3f843df13924238a0dcd3e60 NumMinus Set0 TypeMismatch
397eca6bbf14cf0204538f49c2427793b37f86aa NumMinus Set1 TypeMismatch
9f0a8280f40ee91514715f8ef489f71d14a4d2bc NumMinus Set1 TypeMismatch
293c7c0dd81e28314d21d2c79de21d8638517321 NumMinus Set2 TypeMismatch
9d4e60b8a4a0c1158469ba12667d6374af432204 NumMinus Set2 TypeMismatch
fc882bc94258a519c2af0e8004905f0fc2fc0123 NumMinus Set1InDef AlreadyCombined
2f57fb369abfb688a42dff8f43ccb97d38ef5897 NumMinus Set1InDef AlreadyCombined
8def53badf299d8b3edd636c812610f18c9a6d9c NumMinus Set2InDef AlreadyCombined
4dfff3563eca68dd75471d146815e9773f6da8cd NumMinus Set2InDef AlreadyCombined
a64977eeb5d00c53d5ffede6ec5a463fc6845ecc NumMinus InDef0 TypeMismatch
14e4e20b8b2d32de39e58f41336f5a9bddc18047 NumMinus InDef0 TypeMismatch
bdcd9bbf02ca262a3ab6fe391c95a5d48cb4d5dc NumMinus InDef1 TypeMismatch
f7595cd360b0d02d79c51d316aca3db3b1571178 NumMinus InDef1 TypeMismatch
df2229944ca1bc7bc1bf82b01650e2836dbb20fb NumMinus InDef2 TypeMismatch
82caf553f3f1566000a7fa586904c83aad58d115 NumMinus InDef2 TypeMismatch
5caf50ff2a92bae274ec289d206a004781f15d6b NumMinus Fun TypeMismatch
ea5fce855fc835eaa0f41f31fddb8125e74e0ef5 NumMinus Fun TypeMismatch
a545f54f3e94f3015a962c192b79c3a4808b4339 NumMinus FunInDef AlreadyCombined
a1c13ca6cc16e3c743343290a309a1c16ef77ddb NumMinus FunInDef AlreadyCombined
c937488234cbd5cc557220b578f16a596c155ece NumMinus In TypeMismatch
21658495b6ff5f0f4efc3e6b6635cd48ad3e3991 NumMinus In TypeMismatch
d34926a40ed4fab86d7512d96e183d2f84e69eff NumMinus NotIn TypeMismatch
2ce1bba9f4443f062f4dbee92d4cf58dea81a2fb NumMinus NotIn TypeMismatch
c1265e664389673cc72b40676d7df4d1d2ec88b3 NumMinus Exists TypeMismatch
d4d3262741eba9955fb4969ab9b135186bcb44c1 NumMinus Exists TypeMismatch
7060decc6a1286d08a4b80f6dd8f0b7bef93d1d1 NumMinus Forall TypeMismatch
0706549b5feaabad8585de1f0867b6fc7fb2b493 NumMinus Forall TypeMismatch
b133de2d8ae6e179d5ced16ac1aa7d763b958137 NumMinus ExistsInDef AlreadyCombined
3bae78351844a0f19b96dd7494454fb1fe5246a0 NumMinus ExistsInDef AlreadyCombined
89f2f14dc4e4a472a489053151315a0f5d702ea5 NumMinus ForallInDef AlreadyCombined
e2b4f7c072c000699243d56a0ceddc8cabee1ad3 NumMinus ForallInDef AlreadyCombined
db88114eb15107f54250d6987ee5712e6a15a6c7 NumMinus ChooseInDef AlreadyCombined
43009669549f6bcee9c604217e9739c76f342eb1 NumMinus ChooseInDef AlreadyCombined
4c167b7a88b259fd88e6202884fc2e226933a4c9 NumMinus Record TypeMismatch
9660bd0fcd72da6e55671cf18c122b61c20dfa44 NumMinus Record TypeMismatch
48fb199fa7969293d9e59e038deecde519751643 NumMinus Tuple TypeMismatch
f4ea3c3afb0e5253e92440168a074d069bda3119 NumMinus Tuple TypeMismatch
916109586477c38e8097cabd07278ddb8b0d48c8 NumMinus TupleEmpty TypeMismatch
43bcc5bbc3ee59f2db70800d31f95e521a520a93 NumMinus TupleEmpty TypeMismatch
50d59dff1b21af276624be31d61236936294fdb2 NumMinus Except0 CanNotBePlug
e4cc41ce7598096c5a30fce50cfd549160006bed NumMinus Except0 CanNotBePlug
ef5c7997ccf41677d763adb06dbe8b4654ff13b0 NumMinus Except1Fun CanNotBePlug
f30dae34189d046237b09d0f4ebafdf1d8c78390 NumMinus Except1Fun CanNotBePlug
adb3842a3a22d51a3c4ce49ca7c46bed283495fd NumMinus Except1FunWithAt CanNotBePlug
bf8e467ab68984e36bb5eaf0b9c6f152d27f33da NumMinus Except1FunWithAt CanNotBePlug
19a243c32d280e76976a49484a15139ac80b6f41 NumMinus Except1Rec CanNotBePlug
85c66f9899aea6ea51a1a167be0c8afd11bb25f1 NumMinus Except1Rec CanNotBePlug
14e9a95fb7a4781f59818d9c6cebc878ddb734a2 NumMinus Except1RecWithAt CanNotBePlug
31eef3e7a805b9fe5f48fef724b62b1205ee04b6 NumMinus Except1RecWithAt CanNotBePlug
3d3f2f03bf75b3a9e271e6f2954c58e6dfac35f2 NumMinus Except2Fun CanNotBePlug
c9fdf64f7ba4b4144f186c8c1b67051cd38b4228 NumMinus Except2Fun CanNotBePlug
b553e6dc61373c7668529ed583ec5d81ace75f9f NumMinus Except2FunTuple CanNotBePlug
ea21eea7f5227c91f774cdf9b67f8f2cf4e92e19 NumMinus Except2FunTuple CanNotBePlug
0873b166ff64563fdfb61747a899cd2ba018f1d4 NumMinus NumGt TypeMismatch
4bc8517b1129a550381eb84ac51468884af101e8 NumMinus NumGt TypeMismatch
40b0a386d319f45cfbe84194f9edfe5ea9735643 NumMinus NumGe TypeMismatch
fe30d634a8c172b6c5f8432a40a55add07a8b2ec NumMinus NumGe TypeMismatch
6fb9b808e1dcdf68f04cb5d4250eea8b05e6cc0a NumMinus NumLt TypeMismatch
a7ef81b925d71f1c3236edd31a4d816514979383 NumMinus NumLt TypeMismatch
2423370e4aef70ed7891a744782ba69e3b264a29 NumMinus NumLe TypeMismatch
8dcd74bb7412fd6eb335d12eaca68eafcbacf5f1 NumMinus NumLe TypeMismatch
c46fde424f8d03e143da41ea094cb0ff2e23d426 NumMinus DefFun TypeMismatch
209e0edd246fe3b5c01e96baf0bd9de0d0a6e8ee NumMinus DefFun TypeMismatch
c6d9b8631d983cfd00aca0d01a017c228846b8fd NumMinus LetDefFun TypeMismatch
fc1b2865494329c4becf8d8124687ece0d8b7836 NumMinus LetDefFun TypeMismatch
83a1ed81a3bbdb2a6f0235d248e05aa00082899f NumMinus DefFunRecursive TypeMismatch
36a8282e28f8353cb73bcb57da63ee223e397f8e NumMinus DefFunRecursive TypeMismatch
dd95552d9868dbcc5b18fd41f85cf4c4f3accf3f NumMinus LetDefFunRecursive TypeMismatch
f103e5e830c5476677f0d5ae88f842197810b57f NumMinus LetDefFunRecursive TypeMismatch
be0815e998371c90c1c003eeb270cc1759c7c6ae NumMinus DefFunInDef AlreadyCombined
70b3e6c32dfde7b1b3ec66e01ecbde168deca9e7 NumMinus DefFunInDef AlreadyCombined
ada6e0e6c8db1dad5b398f8dc678ee81db6a33bc NumMinus LetDefFunInDef AlreadyCombined
cc4e29dc564fd0396793e435f226a1216a59c330 NumMinus LetDefFunInDef AlreadyCombined
ce6c03909c5c90db0631f820f2789326a16120b2 NumMinus VariableViewExclude VariableExcludedFromView
85230f608e90cbc72bd61aa89066a2ff8926d2f2 NumMinus VariableViewExclude VariableExcludedFromView
370cc64192cff02537aad80f11122bda2576b48f NumMinus ConstantModelValue ModelValueCanNotBeUsed
264c0a25c29bb25cac17c4111e1e64a3b411973e NumMinus ConstantModelValue ModelValueCanNotBeUsed
3c879dacd56603dcdf6c98da1c2bf29d7745b16c NumMinus Enabled TypeMismatch
9594d735c11a54084f292eae2a02641115e2aafd NumMinus Enabled TypeMismatch
3302e17230addb7b20869d12cf3e7d9af7da31eb NumMinus Assume AssumeIsNotEmbeddable
888ae9102c3fcd3e3a2c25fd0da1c3a4480ba9ed NumMinus Assume AssumeIsNotEmbeddable
3bb1ce81a9c07ce70427b6cad39f77ff0d9976c2 NumMinus AssumeNamed AssumeIsNotEmbeddable
5c7158b55a834fc4f928ca370ebc479642e29d4b NumMinus AssumeNamed AssumeIsNotEmbeddable
0c4172274d0bc8a5afadcb258d9f228721fa1dff NumMinus Lambda TypeMismatch
41cfb2a9bf7ffa1f8031d566b48620bc6d750ad2 NumMinus Lambda TypeMismatch
05f2465e74ea0cd08f54af4ebaa06db638971f4e NumMinus Cross2 TypeMismatch
41a90a296962c6369be071af60af00499bd8a91b NumMinus Cross2 TypeMismatch
377efb36616eaead11be5144484affede31773b0 NumMinus Cross3 TypeMismatch
5cb157999ff346fcbb9603468aac79b700e7d4e8 NumMinus Cross3 TypeMismatch
9397d4da9c31a27bb666b7c30737dd713b1114e0 NumMinus FunSet TypeMismatch
a2f8164fa4822499e8cc8403b59769e51bbffa69 NumMinus FunSet TypeMismatch
5d815600a137761ca7e6ce2cc0e0b1272cbd7512 NumMinus RecordSet TypeMismatch
4dd1a248212337aa37c70f4c3e6d62c2f3da7686 NumMinus RecordSet TypeMismatch
1bf02d1cb37b6209f73dafe8370892d12fd53113 NumMinus SetDiff TypeMismatch
3f5ae9e59cbc610e86702aabe8e0a65df9f5ac29 NumMinus SetDiff TypeMismatch
97deb50718dce592a67f014c4262fc7dc2411d47 NumMinus SetUnion TypeMismatch
f5fd4f0a6a6fdb583275bcb7a7392ba313ce1aeb NumMinus SetUnion TypeMismatch
a15a0c54bd0df0b3ec9aa4b627f5449a9f4ff42d NumMinus SetIntersect TypeMismatch
9ec03e2d99000c16611424445da22a63a02ffb98 NumMinus SetIntersect TypeMismatch
6614a56aacaf38eb50e5604d2287f30334deb714 NumMinus SubsetEq TypeMismatch
676fefcb3cf7c94e5cb23caea8378b76e85a1ec2 NumMinus SubsetEq TypeMismatch
bacb6205e3a030c418c112219d6fea1ecbac05f6 NumMinus Subset TypeMismatch
ddaf51d18226ea6573b69827e2d4861c58e06b86 NumMinus Subset TypeMismatch
3c74294ce03db9fa17dd306829a3cbdc23d3533a NumMinus Domain TypeMismatch
d47177b0ba8429afa5030ec17c12f12d61aac1c8 NumMinus Domain TypeMismatch
cde5d01945e10d9c3c87c52d79964f22bb7792fc NumMinus Union TypeMismatch
f4838782525e5dc245ab7452388717ef43461bb8 NumMinus Union TypeMismatch
70acc70e97b97948c38ab50349fd93329e4762d4 NumMinus Unchanged TypeMismatch
82c60e9e317a9b5dc559580ab5e55a0c246af1fe NumMinus Unchanged TypeMismatch
f67eb47db8d8c32768899a979ccedc36143c8299 NumMinus Equivalence TypeMismatch
fd406312ee9f05ddd4e31dbcdab99efd264ee7cc NumMinus Equivalence TypeMismatch
dd4f7f308471e0ed91807a4758fa0ed7ab68a5a2 NumMinus StringEmpty TypeMismatch
fd9ccd856561d32d34b988f05a393398d9cca8a5 NumMinus StringEmpty TypeMismatch
d53cc154601179d0a35a6646d5b1b032292bca64 NumMinus String TypeMismatch
8f0f9e41937504e47f2b4cd5aa0268f653e86b12 NumMinus String TypeMismatch
2c4e4d70606831305096b1947d96bd4f942f9e3a NumMinus SeqConcat TypeMismatch
8bd74f86a94c3718a87b58741b4645f69f64b766 NumMinus SeqConcat TypeMismatch
62f42ac59bf879cae8bd43a46bdbac82ad9c817e NumMinus SeqSeq TypeMismatch
8a3bb2a164d95e720f1cad243a6124ad8926ffcd NumMinus SeqSeq TypeMismatch
a8974172eaa64f1338cbf6fcf899c76941ee2fce NumMinus NatSet TypeMismatch
51bc5664e25514636e2ed566f8eafe8c94b16072 NumMinus NatSet TypeMismatch
fed2dae566af266a60e94b3ff7920542cbc3add6 NumMinus IntSet TypeMismatch
665749a01476eda0f31aa161f3846dc79330c8e3 NumMinus IntSet TypeMismatch
d4ee69191c90bff5455b4dd15fb8a18c34d95774 NumMinus StringSet TypeMismatch
18d9f07738d7e10ce37983f9657734010b0612e5 NumMinus StringSet TypeMismatch
b08aebd73c5fa198ceb37239174c8b428dcc422a NumMinus SeqSelectSeq TypeMismatch
3254bd33344197a2c4511d623dd1db2c9493cc6e NumMinus SeqSelectSeq TypeMismatch
0a22cc5ed92ade8be79b65e2f56f00e46b580df4 NumMinus SeqSubSeq TypeMismatch
61c1e689ed724272f547552a4d09d95c4acaf5fd NumMinus SeqSubSeq TypeMismatch
cf029ca2c4ea1e9bcde9c1d93704f78d377271f4 NumMinus NumRange TypeMismatch
5ed47e85039b8909b3268555387762406578d5f6 NumMinus NumRange TypeMismatch
4e442261ec42430ec0c302b61a424fd8d600cff2 NumMinus TlcSingletonFun TypeMismatch
0e4adf74d1832daf2f56cfb5e990e903b06fc2ca NumMinus TlcSingletonFun TypeMismatch
4342fd0f15104640ac0236412dc1556a0d08d45e NumMinus TlcExtendFun TypeMismatch
30f9e2687e56e5525ca3a51bc5eaf127ba3f3401 NumMinus TlcExtendFun TypeMismatch
9e48ec3c7cc1044d4aada79d0fca8a147e356213 NumMinus TlcPermuteFun TypeMismatch
b90549d335eb35e09894eaac79ebc8f96757dd5a NumMinus TlcPermuteFun TypeMismatch
23ff243ee1ffda725d7d8f7af8f847121f07c511 NumMinus TlcSortSeq TypeMismatch
b35a3be4c7bc3564b1961ed12c7b98ca022c779f NumMinus TlcSortSeq TypeMismatch
4de4fa84f99cc3f7eec57d1a239f380fce340b1e NumMinus BagBagToSet TypeMismatch
5492841d913b2e419fb2c45ea2798d793974e4d8 NumMinus BagBagToSet TypeMismatch
a1294d30ec7f1dad2dc6d2f33de8b6f40c258c76 NumMinus BagSetToBag TypeMismatch
bf021bf1f4b885ef5e6d500071ebdb2dabca64fd NumMinus BagSetToBag TypeMismatch
91285a92922da47827d230ed84e430cb64afd62f NumMinus BagBagIn TypeMismatch
1546862e6b78e3210008bc09617f021a679ed966 NumMinus BagBagIn TypeMismatch
d609be9f643e962a98ffd5d086835f74dbec2f19 NumMinus BagEmptyBag TypeMismatch
58b4e12a2cd3a30b865c5ad38ab19f1a47c788e9 NumMinus BagEmptyBag TypeMismatch
734838848a5a8ed98e6e08fb6cdf5b94ec8025c3 NumMinus BagAddBag TypeMismatch
2235e216e217a702723e99a268dd1c1a0a941be8 NumMinus BagAddBag TypeMismatch
7a20f654bef092bce226ee12dd8036787688f023 NumMinus BagBagSub TypeMismatch
4b44209e55f83460630864170c51a28943123562 NumMinus BagBagSub TypeMismatch
5d70dd559afcf33b9ba3d106f737cab733da4dea NumMinus BagSubsetEqBag TypeMismatch
bf7dc8be5a3ac520c0c7830abe2e1bb57c647bee NumMinus BagSubsetEqBag TypeMismatch
0a254bcf07734f1695c1465c821606849bff4c42 NumMinus BagBagUnion TypeMismatch
71e00a72608f0abc38d41a6aacb4a92856b7204a NumMinus BagBagUnion TypeMismatch
833ae3d32aff191f672ea0fdf6c55ffb99ad0cc5 NumMinus BagBagOfAll TypeMismatch
e7e3d2d4a3177b621b7e0168ce911f055697da53 NumMinus BagBagOfAll TypeMismatch
e9f40865f2119f2551e6d0d2175dffcb78d71a6e NumMinus BagSubBag TypeMismatch
f3fc3a2f9183513abb2ca7e662b93e4ceb5b088b NumMinus BagSubBag TypeMismatch
f75abf90dba23ba118b21514e8603866cc343d5f NumMinus FiniteSetsIsFiniteSet TypeMismatch
07afac0a836544cd616e23011744b8ed1524b871 NumMinus FiniteSetsIsFiniteSet TypeMismatch
b39e73b026695a207ec500adf7d2bd5d9153cdfd NumMinus SeqTail TypeMismatch
f5591602d38786719ca2b17c414efeb6f4c0adc1 NumMinus SeqTail TypeMismatch
0d4ca95920ed53ee4d9116975312a48ba877c57a NumMinus SeqAppend TypeMismatch
53e1d01ec13505d65e0e0899446af3ff402a0f45 NumMinus SeqAppend TypeMismatch