Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
48d59a24f106ac65abb81d084a682a1d671b5f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet OneLineComment True Passed
35c4929a5db8e7497e8deaee0959dcf2c0aea6ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet OneLineComment False Passed
9882d030f6ed2f676beba16bafba29a4d4348bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet MultiLineComment True Passed
58bcd3f7b84c2f154beaf8517b5ac8514d277656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet MultiLineComment False Passed
4fc13c76d7fa478081b56a2125ad436d4db9ac8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Let True Passed
3d2f6eb66f6015b857e614bdc5966ed3f763f8be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Let False Passed
c74050636cd76235fe253769e1c208f788c5c5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Choose True Passed
63a18ed64782eb901c0d72862ae46f66d2dda296 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Choose False Passed
9fb4ff974bc450c1a49943479fb5b1553f3e0668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet FunApp True Passed
83a8805040b080d7ab35049e40176c2696a3f249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet FunApp False Passed
ccad4c9b93fe04e341060b56536296e008638842 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Prime True Passed
e6a9cfcd446f4fab9a489cd2372935d6cfe8a95f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Prime False Passed
65c29d0a08057b2c5e85f43e011786b1f437dd12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def0 True Passed
74f9799971dd40bce81166bc9b554ec44834b98d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def0 False Passed
cf34704412958fb9ce94431bb786ba3bfe1a5c42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef0 True Passed
883c50a1e482831809b073972aa046be5a4dae7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef0 False Passed
ca243de4511bdd93a3954d1a36aab8a7f7dac8dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def1 True Passed
6c5085c5ad1cb5b714889865afafc28bc571e33b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def1 False Passed
15298cbfe44e55e7533db774e5938e6e7ae8b8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef1 True Passed
33906470059c604107c11a9b1c70d18198ccf7be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef1 False Passed
d567b89ba5bf9966f14604411ef0263139cdb437 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def2 True Passed
6765d804cf30f33d51b6f57c18feb574fed2deb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def2 False Passed
0f12f8a1433850ac6d2667edfe6acf2b3e14a494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef2 True Passed
009d25fb7827a42c3c8ecfcaa123ae45e18698ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef2 False Passed
7939d7c6c52c5205caf5ce73c1f387d54a58de5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def1Recursive True Passed
c2bfa4574954426ee39c80cdee884b469045b299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def1Recursive False Passed
14a5eaf5fd97195b6a38c4e0d54ca11fa1cd2327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef1Recursive True Passed
6a87eeed7205fc859603334e95e0e1e9a513153e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet LetDef1Recursive False Passed
9d2d59d52aa3e3c8bc23732aad36f0ebca069834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Extends True Passed
ac6ddba0967f9f4b64e48054e60e1e26a2fb1d9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Extends False Passed
fd1a086a7d1409e13aa7f56202949976a892ae65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder True Passed
e0c3938d14d69830d64e3ef95bfaba81e904a2b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ExtendsInDifferentFolder False Passed
bd040b37e7b42f98a66d54e9730ae841eec7fc3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Variable True Passed
03512e073c00062cd28c130245399ddc025a3a0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Variable False Passed
afd040b69e3a0b3d482f4872c7dfcaa5e1acd12e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Constant True Passed
2603aa9b315888e9724512aed821707d87193db6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Constant False Passed
f8d659d8949c69e66cc4a86869c30a1a37c02430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ConstantRank1 True Passed
b7f753a94e5a9bf2fac0e12f9336d58f8e5fa911 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet ConstantRank1 False Passed
b94a82e4268682ccb558d232853990e39b7d0409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Instance True Passed
41f76faccca18432be2e822753490c3494256982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Instance False Passed
a2b2ab2e09f45f42b3e79c321c0ff08c31772b5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWith True Passed
4ed4f8f551b3ae7193ae86550f44e4d76fb0b8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWith False Passed
c52b64b8d6bd589546803bf74ccee5d4d0c6b5c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamed True Passed
070f504d3498c85921c6f0689ec429ace520883a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamed False Passed
3c5df20fb348079cc2d70d565ce81bcd574578d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWith True Passed
1161e347464d34a3eca34e5d85a2dbf1c94da955 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWith False Passed
0698ebc4d3d382f86a45c9c329c8d23ab793711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceInFolder True Passed
974fd5be081d6ea66f6cf6b2a2ccd25143ae3132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceInFolder False Passed
72071f444ea571a03325a9f90ca160d5997d40ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWithInFolder True Passed
28d714fd318b02727d9ecf7f77a09004d460d64c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWithInFolder False Passed
95ca66605a8c3f5bfc7329a1371e8b45cba87b01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder True Passed
e9b41b8d105fe6739e12320f9ef2c856679da7e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder False Passed
3181ab70385cf21c15728f2a2deb22b01921e847 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder True Passed
1fcb1a88b5f44ce75c41bebd2aed80cef7f64a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWithInFolder False Passed
5de5e3a290e5b1514fb4f1e2798aa8c38f614aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfCond True Passed
9fb740b4fbe5b94f6700c895214cd8185bc7b937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfCond False Passed
6e691e299f28fac6b4985caa9d443fca3a9e2e9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfThen True Passed
7106e1a6f68ebcf8c86ecf872962849e95890361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfThen False Passed
ca4006eac8d49d0105713a4aef8e81ebc2f2de57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfElse True Passed
972c18c17846a7a6cf32b9ce54505201fbec56cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet IfElse False Passed
68c0724b72a6fb5f3ec357ddad6a0142ea07ff5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet TlcEval True Passed
cd4398d49ace28805b0633a2fc6591ffd8b8b136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet TlcEval False Passed
2211d7e5e8764c43577a330ce0edb9afc1101298 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagSetToBag True Passed
ac114dfa5a3a3d54f495ab386ce64734fd440fac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagSetToBag False Passed
04883e4fff5c0a8f9f5784e0912decd59ebcf0c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagEmptyBag True Passed
52a5c6205ff1d99e5e2b21c88ad7bbd2ef0cba29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagEmptyBag False Passed
3b106620ef1bc8203c806a1f7c4d031350f17159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagAddBag True Passed
82a7c8fe2941a007d7737b429d241fbbb624fa21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagAddBag False Passed
aafa2bca1d13580b1d51ce08eb2877e278f5e52d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagSub True Passed
4aefbd0e4e3f417b6e0da3791bd610a6c11959ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagSub False Passed
a07c1395a2c88c14a8c9f852e76092acab34e8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagUnion True Passed
14e92806a1e91a1304688c868107e4a9109f09fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagUnion False Passed
7afbf5044c8f5b59d54e6ea39857bbb43784644d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagOfAll True Passed
f236dbb4c9d1ebf6acde141dfa324203defb4113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet BagBagOfAll False Passed
954b98045acc9ea10674998f2cea95618b13317e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet SeqHead True Passed
148d3ead3fed3c40e63cb59cd472da51fd37d924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet SeqHead False Passed