Index

Tests by plug feature Tuple; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d39cc7b34d218de0e8398f1c06791b397c304830 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Tuple True Passed
9a0f88da9f38c73b29698c86201937f4c03a748c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Tuple False Passed
13a6bc0155f71a24dbab836bcde7dc6c46955bad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Tuple True Passed
efbc18a4ae15e617089f1276a41588dc18ffd8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Tuple False Passed
dc131f6b384b09b7711d87901fa0a1f178457623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Tuple True Passed
ce153a186cd45181878e761bb7247657bef053bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Tuple False Passed
50abad8ac755f26943da3fedb3c0cc683b3141a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Tuple True Passed
d3462308cb62d61bcd8868dc44b50ad68dbb717e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Tuple False Passed
4d68edadf33fbe8416c439414a9be54415263de7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Tuple True Passed
f684548caf78e02af89c86edf111da8d0cc89783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Tuple False Passed
1624597333a3f6e82c05c5244b54d3d748e2fadf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Tuple True Passed
d7d7697848afbc5eebf491b9d450d9054d50bbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Tuple False Passed
ea0aa852ec16d3be715ef05060ebfea8392fba43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Tuple True Passed
16af158454683ed0d8f00dff6234c47078ecaf56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Tuple False Passed
11c294fa4149d48b9cf23cdcb006cf4ae06f7f99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Tuple True Passed
b9e16c92e0fd50c532b70c1cd3a6917d64034267 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Tuple False Passed
b40bac22a7c1ad47e532b68cc23f3e3fc6cf1d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Tuple True Passed
5c237cbe9cbcaca6382fc5e20b84eb24de5efdac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Tuple False Passed
75dee615e34a2c653d56d3b43d33b667d4679e13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Tuple True Passed
d7464fad9e7e55360bfc6d042032ef6285c4693f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Tuple False Passed
be80e0f4b0d616219d7491697f911e693808435a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Tuple True Passed
05d3c1fe84a3bc52e47b8a2215cab550383b116d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Tuple False Passed
aa419f220596c995199e06173b737e724f9c89ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Tuple True Passed
c0467383c21638cfc04de63b74fee12cf17d2037 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Tuple False Passed
0818f12592c6925c8e44b2dc15ab85a66bf1c287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Tuple True Passed
9da2936f9c558617a93efeb406dc0f39390c52f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Tuple False Passed
a04ed4238696b34b5f4e8b50625b73b75a4a6623 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Tuple True Passed
10f1aa39ecfa47dbfa8d9d49d519f97d0c93ac27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Tuple False Passed
c824965243640310dcf183850d51acc84391a040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Tuple True Passed
6d20c24bb4c4f659f94227d01565ca8113d90851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Tuple False Passed
4145fe658452ce4b8d05bd79a57df067a978e8e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Tuple True Passed
8f89a891131eab00b79bd4d0a1d38d96bbfc85df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Tuple False Passed
bd69f2b2874deb3d635de1f04e6cfedebdcc82a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Tuple True Passed
3cd1da428def597742df3d07cb59cee00b6647e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Tuple False Passed
3382d7ad3a2568846f540601089292d26311dbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Tuple True Passed
f075e4e592da0b70b68a8b8739a15769114e31c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Tuple False Passed
6c1b8ae055bd5034efcfd248cf0e5dabbd27722b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Tuple True Passed
c8d9aa0c92482294903080dffcc347940ef33621 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Tuple False Passed
e11e51c93ac82e6093bec38b443e074a188b3ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Tuple True Passed
fbad78624e35b8b6ab7235f1b8d44b0165d71516 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Tuple False Passed
ed7e12fb138d631b0f1753414ae9474b47d0ee46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Tuple True Passed
4f5ad2cfcca1759f59597118e743f0b3e1a1c16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Tuple False Passed
d4127d225b6e63ccb1d33ffacc777240f91de5ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Tuple True Passed
1591f82db4a30758e64408e79ee74fde177d8f4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Tuple False Passed
78dacb1e67ccf078f73fafc84d434d04e0f57636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Tuple True Passed
0af438ff741c21c096b0b46bd5e6056b689de45a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Tuple False Passed
74aa22cdbd328f741040c5793fcba671dd340af9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Tuple True Passed
0b461945c31a99a95d8effa569ea85f985c7cd93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Tuple False Passed
7307880e8a98695e664fab2ea3e753150bc1ef4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Tuple True Passed
56b7e82c648572762c3f61c74b37b33d3ca9b64b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Tuple False Passed
b7e9342c57ce71e4ced13784e4b09060e0d7bf82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Tuple True Passed
c55b2dee37886d63712a77dccf094e919615468b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Tuple False Passed
019cb3f169f76882572998ad1abda3fec191477e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Tuple True Passed
4ca7dc030a54ec4fd7489cfc19985bc0dcf309b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Tuple False Passed
327e80a1f3d7110698fdde18b543ad07caa58827 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Tuple True Passed
edd49f07e189eee8baaf987f90d62f0d64c33e86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Tuple False Passed
cb032ea36871973ded462cefcaf0fed3327aa748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Tuple True Passed
30fe705eddb8115dc2b0620821a506ea50f79835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Tuple False Passed
6a0a3b128182f073d984dda1099557856dc34b96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Tuple True Passed
d29342ccfb63434ac46a24ad53516c7175a8eb0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Tuple False Passed
14e44b9739ce53162763c93c51bb79a676b74298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Tuple True Passed
7d98085ffe8316c0a30570d65123a3c3756711a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Tuple False Passed
8dca7ba044d084df824290dfc36d331589f7ce6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Tuple True Passed
7e38f30176706860662d2fbe115a59e3b831eaa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Tuple False Passed
28fa49c17e84b19df945bfe2f67cef683aee13b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Tuple True Passed
d858f5b4eeafdb9d962b5f7266aa3340c7093067 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Tuple False Passed
91dba9a7a6a0eb675fac2b947a8a9724d0825827 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Tuple True Passed
cd3dd6b31b652650c532024bfa576cbc27cb82f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Tuple False Passed
c09a113a44b1f9e4cd1f373752d02cf128e4f470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Tuple True Passed
984db5732c53fa5618427a8bfd37c64b8278b55f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Tuple False Passed
5e5b74e1dc6c5cbc92e78ee22692e41209b0aac2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Tuple True Passed
19376ff6e16eda93e9810ff8f9cd543adb29be60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Tuple False Passed
4b0d415fa3af6a612f7b6bff1e4c60755bd4cb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Tuple True Passed
4c02623abc99f312d30eddcbd636891aa8e5a062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Tuple False Passed
ff010a9cedfbaaab804f7bc15530b943e4b2d83d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Tuple True Passed
4d3c1d2fc4c372ede7729ca25bc2bd6e25804443 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Tuple False Passed
09330e4436a3f4a084a8612bd4506e2e685d73ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Tuple True Passed
d1f8c54c19ec87f3aace3a5a948895699b8b36c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Tuple False Passed
1f9dca8b500a1fa2b90aa3648debff2473258187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Tuple True Passed
0b7c605a40cce0649917e53d27123b65cf6fc154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Tuple False Passed
a375feaf8d404b75c443d0384a74583f234022a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Tuple True Passed
be971e80b5b47a307610564f24d885c569ab875f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Tuple False Passed
695dd23cee730cc4a5f6fad5572628fb85b87e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Tuple True Passed
e906d2d1b2fab5a88f6f4d812d523bddc9c4cf79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Tuple False Passed
fd2b7d9eab3a8d166d93121efa5e327351b99c29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Tuple True Passed
b118948893af1ac62eaff9856ae18d3353803754 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Tuple False Passed
8947b207295675965a232f0fc37e61df84f73133 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Tuple True Passed
0224c79f329eb8fb1d07ab683d20a446d78e6538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Tuple False Passed
0c574baab8ca76e2215a1082b5e2f11abd9a800a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Tuple True Passed
b14f9c67137cb14fdf73769ae8a748ba017582a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Tuple False Passed
f50d6616f64b2e5cf12c7cfc02701e6729c2a109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Tuple True Passed
67ac086451be12d70c8a92a686f1cc7a3a24a992 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Tuple False Passed
3edd1270e1c61c7d1dcfc9f44c64c74b4d2cf422 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Tuple True Passed
865ecd07df09d5d972e4b905249dab6e397b3231 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Tuple False Passed
7aa241179ec4fe31c7eec4886d81d686dee08ea0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Tuple True Passed
dc6716c8710269dd8dbbc83ceb0afc259440f967 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Tuple False Passed
f25e4df6490278ffd043af6e929ac3e52a70c74c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Tuple True Passed
c66406a9da4132bae2b68d4658c7d55f8247a834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Tuple False Passed
8efc2f557f7720f1a538b51eaca311bd93226010 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Tuple True Passed
f6612ef7275affa382e9d8782429e7f80687b943 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Tuple False Passed
24e05e271c365c17f3f7ea85245b2007ce106422 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Tuple True Passed
ad5619ad55c4cf4996f5b8938c0bb096b9fc3ce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Tuple False Passed
b5b67315a3b16fa2675ce3f13909f4e2e0b84d95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Tuple True Passed
78ef6ca5b062bb3dac648163f836078e1d58c193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Tuple False Passed
3830d6751d6717af9c8d74a21394bdd0381caac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Tuple True Passed
64890dcd011d68b2cc5741752cb72607ea0a718a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Tuple False Passed
a499fbf5b0bd57b621a6123489db3278de4aed02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Tuple True Passed
6439078d901cc0301415985100b4c414d2284841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Tuple False Passed
b611f0650d77b5a63b5050c71a32f4fd4313f879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Tuple True Passed
d4a6ab91b743a3485329eb61fb6d1bbdb91f2e61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Tuple False Passed
74e15d9b942086f58fa2e543cafd917493091ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Tuple True Passed
03149330633ae8094845025b0e7ead8433974e9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Tuple False Passed
f3d0fc21845eba7994ac8529505fb56bd8dbde1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Tuple True Passed
bd5e280f8bd36ef347f3359eca2be2079eaa01f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Tuple False Passed
19fd28877ff160274534f49d1b46e79b73cf3728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Tuple True Passed
82f09a8fcc49972bf64d7333079e7a703c6a0900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Tuple False Passed
973be35125dc0466ae04ef6936bae7d6f11ffec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Tuple True Passed
915c301e62293ac1d15aa5212d24c72f5a89c853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Tuple False Passed
b0479cc364ade261757c31acf5dfba555d23992d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Tuple True Passed
42693e1e9b3139ff44d0d5114211ff6f37fa776a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Tuple False Passed
5dd950644e90d0b27f190d84195de94d3ff5170e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Tuple True Passed
f11faf45a3e11b397775ac6fee951de9b8888dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Tuple False Passed