Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d9dbcba0746218ef15d859e6fc2deafc06af82ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq OneLineComment True Passed
2192a8c3ed7b776ae1da3d3500b7145d6521b16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq OneLineComment False Passed
006f03b0bf47d0f49f416abee46b148ec99cb156 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq MultiLineComment True Passed
ec98fcc9a73c9847ca18652ada15fec83f6b37e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq MultiLineComment False Passed
4533f60b33e0ca490e519a921096adc82a0e60ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Let True Passed
56f41dee1fe04033f9d21ef993f611427837520f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Let False Passed
a258286ec10d3e68082d831681f057463eef8aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Choose True Passed
616906de17a734f6036c01a88a551c5ad4eac23a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Choose 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
3c011ee8afe6943ab179adb3b029379edde15f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TupleEmpty True Passed
01f55ea045ea8ad65282a1d878589046659367d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TupleEmpty False Passed
7eeb7e01b66037b3258b67b51197b76856d75c4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq FunApp True Passed
d52ac6849fc20b5a32ccc22c0b621578eb10658b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq FunApp False Passed
4c3f43391a4196e26c88f2eacf80710bb3840bac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Prime True Passed
b48be49a5f6c4d33ab8f4305d5bf87e2db58f009 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Prime False Passed
e8f87bebac62b4cbc461015667ebed113012a9c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def0 True Passed
d0d4b54072f44a833c3e01a5229a55ed61c05c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def0 False Passed
7e1f10893cb36ee778298360603d31d67b0604ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef0 True Passed
41898c1751aad630e9d41f152ec931d2663cb50c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef0 False Passed
c1db1168caee453b63ecd1bb9075cbfeb8f61efa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def1 True Passed
a18c2780f9ce5e1a08ac0d1b55b083023312040a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def1 False Passed
5de35e7dc9af0fd938d70ee1aee2fd28438639ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef1 True Passed
9873677cd64c171d887f20b1214e6ba3c83d64d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef1 False Passed
bd98931fce3e673ce20e6d28b731f1d38adcd858 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def2 True Passed
fe0cd4703e4e72aad8b0b6a782a1cd293c1adcf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def2 False Passed
332a6cf1a13830b729fe1fddf7529d44f2a917fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef2 True Passed
51a83b48fda23cebb364503d325eaa945b642794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef2 False Passed
74999e89e35b703ec29994ae9302d8cde9bf45dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def1Recursive True Passed
9a465c609c88b706e8276ed8a2570ff2bbeded3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def1Recursive False Passed
f5ea5cfa8d6569ca337de523de9e63a2e29e362d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef1Recursive True Passed
25a5af9f95d33c9d7638213d4c51c0c9b2ca976d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq LetDef1Recursive False Passed
af21e5091c33c51bcab83ce7a1b05dc147f4b312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Extends True Passed
6c4753d8d46357b54c0dd361b01dabcbb558f416 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Extends False Passed
e6a5099dec8998f5079ef775026a3eeb037ea9a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder True Passed
98c79d63b4feaf4e8c601b144a4e43c29913428c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ExtendsInDifferentFolder False Passed
17a01abe9f8f1919f268d40052b8a1586ff3f88b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Variable True Passed
6d91da146c250ce25f3b2e4a73b58d9b6cc72d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Variable False Passed
4f9de9b4af495c4f90b3d7207bf8ec7e7a5a997a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Constant True Passed
21f09df182fd05647f718ac9b9a3224ed1b6b69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Constant False Passed
ff2bc6dd444b461e9f3946aa566acd1c6fea673b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ConstantRank1 True Passed
97dc1d8ddf9e8c3a019727cab735cf654161689b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq ConstantRank1 False Passed
63c0b5177874b021d2aa9193c03d0e7ccfffc765 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Instance True Passed
b5fcdfc69ba261da8912fd1d80e396abda83a644 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Instance False Passed
157b5f18f42d77d4bc251be4493118bec4d171ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWith True Passed
2d596a6fd2519d018718a5460846cc80d55042a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWith False Passed
b7cac1ef37606a79c1f20d3ea0170909ab4d0020 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamed True Passed
8001d68baa8242b4b1d60b237beb6e6998371d5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamed False Passed
bd032a2b6d79f9b694cf8d1aa28c604454683ce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWith True Passed
25dbb0646701ef84c2ce5b13fe9af409e3c78fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWith False Passed
8b9f2ec9c01ec714422f82aa830e946f730e8beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceInFolder True Passed
07b28440c5e798db213c78ae1c55737fdcd54085 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceInFolder False Passed
839889542a9a0176146b8ed49cc3e6717dca4c07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder True Passed
f8eb2196cb30c91f756a03567391421b7d4825ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWithInFolder False Passed
4a155a40593e01511d0995f66238d42faf1c111c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder True Passed
2f4001af4fbc9f54e8e3e063efd97cbcdfa38378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder False Passed
564bf3b91732ff1885b94c7e2c32e233975e890a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder True Passed
63cb25c28100a5dc4441144ba6113589f3098302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWithInFolder False Passed
8dc7c7243c6c45d61282216f2c1b4b9ea2eebc1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfCond True Passed
ecb07f0bab8f4d929ce854b9d5444b91f6b39505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfCond False Passed
640543410789ea790ac9b20f08559259910bb81f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfThen True Passed
6755d1eb0c802b20e6af921dee1a6d8adc76da0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfThen False Passed
813519c3af9216baf580f8a2d1789ae7c8228b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfElse True Passed
9b0ae77263a6db28ce405657d65950908eca824a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq IfElse False Passed
0276e696058443167b08ddb945f93206e39e8c0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqConcat True Passed
71e9a063d090c17510c6525192447174c229bc09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqConcat False Passed
3bed6856e1283bf13782e6676f2c910ab99e0bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSelectSeq True Passed
f94548f672f7a14cf9298a2f281209f91d5d1f91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSelectSeq False Passed
fb2ba3c6b9840a2ae7a3290bda0893342a46d3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSubSeq True Passed
6c2054a1ea62275a73959f4a723b3abdf1c3b084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqSubSeq False Passed
7aa2537717e97904107bdb43e0565d5b5436715b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcSortSeq True Passed
861f1b6ab1ee84e6b297bec1fd0de91388847e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcSortSeq False Passed
4999b3d04d67160ed6f98ee056048525283a9f55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcEval True Passed
91b4ba1d77b63a8be7a13effdcc991becf1819dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcEval False Passed
fb32b5fbf3b4a2ba81cf477db2f45cbc47a642c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqHead True Passed
8f9ec85334480841a71d2d92c0365f8a8e639327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqHead False Passed
d182797a06699521cfd7e7d965e7d3705e19ffb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqTail True Passed
0d820b2fe4d723a5cf23cebbc73e466a8516884e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqTail False Passed
963d1bb46ecd696cde04b1714f92a08e437e3688 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqAppend True Passed
a14b490d6ba1f0ad93a2e9d6392716b417188160 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqAppend False Passed