Index

Tests by case feature SeqSeq; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
145c8a8abf1359e74b6a0e168d526235a3e5bc51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BoolSet True Passed
885d9c9b31c5fc90fb9671bd46eda03367a87352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BoolSet False Passed
d06a5e1befcd03ff42fb931f364323fe716a5377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Let True Passed
afef93ad1675438c611d45c586ca4b8e0b3737f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Let False Passed
90750b79221ab9348257cc3747cdd5cb1669061e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetEmpty True Passed
7e38a47e37760a1924b27bbb68060add588e1a09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetEmpty False Passed
2560ae6053764aeb0754bcc6cf2cd9a215d80363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set0 True Passed
a60966877fc01c52b5b8125597a4c53535662908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set0 False Passed
83d2a9b12b8d9b80812181ecb2c49da10e7ed52f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set1 True Passed
0b929d21bfe44d4b7ff4519141f415c967871d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set1 False Passed
efa95ee856e8da9bc0895b31793b4cf3b1199581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set2 True Passed
90da4bdeed109b01041f3b06f82d4729e0e52da9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Set2 False Passed
e4165feb36e00a20a28b760c367c4c3d0c258483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Choose True Passed
9ac89807f39a5e87e03fcbc65bdc7b2a70e424a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Choose False Passed
08695d7cc005397aba96e4a7c9a78984490abd2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunApp True Passed
1fd154f9789dbbef1a04610d31d3496f89827410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunApp False Passed
c76c7967016024a1144ca814dc0fbcd209d76197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Prime True Passed
ffbdd1f9b9ee236b71fc5cab7f61b38d2cdb8f30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Prime False Passed
7e6543c19cf2f66eade934ff6ed36679f8ea2dc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def0 True Passed
aecd761c5b451d1146e93edcabaf1705fac9656c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def0 False Passed
1578a4abb195189cbe6b85cfad9148778c1017af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef0 True Passed
99800f1418f83222f07490e19c740c48253a98da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef0 False Passed
ae711203e5e3f16cff204b20605b0d595dce20bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1 True Passed
9b84c7981d5e870e519cc47e527416159661686f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1 False Passed
3d9d8702d15bdcbab74cbe606602c7f327a3318b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef1 True Passed
801ec886cf1c39c7ae7fe08177b2a8aaa852e7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef1 False Passed
60f3c9aa032bfb129cfe2b433ec8b303093bc36e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def2 True Passed
1f23858b55e2dd70ec3e34ab7c8ff667157e5954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def2 False Passed
c3678eaa4caa65176c2a25dd7227d4ed58f0c323 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef2 True Passed
428f96caa3f6a89d18eb58cd20fd5ac9d2d01fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef2 False Passed
5864f8f485ddcd9841a0a7cb9674aa1489665200 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1Recursive True Passed
497e989c5e916f5c5b2b2e49c691f8b0852c500f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1Recursive False Passed
7867d2a422352a80cef26e663a1178c88f5586f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef1Recursive True Passed
8e99d9088f23593bf4832cad64f5cc2f0d789ebe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq LetDef1Recursive False Passed
96a48be19fe3303ff0ca08b92b1b75128c2ab656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Extends True Passed
b823489c0e0f9e826920673dd840aec514052823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Extends False Passed
3bde2cae536ac6c385d5d21cd1411258f1e5b4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder True Passed
e191fbec2187ca4227c986fdd3720aed167be687 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ExtendsInDifferentFolder False Passed
a683e9f3cca8e6a489867eb361ded4c3840f2381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Variable True Passed
2afc5d68bdfc456bdad8d183c01dbe3d8fafb33b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Variable False Passed
71e334d0571eb7deacaeafdf16c610c298ce6c22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Constant True Passed
97e29240a9a939c90e0008369194300b3358dc8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Constant False Passed
25bdcf1aebee3a97e9926e01233c42956de53227 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ConstantRank1 True Passed
d75248628682c4830d3b4b86019e2ed7ee120c5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ConstantRank1 False Passed
36d181e097d8cc24552e2078a779eaa71a426fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Instance True Passed
6d2fbf41f4f591abab3cb27a872236cb99788519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Instance False Passed
a6f81a30df2ae1057f5eb42d2be7492323bf8364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWith True Passed
37255ce8c0b834c4e76124de90b977c3444bf46b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWith False Passed
29a3f681ad3083ea2ed2dcd48acb334a7bda06dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamed True Passed
8a78e47276bdb3e640d0d09733b1d9073e61d185 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamed False Passed
f9df3bf11f9a000058b2673e6763ff5d0ddf0b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWith True Passed
7d980b04d2b421e1bc4814c703d5e43ad9675ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWith False Passed
fde63769a100e1c35e700a884a2ce564b238ac37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceInFolder True Passed
e31e9c20413c97703231f14bed3c6a7d137c04be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceInFolder False Passed
e8580567866c4a09724382b802718d9f6c7dfe25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWithInFolder True Passed
ac09c66692a078eed915804fe251011352e0c5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceWithInFolder False Passed
3b1e01cdceedf8b8d762e151d0784914c1bd5733 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedInFolder True Passed
875f13449285ac8318d0c50dcd71a910d8cc3903 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedInFolder False Passed
335d7d1ee054e0698fdcc48dd881a6ae174380b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder True Passed
4959bbe29482bb0c11f25a3600912e15e70068f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedWithInFolder False Passed
7e78c93d888d096342a34984c37f975b8686d9ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross2 True Passed
74f40266ffba76b3a8e9cda7437a8dd9116ee83f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross2 False Passed
749be1b449839ee80f0fcbac630773d8406b37f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross3 True Passed
ddf3a3cc8b97421223ffaae1699344421c0b6318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Cross3 False Passed
596db0b143a8248f4826623694725d773fa30da8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunSet True Passed
a3b0a18da350c691980f7004d94e6cd63f0d1e48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunSet False Passed
a150c38229e7033f7c10cfa1b5f17ce854a07efc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq RecordSet True Passed
45e0c6316f35247442f223b22e0c9665d6aff017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq RecordSet False Passed
146fc5399e03a1d1996c6a590ea9f06c2a5110f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetDiff True Passed
93a7dd689e9be37f0e51823bee71cc749f6738c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetDiff False Passed
4b5c90d1ac83cc273c03e31b4ef751ff736ac777 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetUnion True Passed
43de0013f1414e5b09631321f12210710972978c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetUnion False Passed
24b5b21d30e2776da492ea26d4db0add4ec85c51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetIntersect True Passed
dd5f4ffedf3450d2dea47f6cb6a20f2581cf728e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SetIntersect False Passed
a7d50883a0ffc9e397cb736978df3acc1f6e6259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfCond True Passed
76d50b55be35af8507d4d6ef5c60ba4758cad02d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfCond False Passed
511da56c944523b1718494beec4e95f1fa504885 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfThen True Passed
6817f49230eb6617177762e9a29d84bd3d2e12ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfThen False Passed
113cdc6ce968f6698ff95c313f261f12d8232df8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfElse True Passed
a9d1b8959438fdedbbae7431e73d74a1487acca1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfElse False Passed
232083fb58175f55fb6b970d449b2e437648857d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Subset True Passed
81f2bf93a7e96b54adf12f07cdcbd2cc3c336757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Subset False Passed
3fd7d101623e0596fd6efa366f1d6699ac09caca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Domain True Passed
71d447bee81c70a93abbeffc92705f3b51c2a368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Domain False Passed
99bdda5ad09fea7e0c865f16a64d617d7247a3ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Union True Passed
787723d030a2523795231c1529c3b3474e8cd434 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Union False Passed
13a24f255bb18591b082a90cf588872d1fb410ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SeqSeq True Passed
c3c9f9a188e648772d07ffdadaf474c82e9dc239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SeqSeq False Passed
ee9129b63c1b6a649c36e543685b8c860c4dc272 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq NatSet True Passed
997274013b2473d5b355cde3d1841641e6b78854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq NatSet False Passed
603a5b89872eba5e26a99e09193c0c581f09681c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IntSet True Passed
c0f0b248c84ed78778f67322d36e4f11f1157e87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IntSet False Passed
3ea5d7b54aceffa205574613efc5120f2a0a847d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq StringSet True Passed
cb3bfd69429357dd3f4a078e56bee517e2da34dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq StringSet False Passed
b9aa8a839c5110784eb6e85ec27bce3f2c6a0a18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq NumRange True Passed
66830490c302de540821b1f3a40292a11dabdabb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq NumRange False Passed
8a3c4a61122422b7b74ed07d172e9edd314a16e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcPermuteFun True Passed
5638f04eeaa89374e721f56b064107e02975229d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcPermuteFun False Passed
c94828cb561f9266cc72060e2796436e719e52b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcEval True Passed
fb1829874332508134b20fafb6edc99ca7eaa778 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcEval False Passed
3b2759004806cfbd019e739ce4efb473331ffbe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagBagToSet True Passed
c108be76a5eedfcf04f0fead4373c9a1f76b1199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagBagToSet False Passed
6ec1a8a2c905fbbea1424b680677d3e9cba77a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagSubBag True Passed
569b1730fb6d3703c0b9bfa25c9d45f9fbd84e70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq BagSubBag False Passed
f341f076097ca40a27cb420ed554bd5d76ef9c4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SeqHead True Passed
a87ba85ac09c74391486bc154aa5965bc9d5807d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq SeqHead False Passed