Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
79355460ef16ca991556941eb1b953a32ef90503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset OneLineComment True Passed
a3b7a7c1946b180ff9cb1328dc2a792057925ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset OneLineComment False Passed
0ec9c00916eb04e85df9c56830e929f1d416c2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset MultiLineComment True Passed
4c329d1f9ece08edc6838e0510a5a90e7d176760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset MultiLineComment False Passed
6fd151811c2909c01d47c557362398bb0d545929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BoolSet True Passed
c81381c166187e5a0e23ed5bb117a7c5f53e28c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BoolSet False Passed
a9f6dff7990bb87e430e8b139539bf8e66ab4cdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Let True Passed
a740e7d9ffe699574774546d7df84be6b48234ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Let False Passed
18921fccb15a5df1c945be5a36b5667ca034f290 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetEmpty True Passed
43893aa6e507c7fc57e2b55995d4d63c09c1d2bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetEmpty False Passed
48990d396b0c10149202b5dfb5b0619f5db14581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set0 True Passed
adccea4b4873b98e77bde9bf0e83debee5068d6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set0 False Passed
bdcf3f5c581fcc156e7bfe82af527af7181a1539 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set1 True Passed
b5e87203e2a4797e1fe3c93cbc7fc3f8d281d2c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set1 False Passed
550b2dd091614db53766ebc70e70fd5d2b6b9557 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set2 True Passed
d4ee86d78ffd61ac2108d9e9d28e816a0dd5bb61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Set2 False Passed
cc7edfa3d81b6f97ca5d56ac8b2fdfb0e162e366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Choose True Passed
ae0e8f81c0b655de0c71e07a2f889014c8f49452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Choose False Passed
20155dab54ce7a67edc11c067fbd1f4b3005a939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunApp True Passed
a019e0ae2484995b54274374e05b3fa703ff59d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunApp False Passed
2f6baa861557a44780ea151bf82d4074a000609a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Prime True Passed
8a3f2308b67979148587f146bff37d31fa4a379a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Prime False Passed
5b7b4990ab3508321d832c6cd688b2fd32de9266 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def0 True Passed
369e287749fbaa22713cd094e184a4a352d041b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def0 False Passed
5295b433e8cf6dc12e114f599be6cad42a82c82c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef0 True Passed
465dc574d10f3a59e7f4753e727fe4a841abc3f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef0 False Passed
e086b1e7a77d13f94d9bb87629d17f5d6dd829a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def1 True Passed
018d40872abfa2f57d5bfb54c192ca648dd9b37e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def1 False Passed
8f06218ac18bfc795b40eaef3a1f01d2a7bc50e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef1 True Passed
5976e8025d9ed6abdcc35e45572286fdb22d820f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef1 False Passed
72b266147bd5996358165a0a590c0f015555ba2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def2 True Passed
eb6053f40b3695f613ba1515750701dcfb843764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def2 False Passed
55e418b2650ee7b69888f94d853be930c00bb989 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef2 True Passed
56d60f8e750e2af76094f1b2360f01185c636d01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef2 False Passed
1c36fc34930671b4e19a770b9efbe254ab8bbeea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def1Recursive True Passed
78934761d4827bf9e961e41f23bb9e51db8d373f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def1Recursive False Passed
a3c6c6aefc1c5dc5e9fa47216f81e2e3fd3a3901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef1Recursive True Passed
444e94118f681cc5cf15889ed83c45ced53f35ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset LetDef1Recursive False Passed
97354519e2e4a7dd92f99829b9ff11e488db785d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Extends True Passed
8da37018c653d1bfd6c107fb622b4ac9778cd1f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Extends False Passed
f2c711e000c873811081544b3906d1d8a8ba1e31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ExtendsInDifferentFolder True Passed
ccd057620c206339d706d8bd2767d1e06e0cc04d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ExtendsInDifferentFolder False Passed
8888080769b8f4b6d429dd901e007264d20931ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Variable True Passed
b9e0dbea2b0ae0b99cc56a18a081b695fab849b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Variable False Passed
357ecc4118d1f792f3ea53e6e60271e359651fc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Constant True Passed
8a57f66e2821c62043964ef809301600aa652a96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Constant False Passed
e8bded04b9e34027a13bad719728ccf94faf4528 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ConstantRank1 True Passed
2a48c792d98aac084ecbef01125abbf76a7cd27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset ConstantRank1 False Passed
dcfa49608bee01e4e5fd5c261bec526efa626abf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Instance True Passed
8031001530b7e4137ac8ab41c42d336bb19331f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Instance False Passed
631438626249fee89f882bdfb1a7938116e43325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWith True Passed
5b788d73f4214c4a698f1dad9503e6f0c140c36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWith False Passed
21ea040451eb9f4f757190313bf7a98b8429a699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamed True Passed
d35fa73ffb68a8e8a48504f9442239a4578be632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamed False Passed
6ab734143aa931017787ee6ec650bb45ac20b6a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWith True Passed
c63946b2c2a573a68209719aafdb70fcbe359702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWith False Passed
191e2bc7c2165c82dc431566cf52b10461cdc24e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceInFolder True Passed
c167635a88d0af6b07800567b49f58eae7bdc386 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceInFolder False Passed
8dd7199b6e27af7b9441e688db6ce7b6ca07b31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWithInFolder True Passed
92de43d27f7b2d72bfa45d90a0a551e20c7871e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWithInFolder False Passed
976f9878775335badf483903f4b4a742f926312f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedInFolder True Passed
627c55e56c24cc3b32cb9b823c7a4080ee3057c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedInFolder False Passed
c0ea535cf261891a32ea6469b05f956c22f077e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWithInFolder True Passed
38b4fa281ac179c9ee8e1418b12e88ddad48c88d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWithInFolder False Passed
75f7cbf870e8343f883508bc2c94a1db7f8bf80e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross2 True Passed
074aa6bdfe747a0d79e4a33ee75628d83744299a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross2 False Passed
c25860b3134cd24a22922ad36874f4cfab0b6885 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross3 True Passed
00d0ea0b657f43a188d6a44217aa18dfe162ec58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Cross3 False Passed
5fdfad224a4a80f480049a805dcf6e3f97b61fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunSet True Passed
8c95ee6d2e135a0281c19da0372e1111edfda2e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunSet False Passed
6310316887bec649362713e8d5e5234d0ce9765f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset RecordSet True Passed
606f7d827e77664970a082230b4325a25e85e021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset RecordSet False Passed
4c36a9ac71c98ac284a52401488481b3a10ca7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetDiff True Passed
1d8ca5913bcec6c017fcf2fda69211d551eafe2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetDiff False Passed
ef9ac333e401b5d905b3be22175c1dd2bfb14096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetUnion True Passed
39792a93b9022c9019f6dc975d20e62def76f2c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetUnion False Passed
02578af9a8406fcfe612dee6dc54df178b0d2b35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetIntersect True Passed
d414d17db4c5181adb02b858807b28bc956c90b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SetIntersect False Passed
d10de656c1c6b9bcd125748667ab84124df073b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfCond True Passed
b0c8d3ffb52f42e6359a7bd16e824da71a9d64c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfCond False Passed
f7c207d2a65e7baab992bf28f9811dd5e19beac2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfThen True Passed
b2a93041ccbda769115706daaa80a3b9dfe75e3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfThen False Passed
1ae7eaf315568ee4836da6d60fa421d7fedd818e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfElse True Passed
91c068bbdf987d11ede9f300092214ee7331347f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset IfElse False Passed
50dc7e52f17d2cd5b0134b84e0418a9e47930bce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Subset True Passed
8fdaaa9bc1662007ba53c62d3854328793524e2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Subset False Passed
1cf7621c4057d0f227d42454d1f111c2365ccde8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Domain True Passed
2b15cf0fa10d0cff465228732432fb081a84c599 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Domain False Passed
097a0ddc506435e08bbed07ffbbdd95686fbd161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Union True Passed
764078f879052b6635a0cf8100c3635b2e7368db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Union False Passed
f784b4bbe6ef409318f03f71a2d518eb8d1c9b36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset NumRange True Passed
27605cd51eb0b088304a3a54378948f4c6b75093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset NumRange False Passed
3d1d9183f2ffd68e91cefccb45776031321d1d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcPermuteFun True Passed
d2ce2bb25f67037f2b16b5c94b00d8d217bf373a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcPermuteFun False Passed
6380658db4f361062cd9958e9e70c778394c615c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcEval True Passed
a4210995a5ead0f51393780a5923f7eac66e758f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcEval False Passed
77968f74049b2fee20ae4a027c2f3b8afc4770ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagBagToSet True Passed
8699a1228489c3100b30455886b7da1476c6b7c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagBagToSet False Passed
292df15078d1a845565dae5ecdcb4f64dca935ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagSubBag True Passed
4674e7a98df441e63457cfc54b67855634620963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset BagSubBag False Passed
5e161abd5377307ad7edae5aca10f7c34b3b68d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SeqHead True Passed
8d55e7b442bf66f4ca06c32ed96bd8a034c2e742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SeqHead False Passed