Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5cdf0a1bf1a03c0ebb1e79bcbaa2bac4a0183be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 OneLineComment True Passed
0551b84c853e8ba984ddb5d8fb05c0b6f91ce099 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 OneLineComment False Passed
cc2bae25e357344604bbcae534ca905ca6fb1b3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 MultiLineComment True Passed
071f05aca08b7c926e68d3430b6f7b81388a0476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 MultiLineComment False Passed
8c7bd6dbba49651e7ec7ccef01543badf61dce7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BoolSet True Passed
96744e5d0574551a6d5f0d4c09a204c9f9cb49e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BoolSet False Passed
f97b162e8720a76d461cb27361a82806a701f5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Let True Passed
1aaca6b938d5ea5508ae79f5bff507be8c15e4ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Let False Passed
a560886a9701828879cb6453d309094d7939cf40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetEmpty True Passed
e282a08ab4d9c6acbb57aeb2ae615ac6f52c7aee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetEmpty False Passed
e731351ebd1d93c6e49687b089b759b7c2fd62cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set0 True Passed
b2725789c769a86e91630730099a1afeccb844fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set0 False Passed
4bc7d6c13ebd53b3c4203161dd31684e687a5b11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set1 True Passed
63b15971e3e58bef47552b034a3ed4aa367a718d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set1 False Passed
df0bef336079c49f1c0dbe152c1eba41883cfc34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set2 True Passed
e1e35008e2f32a98dd6197c5a7eb7f096271c7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Set2 False Passed
94802b90e6c4536fc2825c1894a4626ec59ddd95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Choose True Passed
98bfe2ffd0f6a58ad23d04e7a98595acad237586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Choose False Passed
99f22b43fadf6f04737824fd0817a49e8cc3aaad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunApp True Passed
116175f9e30978859303fb25a470407f55febaad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunApp False Passed
683c0726fc76a94bc564df4c04fd13f3810811f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Prime True Passed
0c5af19a81b3577416c1646bcb90b5f5b8430bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Prime False Passed
9bcd695055a8074a4263bba6c93ce4b6f9f892f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def0 True Passed
8b091d0368fede7091b0103cecf11476a5a4c74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def0 False Passed
ea3608986cba1f634f7306cd31c58b4c1774c9ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef0 True Passed
7a2ab64033439f96def5415c3a5f38a6eaa1739c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef0 False Passed
b5f46fff85e7f8f762f4523f4f204e49e21d73b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1 True Passed
4dcf61dba82ac62d2dcb1a625bee04d8ad8d3226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1 False Passed
eef006a24b005ebae3a4956ceb461df8ee903d58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef1 True Passed
cef7d4d3bc5029a76f368293e8a9cc722ec32cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef1 False Passed
51f0fada82de278e9ef109e737e2f37e13c500b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def2 True Passed
b20de0d429435282040a453772918382881583e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def2 False Passed
6e60ed052446b0e4a6a9e0a93f4cdfc1f8f2747e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef2 True Passed
a7cf6ac5ca1d889f19d5a465e120d4755a0dfa6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef2 False Passed
00880020577b2c5579fa895706f724e8122a5fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1Recursive True Passed
895b214dccf328daf10d41654daae4342482ba0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1Recursive False Passed
4b8b339b4de5cdb9bdda8a69acaec26872be5d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef1Recursive True Passed
a95b6473e44069e38919ee682f3c8eeda52fbcfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 LetDef1Recursive False Passed
c420091c14ebb5cce47a294c8d0841882486e36b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Extends True Passed
30324f15e887659429bf9a1b0b366d2d9b1594db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Extends False Passed
e0a14c28acddbcb0f965d53dbe4e3a5fb93047b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder True Passed
867e7434c855082cca2aa5ed60aad1d7c4fb8e0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ExtendsInDifferentFolder False Passed
23a757fbacd1604242721a8563964b25408fd8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Variable True Passed
3415d6d54d7f140fa3e4a6cbcc0d660e91395540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Variable False Passed
e11de026e1f89ab1be591075b1c309e1ea8305ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Constant True Passed
2f9b02f2c9d7f5e507b7af6f9eb1ec4bc61909ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Constant False Passed
12831f2bc26ba6272636f60139755cc815579da6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ConstantRank1 True Passed
410a48c6de893d495e07e22cfd04a6d5729050b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ConstantRank1 False Passed
95307b5c20105dc603c8b9453ed9ebc3dc99fffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Instance True Passed
5be5796fd54ee531d7956b2a07d8e23c91234892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Instance False Passed
95f7441850cbd35016f4c024a8e88cd8d0e0681f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWith True Passed
37621ca8ddd0123bf360497eebf5d548e757ef61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWith False Passed
2512a315608be983f420f1f64272c03c81909082 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamed True Passed
9d99d415c52d2f04bcbf9086c9b314fccfbd5118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamed False Passed
d3b48acc6fc094eba255da0bacaeb82a2db08258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWith True Passed
6bb4916072ac1c3bf2e80c4810c8d5f374f9ddf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWith False Passed
655394c499d66646f9d5e171474971b81307b503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceInFolder True Passed
d21c9d9c6dc973fe20fb068f8d7bfab3b120299f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceInFolder False Passed
55be40f5a3b5f1177947088ccde392af5c26864c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWithInFolder True Passed
76132811d12c996ecd5206eaada12983afa255e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceWithInFolder False Passed
ae0a486fcdb54619766548b9ae442d1880eb7e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedInFolder True Passed
3d18d77f198afa9a4fadee23226b586490f4ff8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedInFolder False Passed
56fcbffec02ed297a5e94419c1d453749550f657 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder True Passed
2f9cd58caa5992619cf806fa55f4392e809b7458 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedWithInFolder False Passed
6f37130c190a229ee521b6f6285d5b4b4c94a5f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross2 True Passed
6ac66d0943ebd048487097b8d31e4f759ae977a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross2 False Passed
d195e2cb1f3ff45bb9b4dccc9c2610b254c893e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross3 True Passed
67bdf1cc3fb997141997cf593901278e9a2fc703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Cross3 False Passed
14265d583abf479b21168a14be85cc3f05fd4f3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunSet True Passed
bfc81eb3e62eec7d03b9903ab60580d03cb02115 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunSet False Passed
bcbb2bdbb68bd7e42c9e7dd0ed945a3206f6d890 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 RecordSet True Passed
fb0e5b7c275b81338fd544a95834ebb696f7dbae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 RecordSet False Passed
21e7286885f9c6110d6caf029a706ba52924c176 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetDiff True Passed
6e38ed4ace995cadad38ec2fbe1209156ba41137 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetDiff False Passed
44ca94bc59102c51d7ddd1e1abbe1317daa52619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetUnion True Passed
59635122a9ebbca6bcdd47c8278406ae447bf39c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetUnion False Passed
e4a3811f0556567bfe31c1ca05d8718d7c2fa8b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetIntersect True Passed
6dd7ae93408be3cedf0122c74edc6ec998bfc158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SetIntersect False Passed
5d9bfe5c5b38b21b3195dee88d9eb9eb0cfa4cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfCond True Passed
1edad3efedfd47b99c69dacd2c302b52f21babe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfCond False Passed
a9ef97d29d81f6ae93a6d065fd33ceb9a3a55b0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfThen True Passed
142de09aceda18dbc5414bce3d449f428ae69dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfThen False Passed
c254e712178b88719f6e50aebb94d52ac179952a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfElse True Passed
95deca4495394215994eba2b6bc6781c6287e8a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfElse False Passed
4e6deec40505133a3d1525493c1950494138af87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Subset True Passed
c72472baeda5969f7cdc992271e76a3963ef58c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Subset False Passed
91fd381f11b7245092dc10aaf4f1698db6ebe0af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Domain True Passed
fa8826f64cf75d0358b6822e5bf245ed532ed32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Domain False Passed
1ab7aaef829bc5a645d076f6c037b58955d811be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Union True Passed
5ac0ba978771c6f3145a176ee201c359d51036cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Union False Passed
85edeb8ab7f629b6cfe81c279d27dabecd6dc01c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 NumRange True Passed
78486208f66938d91cbe81cefa44ea54a36416cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 NumRange False Passed
d2b26369e803f3c8d4aad0cfffe866d6f5051168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcPermuteFun True Passed
487ff6aa8cd5dff94b8e3ef667d6ddec8cea2024 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcPermuteFun False Passed
9bd7b0e93e0c95ff08fb1461baa485d5fc28d108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcEval True Passed
cc472997f7d324fdc59e4802a182cc2f7fb4c7a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcEval False Passed
0d43cd51d5d3b33b3e82aea644810fc3240bd1a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagBagToSet True Passed
aba807af1bc155ea0beab189e7227cf99056b88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagBagToSet False Passed
d764f05c455cfda7e45d5b8d20d254a12062b833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagSubBag True Passed
e1f9af0611381723d1bb22c9bad0df1f69b2e555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 BagSubBag False Passed
63ab8696715f4cd91e0693c926f40c32a315be54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SeqHead True Passed
60dabc74b73e99af6c3846ee72949c793610aa8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 SeqHead False Passed