Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2200af7a2559465aa5cffec73163911bd8c13aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub OneLineComment True Passed
a553c1f08fa725dd0bea47dfb5ab932a2fab8c45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub OneLineComment False Passed
11450aa68b9b47823ff6f99685fe708b0b97bd02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub MultiLineComment True Passed
427a435a5f780835eeac5e97d0e514c13a9f0042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub MultiLineComment False Passed
3a5b1168d4b9067f067f9e9f8ad41ede53097f94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Let True Passed
1d641a3a2b6aa3f729a79773ba6d67b34ee4cc15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Let False Passed
9f4b2ea9f164472773b3377efe704f9e92de2b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Choose True Passed
34bddd22566ef250bcad87e4b970a37db86aae1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Choose False Passed
1520c3fd3ec6056316fa5771fa450dd4fd1c2454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub FunApp True Passed
629fbeb9320821d0da619a484af5f5a0e7209b9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub FunApp False Passed
0a3b3b7a4ad1f7fb7b34aaac64a9e29ce7d5ed61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Prime True Passed
cfa68119486e02f5303b6e2a44a584e987eb0991 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Prime False Passed
445337b2b6d46563caa57057dd8567a892306f13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def0 True Passed
c7386a0acca1d0eeef64fb70d5bc996613b1911f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def0 False Passed
82ff21528da5a75f705fe2bcc07e29c4d057030a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef0 True Passed
d51ba31dcc96cf1c90137fec1455e8c0bff6980c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef0 False Passed
5f16d0affbf518379e6cfd3f277002750e5097a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1 True Passed
43356c7807963197e5d0ab52dd89d8f1b31e2f60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1 False Passed
215af512984c01029383ec90581eb204d4dbdf35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef1 True Passed
750fa3d922f3f9081a03f48b80204d914bb96a53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef1 False Passed
881b43aaa9449ca3efdf3e099f7976842b03812a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def2 True Passed
9f8a79d9e454c5ef2ddf04b6fe9dff75c6fbf6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def2 False Passed
a69a9d90de73b0500afb756b3cb5299ae99d7e0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef2 True Passed
7749c3cb569ca0f75b4bf2667bfe7b0333a2c752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef2 False Passed
4db7b9a1448cd621f0eefcefea70e337a265193e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1Recursive True Passed
44c096291f1c68c13e90cd86d0e112afcd6f7870 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1Recursive False Passed
f7d612c9b010c1dbf6d84be181bb9940b72b6a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef1Recursive True Passed
bd264df024a2c3c379ab06a8c0f171c38b72c0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub LetDef1Recursive False Passed
80294f4a2f7e9ef74c05263804553032cb90827b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Extends True Passed
ea7f1f3a43f787cbc66c41cd2b768993408fde1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Extends False Passed
fe37fe289bb5f7c6dae20ea52fc85d56a57c06a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder True Passed
15009188fe3191702689519fdd90132509a6db7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ExtendsInDifferentFolder False Passed
9babfcbd96af12d6a0e0b5eaccc94a0e76b28f5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Variable True Passed
1c55171a4e666ec2de910c2b5d3e364579e58ff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Variable False Passed
73f6975dd2891b146983c1f40dee6a691c19f171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Constant True Passed
3cdca338c164dd55fdf47292372186d7fc1f36f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Constant False Passed
4d19889644eaf0574508596bb810b88e615b0aad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ConstantRank1 True Passed
fbb6d6150ba7b68064e9aca23f95d39266e0bf41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ConstantRank1 False Passed
b1c01c16b3f98a23fb08f1b4316b59756d4f9b7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Instance True Passed
172352f2030c7a742f5d73aa261f4c5459519d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Instance False Passed
82c79ab05911896f6ec18452a331243efd4210fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWith True Passed
340e92dfb6a343b068c46577c69e2aaaf644054b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWith False Passed
ec5d98ef9f636fde1f3f7a7c14788916d0bca195 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamed True Passed
dd382422cfd58481952971cad2e08c03f47c5314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamed False Passed
406f3dbf909d7a382cf2f03fbfa2fddefda2cbb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWith True Passed
ada3fec206cfe62e0beb869b7fe49fc5339dbe0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWith False Passed
3dad4ac93ac14176c1f6d99c6db2bb168f49fa2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceInFolder True Passed
787369cdfc210e398c15acfdd45cdb1e23fc0c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceInFolder False Passed
1089df0a41341be022f696b4c40d694e4750ee78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWithInFolder True Passed
a80ebda00a3d21d3b1e531bd87d01884829d9acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceWithInFolder False Passed
7a8a4b6b702c830e1c76edb5a240b65d61ae56c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedInFolder True Passed
c53f09b9144dbbf81c1dec9fc12e48f3f0f369b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedInFolder False Passed
2f38a295398d88ff08ac7c44c7fd287afe151586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder True Passed
d87becca199545cac4999ba99b2a974da13cf88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedWithInFolder False Passed
828d26288f03e83fb4cda8a2337436e91756709f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfCond True Passed
df665de0016de59f3028615879ea00bffc142364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfCond False Passed
a710fc2691f91d1c4fc275ef5b8542041fb656cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfThen True Passed
dd0d9b1038dd02902316cf00331c4ea98b000309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfThen False Passed
89e6367068c37203b374d85f8130f299f5366b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfElse True Passed
4dc1a19e8891fb6e220737ba67e03e6670841450 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfElse False Passed
42b0af86a2ede7d6e157bb7bd5badfb85aad5bdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub TlcEval True Passed
8641ca25d4b2b26b95cc85dfb00d53d85e93f29d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub TlcEval False Passed
e0df05c1ca122b06395904b1ddaecfead0437073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagSetToBag True Passed
c005ea69794e36988fd7148659329635778c1d6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagSetToBag False Passed
228b780cc499135295f4d78751d0c109810047f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagEmptyBag True Passed
72bcd06fe6d6713b5b0f87bccad591e256fe02fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagEmptyBag False Passed
eafd452fd09e1cc0cb74d264b6c1785f99917372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagAddBag True Passed
ac467d506917eaac7916d1439c76094af0f09ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagAddBag False Passed
8169d7889c7f84e00ca8378f2e1c48d3d244a4d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagSub True Passed
d58154c0cde404f1fdf4ee4d1f28f4d2c316e2f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagSub False Passed
f07ae6cd2cd1815ac4412c8a37f87ff00d4405ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagUnion True Passed
f2461fd1a3536437d119ae279592bca413f9f648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagUnion False Passed
ac1e97180217bfe64259acaabc5b2a392fc7f175 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagOfAll True Passed
1d3cef14e41175f568ab1bbe95a4da953e96af6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub BagBagOfAll False Passed
955e1e854cf398c3a7e50d2ec6cfdf13122e65b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub SeqHead True Passed
b61421be8a0d3e1df347d81b776c35755b3dd700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub SeqHead False Passed