Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
357c261e846b83ff8ccc827a8ff60468aa1b5787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect OneLineComment True Passed
8dc913ed545248b46fe0c97503c096fbb6fde8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect OneLineComment False Passed
03d6796e1c029b1607aab05b54ea5ac2d66cdf17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect MultiLineComment True Passed
8579af70fd25211b45d38da12d6b6b190ed097b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect MultiLineComment False Passed
62fecba033e5394a7624cf9cd6d0c8e468011682 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BoolSet True Passed
0149f685e70726d19215dc1e58df4df74f3976bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BoolSet False Passed
3a5fa93278e4d2db0c001f67e1dae7926afbe0d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Let True Passed
1b27d8a435b5af5dbe0597c5131357799ac329ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Let False Passed
7aaf01c3be172e884b3248fb1f0eb5463c8bbb57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetEmpty True Passed
ded28b6be31dbe639fb96ef2164bef7a830fb564 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetEmpty False Passed
c1e0000d87cfcca80d910954c6eb3f92e2fb0fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set0 True Passed
22f63dec5d676a68599280fbf1ea4218bba7e442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set0 False Passed
783fa38ebdc7e5459041eb851edba73a201d4727 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set1 True Passed
033d92b60cbc0ff96aeb68baafd0fa84f44d110b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set1 False Passed
6ce324858de473a5cdce7f2f55a85378768995d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set2 True Passed
b0e298ec2533fa11620f0af8b8664e89b5d83a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Set2 False Passed
d9dabcb27d3233f9d0803d34001cf4a8adac15ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Choose True Passed
e1ddaa4d3a4c011be854670573e1f48bfc1a0481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Choose False Passed
1383789a51bbec9b3d1bf787eee6e01f5b76b8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunApp True Passed
20f2ebad34aed3ceb5a45368f657fb6a85e0fcb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunApp False Passed
4d96d593906c6f5e0569e119c5b923a03bf8dcaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Prime True Passed
dc04e4883d8fa6fa1a18da2c58dd259a7583dbcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Prime False Passed
a4a9cafad783fc03e64b7e12a030af42eba91ebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def0 True Passed
7eb64583b7f907ed07f7fb6cb50f0cc6ff76a4d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def0 False Passed
d505b96c529512dd46564743b8a7e7009114318b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef0 True Passed
71936ea362946c989cef5f807eb1bf2c00c67293 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef0 False Passed
e71dfd47a8661baf8d47184057467d19b72e5f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def1 True Passed
e92b563d7794ab79b5984f43d368755615d421a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def1 False Passed
0ff5829a5c39bfa86cbb81bea338b189a45fb1bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef1 True Passed
491b570a389511ff6c5661faca5bf714739d19ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef1 False Passed
76e691aa8403fed89de6211be0015eb4d633c5aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def2 True Passed
78158a78531fc60a4bc1205a16192f7aff3733ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def2 False Passed
ca1184e4f3d86e3319796264096d0b3006c31237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef2 True Passed
1893746ba99a2c97ba430e5f60010456c4c96a47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef2 False Passed
c2baf66f70a23e7f276fc7b480d89a9358bde4a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def1Recursive True Passed
ba26765d01a2f793b1e43cb2449505e58b0c8377 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def1Recursive False Passed
a1b7015ed09bff369af7a09c5c7e3af843021eec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef1Recursive True Passed
1fa81ec8babd8631f8f9b0023a7f483f0b8541d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect LetDef1Recursive False Passed
a5e48567080fe1059022555997067b7f267bc2a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Extends True Passed
33b2cf9542aefcc601e9eb2f1f659cb63eb9e20a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Extends False Passed
2eb7a2b07839612bb4d181467e36de1a31d6bee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder True Passed
dfe5aac4444b33576ad84f7dbee3809792012608 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ExtendsInDifferentFolder False Passed
f81fe2ab155825874173b45bb736a16d7a14b98c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Variable True Passed
7091f6c7c9568e967e41c89d30442e441aa09add TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Variable False Passed
ac36fc7176408c49f8c00691dad7a36c5302a442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Constant True Passed
4e0ed64d7358129fdf0a64050cff29ec7e1e887c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Constant False Passed
2bc1b4ee77561aaf9ad0554d165ffe29065aaeb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ConstantRank1 True Passed
b69361902a1e0411386d767f8144497b1e39defd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect ConstantRank1 False Passed
894f290c7686c6e16620464e25a7505c6befe84a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Instance True Passed
3251f8c8fe861d87aaa2a5e638720d78fa6a95e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Instance False Passed
70a6824b339d08a0d2ff54d944597ccb79932cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWith True Passed
2e5b9a740a6657e70a015291381686d7ef86a96e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWith False Passed
37fcd027b6125f0b774c172466b284b7949dcfaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamed True Passed
d3bfb08f73c90e7d751f2130b5793e2bed208589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamed False Passed
151ddc02e0e3ce9feadceb7233e3f52b6ccd6202 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWith True Passed
a2b5e667689ebaee0d2e80d47210980ad15ac582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWith False Passed
6b50363c2253abb58b5b99312ad6f27cc32ef56f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceInFolder True Passed
8c6bafc38570034da73391ef4ec399acb6690c3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceInFolder False Passed
bfb02c1b7a346e74470f397ad638c6997bac0063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWithInFolder True Passed
597ded1b2287001ed89b3bcb0333a6ec06a97791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWithInFolder False Passed
ad3c3c202efb9ce14e0ddefaede016f8598e1a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedInFolder True Passed
c008a2f5ff8fbf965d3831779ca7dc4a2e32a3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedInFolder False Passed
c145489d4a2659bac1898406073556e27e2be44f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder True Passed
e5772c4076bf4bb25aea2a39ee68026a52db0310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWithInFolder False Passed
f064eae9eaaf98d78a329e8fd13de90598c83014 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross2 True Passed
af89211ab676b999338cac0935634deda4b1f7ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross2 False Passed
11de3a032a1faa60f48384b835d04ab75622095e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross3 True Passed
60fbdccb62d3a5a26f6e3d79fe6f41933acf8291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Cross3 False Passed
65ef6b728e9cc804c90c46e0ef5368f6459b9a65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunSet True Passed
9b0402796d54313311195f7ce3c6b574ed77a538 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunSet False Passed
9a3fe33b42d03b8fb304cd9164d0c8ff37b94c18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect RecordSet True Passed
277072000b028b8b5e813da24d4da564f1ece08d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect RecordSet False Passed
a327be2e763d8a048b304390d839651a083e659d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetDiff True Passed
de02fbf531a42da435a4ab9ba769b346ee4c5174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetDiff False Passed
472e23e84d8a9dbe8c5b7c371161356c663ad909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetUnion True Passed
1b48ab77b0ffb94eb86eac7aaa23967baa57de88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetUnion False Passed
5d394c9e4f71c716fe391be45602d73430037f5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetIntersect True Passed
8844fec8328cf1e3abfd017ffafa7270454e5da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SetIntersect False Passed
793775c56e0574a862758da6a9f622857fc9860a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfCond True Passed
e701af72c34b0b562fb9024310537ebcd50f69c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfCond False Passed
9a19ba5ffdc79dae259077d505d363a35bb97347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfThen True Passed
2160d6dde51445774dfee1966ef8d6c1f8ef1acc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfThen False Passed
0223b4e452431ecd7e3707694d6074fbf47d3f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfElse True Passed
8f6ae1361f6b6d373f474ef195a66cdcd4b14e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect IfElse False Passed
db35e747b97198ad39770bc34f782353a0df0f33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Subset True Passed
4917121f661f7a40e3e3c46222806dbd09d38a59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Subset False Passed
cc30c21706359b48ff60c969f979e5a3d54239c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Domain True Passed
382d98b1223b675ea2f09dded70163bc55c6bee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Domain False Passed
7b57c7dc3b87cb91ba61a04894324d927417bf1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Union True Passed
af450fa117dcd9e8be8129a178b3d84580fc8d46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Union False Passed
f7a40cc8945df0687fa84bec48c5cf6398fd79e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect NumRange True Passed
9f81b0d9c0306b75179c8d138562c3df7d2f7ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect NumRange False Passed
ca37cbdfefbaa73bf86b025a764b5be6d732d310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcPermuteFun True Passed
98df2a90c72baa8332ffda8f95541ef504b5ddda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcPermuteFun False Passed
9406419ab1ee31bb76bd2197eab3618fb06b6556 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcEval True Passed
1d301c45133ce75657445f14229244fea874f151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcEval False Passed
212dd9b1e6ad8c1851029de94f993deb60535e05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagBagToSet True Passed
3c3b52ba51125d2428563edb69a747c4eba7c3a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagBagToSet False Passed
1949890bb9024691d5760b491cbae2d6a0293564 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagSubBag True Passed
13669e49c0dab29adc78a7d2e5d4fd19737c2dba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect BagSubBag False Passed
0252cd02bd7d914ac94efc5cc3100cbd7b2bb5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SeqHead True Passed
3533d83786b16b84bde2b1e41ee98e53d6ddd31b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SeqHead False Passed