Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
11bcea4f8d871b4e0704b680071df954f6caf06c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun OneLineComment True Passed
1703ee9344ea767cef89487b62c4abc08c98d67d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun OneLineComment False Passed
c68f7c0ac17b7f4574589a1576da57ad4d6f65d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun MultiLineComment True Passed
c6ad12f441d359b4c466dc7b1dd7c9db742c0397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun MultiLineComment False Passed
76f2d2b0536896deded5899898c42d15914d56b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BoolSet True Passed
cc7ff311e4bc8d7e33fe06868e1f8210f1b67eeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BoolSet False Passed
7a9fb07b121aebb36c5906ebbe54affc3bec5fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Let True Passed
a73ff02a78148c6db51b715835e1d012b6ddef84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Let False Passed
ad5db220050bb2f0473855c4f6857a5e6ae69ccd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetEmpty True Passed
1649fdf261fb4ab0b081c3d765382334b6e02ba6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetEmpty False Passed
ef30206a94af2ac7cc9be0d13378eccf731f941c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set0 True Passed
8aaa46117519712ef60cace88cae881631b9509c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set0 False Passed
b51a290f4fff4fee279799f43a034c281f803eac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set1 True Passed
6b496b38bf6573435dc4f954e64f440dc9a07708 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set1 False Passed
d40ef741349d6ef7394ae98163868174901917e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set2 True Passed
4d32f00d4c9526c509c9181cbfecbedea7563eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Set2 False Passed
9fe983ca428e637be8f54310dc2084095d8dc9ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Choose True Passed
4e3a3b6f11ff717bb9a2c28886ff99fc8b69ad24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Choose False Passed
18822f8297330166b004c036cf4a68537b5c196f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunApp True Passed
f99fe6d2a89ae4d3337dfe1f3d1084fd3d95fa1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunApp False Passed
8d52c0e88cbed16ca85e2647affa4dbbebd13bd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Prime True Passed
262a61dc32f9d78f1301e0aba14210609650dba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Prime False Passed
1563effaa8840ab3954da154f3821e2deccb943c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def0 True Passed
4ae6227c7d77d0713531c354229f28a35dadecc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def0 False Passed
e95686f1e05efc54b3639612a703285d690a36e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef0 True Passed
94a3c925f309f875ac28791b7b79adf486f0747d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef0 False Passed
3f1106d00baab3f0f10ba2b684844b3ed568ed77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1 True Passed
3a7d01bbc94ff68a7a6cb3009a7c293a2ac26f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1 False Passed
5cf95a5e2a53133780e225f66d62ee751d447004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef1 True Passed
368f2adc68c2b666434ffdfe462351dc044b3e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef1 False Passed
d2c4d73c5533324001663ec26861146f68c79f6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def2 True Passed
669313148a551e11d04f12e57b76376b60d3c473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def2 False Passed
bd29e3a5b8b284c5d5f652e5c90cc67963645b86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef2 True Passed
677a18f13c9cbc67ad33049797a60307e77a743f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef2 False Passed
00f3ae0505e144687251a60a9cc34c87d0fbf277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1Recursive True Passed
dec58fcec17446348f21945be514e4efe96bdc79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1Recursive False Passed
478dd0543e1f27ad674dc9e8d6e7e748cc42ddce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef1Recursive True Passed
db044947934b013bea370c8f846b91fb048f5381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun LetDef1Recursive False Passed
9c06054735178af08baca72c3b8278ec1fd71efd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Extends True Passed
b58fa681b2d7af9cabc978055a045710a82199ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Extends False Passed
5e6b84d016f6342b8cfd66a78e51948935247435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder True Passed
599efb186b56e31672663b4d4b187eb9a9ec27cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder False Passed
d5f32a79bb5c086198dbfadd0e9d5c0cbe72a111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Variable True Passed
6583759bb077a60097b0fb0507dd9a0d14392072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Variable False Passed
0b4421ecd87a3289b4912264bb409e46ec8a9ba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Constant True Passed
5ae14bfcc81fde2216c4426c4be617335d7bbeab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Constant False Passed
434c23d650fc8b06c4a96fb851889c7a75fea862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ConstantRank1 True Passed
77818343d40ef6b92085049202b1077d0d0e149a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ConstantRank1 False Passed
51e083c57419e296a7f0cc0ee6c692ae8efe3c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Instance True Passed
8b2f261673915255abf7bfe34e7dcbcd85ed8712 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Instance False Passed
039451ed1ca0f851ec07d83602b52ef5cfdf5d5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWith True Passed
fe820b14314ec822f6ee32e17e163cef92aeb59a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWith False Passed
8f6ed400455529bfc0dd3138794fab3ba56026a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamed True Passed
fbffe0e42061e6eaf99f258594c9efc0340a5082 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamed False Passed
95cccf84218ba9f185e320e209335e537180de32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith True Passed
5a91b0c4f102d9d06114c62208da8470a51f9133 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith False Passed
02d884b4762289dbf39f21e6eb6f1e22a399d0ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceInFolder True Passed
561cdab32d676fb1f75dd250d4b6bcfe5168fa35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceInFolder False Passed
38ebb295dbd37b435e197da3c2d9ae958e2c91a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder True Passed
c4ee1fd8e6f1d8cae36cf5e54f7cdde0deb81b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder False Passed
273e77563383dd8f50a4b356241ed093b52227d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder True Passed
36ab9383cd55e208299aa520153c88f83a080315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder False Passed
1485dfd644027ee381b4a3ce75f3e3a909959d7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder True Passed
c4377b7d240262439689bfa093a0c92626165cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder False Passed
9cbaa385521c1b05a57b9b79a6fc5682599f69d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross2 True Passed
f7855d468de864cae492e12c5656049758525f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross2 False Passed
bca1d3cb6b5e274107ae7b04cfa47c85f7f952f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross3 True Passed
13401589ee0d7ffa70ffc65c59e681aa54c4f268 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Cross3 False Passed
c329cb20e2100708f90a70aa1efdaadf73ea3325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunSet True Passed
ab43a5f0cee6e2b1be4b0e954f8e071cf51af7f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunSet False Passed
8d6fae5b2c8098a6a2ea42941223b808d09b3dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun RecordSet True Passed
3cf4ebc8a8008cc796033c6dcd243a375bb8faab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun RecordSet False Passed
e92141e69efcf604a282b852f019c9f0f334f8e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetDiff True Passed
45ac4f9030dec05746229ee1d87e821d0c11c04f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetDiff False Passed
826d829e5672e262b637e976928552ad0e286e30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetUnion True Passed
69ba3eecf032bec2f946438cac2992948d71fd25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetUnion False Passed
d5877b99ad9c9703482478f1447b874a496e1c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetIntersect True Passed
cc8c91dfc8a118ba3701e015643048246a7fae19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SetIntersect False Passed
9fc52cb693f7b9e3694df19af50093c061dc6d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfCond True Passed
80b0fe3af130654d7e87a5e56e6f6ebc1fe07445 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfCond False Passed
96532cc1aa99e8300de982d6187b6d67c2aafff9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfThen True Passed
fb05372de063c599cdcfb60b48089743b93533b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfThen False Passed
0c4702b5b88e682f66919d90f510f970121240f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfElse True Passed
577095cc158d6a17c869e35176fb2c3e34495ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfElse False Passed
0a14e53caf6dfcc6ff1db165719618436a8b81ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Subset True Passed
3e0040a2d8aa3deaba6a3d042565f6d1e4da7cbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Subset False Passed
01eb360d8b2177428393f09ec646b43cda3a35e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Domain True Passed
f2f31f1b187f78b48701fe088a6ab878330a828e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Domain False Passed
320a4473e177d5e645755700eeb649df8e0c4f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Union True Passed
9902ee41dab699ff6719b43efbc4b21c2b935323 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Union False Passed
2d4cdd79b0340bb8a7a68e2d0a731706ced00ecc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun NumRange True Passed
d61a794c899d85083f0adabc4ff12b46955e28ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun NumRange False Passed
99ebc001bcedc9746534a83109a41db81073c659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun True Passed
1fcbe9379fa2834b090f7bd68f628a33161839ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun False Passed
7817059012788a6b08d3f1fea3e1400d0574ed8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcEval True Passed
a34b57f4ade10c8de29956d0a769566484d70289 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcEval False Passed
b104ad2cde2e28b5c0b596d3ec8ab788e0c30012 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagBagToSet True Passed
ef8d6c17b4cdcf5b7404573b7e79f5a731a38254 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagBagToSet False Passed
3e48cb804e4464d2200f20b92936e26469212f50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagSubBag True Passed
8588e1bd60d1de9a05fd17f39c2e22720de4b126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun BagSubBag False Passed
11eda1e0f43ee862d30ba32465f76fa3d9f6c479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SeqHead True Passed
a0798060e986e15483df4d48a73419bc2b6653d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun SeqHead False Passed