Index

Tests by case feature TlcExtendFun; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9aecd8480064e21a3a42c98adf35b70fbff5c524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun OneLineComment True Passed
9dd3c890861ca58905c91daf700e2d3192ebbabf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun OneLineComment False Passed
da1edbc143c4d78dd3b1494d1b6d8ca90e75396b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun MultiLineComment True Passed
219ad312e33a79354cb27ddf36bbe7e37c1235e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun MultiLineComment False Passed
947e735b4208b9380a1092c7a4fa6ce45a45a52e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Let True Passed
501537db8551f02c69bdf6dcb2a83174207a3ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Let False Passed
59659cd44f008d83f4588edf04f7d8ad0fff11c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Fun True Passed
33ce58909aae82464b763a0cbbe550bc94990c0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Fun False Passed
59ad85692a8a77fb9f2c215eb5e6883868395e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Choose True Passed
f6148fecb7f7e1efc155676eb430eab692e35768 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Choose False Passed
40d2547ac273c0ea47f71794652e6a58eaebe3df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun FunApp True Passed
9c8424b44bc7ee904ac676bc06960b1dfbe52530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun FunApp False Passed
fe815668873ff27d282d9f9866606f4e91393039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Prime True Passed
a7eda74feaa9b7c063fdfe3db546bcdc03be2218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Prime False Passed
4b5921c8bd4b97a2e1971c3020d23631b3679d91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFun True Passed
9fb28d7cc07b6bf0442f564792de30c3fb9e419a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFun False Passed
c4fd3c69df38e42b48692fdafa10990f1840368d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDefFun True Passed
954f84a42c857f249768d97f9fe6aa9bbc54a129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDefFun False Passed
1c6eb138ebb8ef145523ca52949cae074e1a67b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFunRecursive True Passed
8ea3aadf4704f386482075830d93459aa7ca51bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun DefFunRecursive False Passed
ef8661e79b23b46a11120a15892ac77f9e64e075 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDefFunRecursive True Passed
2341ddbcc53cdacaaa29c4da8a1aabe6b0c5e321 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDefFunRecursive False Passed
a4230a5c10176b40dd78e630b211dcdc586fd271 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def0 True Passed
aa950d579d9a41bb48ec5312bca24bca84f557a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def0 False Passed
bcb2bbed337327fd9a6ad7bf9f44c56b9697fd91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef0 True Passed
0a5033fed74bf6ea72186a4396ca2fe451b9e5aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef0 False Passed
a412bb40cacc40d5667da8b2bbe56cb6dea949bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def1 True Passed
4323829b5479590615dbc23e0273d1963290615b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def1 False Passed
8934e01f335851533d11dd47d8c5265b05ab93ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef1 True Passed
5df4c868d4fd7045f473ba176f22956c9e8e49b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef1 False Passed
6871a45bc382eaa19e9e53edbedd2aa0ff2a8ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def2 True Passed
75d4dd2dc30191a4b1c9d2bb5c37666e4c2dae8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def2 False Passed
95aa91c6dee381f74ce66cdf1f6a8bb7304aa83a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef2 True Passed
2c622c290bc290b844ab20087fdc4252846d4d18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef2 False Passed
e862564e58e47c8b2ba5a98a97e4242f6a40636e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def1Recursive True Passed
d0e28511c02e5dbadf1b6d92d685fbea2d1e3ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def1Recursive False Passed
ac17115d8991ac297a9591b49f365a631c2d7e51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef1Recursive True Passed
0bcbc22cc35f1a591891cf996a11ca57dc2e590e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun LetDef1Recursive False Passed
82d82748e6c7291698845ea73faf2200ca75a25c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Extends True Passed
16a4b03a8a06869c20a6bc2d28b4cf745c0a04c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Extends False Passed
3fd75c6d23a61ace639e563279fd5fe1fc49a6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder True Passed
051a6b3939c3b06a9f03bc66ffeaae7417636620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder False Passed
fd8a16fd160c1b0dfbd4e39ad9b50cfba33fbd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Variable True Passed
02a5ea1fd47a10b61b3ae9e3edd022a599b48b4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Variable False Passed
3bdba5fdfb32652a55278d4c17a6754f902868ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Constant True Passed
afe9b3f636e57ea7ca6b16e758ca5ca222d2e92e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Constant False Passed
fce2b5dd922bf357e13d01571a17784d02fc6f4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ConstantRank1 True Passed
4406ae085756e1f9d71f213973179f2a9a401f64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun ConstantRank1 False Passed
e4c85740d35595d27b6fa5cef82a42419683d8d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Instance True Passed
eca84e7b5480a57484d8f0bb12bd95cbbd906ff3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Instance False Passed
c22e6e26a40b3c1f3d43d70567e4a076ce1b2264 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWith True Passed
6a9caa2c95b6205924baeb1c5a19730f0159865b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWith False Passed
e9f016bf3ab6c35f06dcb1c86a3b2db0f474fd90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamed True Passed
1e29f4a804c4be88393f243082503ef24d2161a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamed False Passed
7f975c4d786f4c93e494ddfacc21a67cb227b20f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWith True Passed
e96c9f68e75977736a971a6767f652052c6b98d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWith False Passed
12661062522f447c007ad82e00eafa25f678c2cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceInFolder True Passed
48becde417531387d0388c04c1083115e32aacb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceInFolder False Passed
93b2e506e5073c645975a9957800dc2530cff2e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder True Passed
2bc3c1a756fadb4cc7cb99cb93f7b8a21ea5e8b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder False Passed
3f5f6edb3b810b16e335406b4fdb496c3b6b9b21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder True Passed
e63a1bc74e4c89baed0dac8991f8c580d0f25327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder False Passed
9cbe8dbf6bc91bc0df77d27f7c58d8ac182f5770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder True Passed
933afce993608f298e9c5ab7ae44e33a3fde999f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder False Passed
da5fda06f8cf8beb93ea88e1eaa1c1c9718cb8df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfCond True Passed
41a1d370f771d697cf50f497ea1179cbc671c05c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfCond False Passed
c9a568a80f4d15b267725a93e61002f848e3a063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfThen True Passed
ad06c744c090a5fb72bcf8aa2c1d403b8a9e5797 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfThen False Passed
9f491b7855a4606fadb296f590c3560ab5ee9898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfElse True Passed
95e56034196df5553adffd4161010cffa8aa8082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun IfElse False Passed
cfe2d72d31f18316cbdbe450bd96f97415f24aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcSingletonFun True Passed
d04aeb57132447469dfea744263e740473401a02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcSingletonFun False Passed
3ac703b5c35ae88c652842e3121ca362c20ba281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcExtendFun True Passed
91acf59d565d10a137fd2841c17dcc79d0854579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcExtendFun False Passed
f255e01939d7d52f54f3750ea6e52c529a4825ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcEval True Passed
9b935a95ec319df085402606f90b9b31dc9e0676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcEval False Passed
922ce70e9feeb5ea28f34aba278e0f3baf3365fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun SeqHead True Passed
6376c79d303c8873d5d14c622e5686961c1cad62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun SeqHead False Passed