Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2780da65a05180b732921ec89f21cb6dd26063a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag OneLineComment True Passed
5c47355bff8cf4a6ab19dfc7e5aa2b8abe8ff7bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag OneLineComment False Passed
d70fa95cb5b58c7f835007f44b8d1469e5e015fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag MultiLineComment True Passed
1883c20a46c350725c7b9172c0c6e03d14b749e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag MultiLineComment False Passed
9e53dd009b4466d8ac8fcb0dfd546f62e3cb1797 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Let True Passed
b42e3f54e0ad66042c18ccb800b75d23eedd5873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Let False Passed
7b8e2db02b08239d18fb47f9d3aafc60b7fe720b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Choose True Passed
feeae67c73dedc4e439c6c3d97be65a7272f3780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Choose False Passed
09e4d9076b30bb14310a5ba43218abecd3904fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag FunApp True Passed
013bde64a3f615ffa08d336045da5dc2ca15e97a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag FunApp False Passed
b7754902f1528ebf0fe77fdbeab4c357ce1eb69f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Prime True Passed
bda4f4879e675ce4005389fb2bbe5a3b99506e36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Prime False Passed
bf68d390a4c7734ce073d9c9b12f80839a9b285c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def0 True Passed
7fdacdd56c8376b61701ff4a36ef251ca472d499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def0 False Passed
c7fb797776281ac09fe2734ac77e0138e498ebd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef0 True Passed
404a4e9fb4ba6af2cdd0e17b9df3e29047a9ea0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef0 False Passed
2f4c174e1bca928366f4f5a5f24b3a5cf3a5018c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def1 True Passed
17c31790f6f6baa78e32bed8da92ca1a3e597ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def1 False Passed
c8b667f2092591060f4e9f95bb2c2a3737c01463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef1 True Passed
49da2d42533be38e51d94ef44421540198fbd9c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef1 False Passed
f283ba932ebafa6aa239c71f8eedbe119ae5db95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def2 True Passed
491d2f50f1ab4ae7bc7095eb0dcf0d3e201058bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def2 False Passed
760c8c3600b20408e2dad732d7bdefe995dcf93f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef2 True Passed
2b48dac537eeb4aec5e29dfc12d2c195c0197494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef2 False Passed
b2c01bb78bdbc6e70a07d95ffa2f2393cf277604 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def1Recursive True Passed
63e0ee050a8466cb4401aaa669802fb5a13498b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def1Recursive False Passed
eede0ffe2e9bf303f569402b5c2469705ec9afa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef1Recursive True Passed
941efe8871357518689eea951bb71b903de4922d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag LetDef1Recursive False Passed
67c9ba16c77653d6cc75b78d9b4f30c908ca484f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Extends True Passed
09a30d47f12ef4d0ba115125258803fdeb9dc3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Extends False Passed
38ab3674521b9dc706f3962c6db7b834c91a0e5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder True Passed
e64a3341c28ca8c497f04a8920ffb1ed77fab3af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ExtendsInDifferentFolder False Passed
5fb32cd83443fec636b6874c6e26f61e7de70057 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Variable True Passed
853c59846797269efd753420f5735ea85c2ded69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Variable False Passed
f9a04cabcb6255e542dc60aef6c5e5797ef266a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Constant True Passed
66b34201369c7322ab4766ead14d83391e21619a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Constant False Passed
00bbf83d303de74bc4906055b6a6724333e81095 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ConstantRank1 True Passed
a667a3dcfa00d5a7289fce5418a34a64b1adfdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag ConstantRank1 False Passed
96b547b0c40536e2ee7c5190666675f55b4b5270 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Instance True Passed
4a8acc3997734c8c7dfdd4320d117c35110309f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Instance False Passed
e0cb447dd930e086514db38df59076954990e83b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWith True Passed
aee06218ba1a0149a3714b9f08f325424c6dc29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWith False Passed
596ef985788d39c4ac0130ace780288b99729e95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamed True Passed
680763e333c2786bf6fc0ca41893e8c66c998e55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamed False Passed
d089def80f985b520b4fd48ca726481fdad284d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWith True Passed
fd87461c97199b25b7a400e91563cea3cc716895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWith False Passed
07b0c99af4aa241a4397b2d293c9da285044e046 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceInFolder True Passed
5c4dadfb2bc162be8ec44a6b84ce49fada8ca673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceInFolder False Passed
67b2b944f7065b290c86907a9a5a8d33272bc993 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWithInFolder True Passed
be55a70cde77c0e9267ccc0d06624031aa28de01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWithInFolder False Passed
05ef129c7226f8678c9eb65c8365cf3c962571e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedInFolder True Passed
c24a13624ed36fb59ea3905af5440028340e001d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedInFolder False Passed
dc17902e43e29df695793430607252bbe588a92d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder True Passed
d9f550f763fd561eae22e521201e4adb76d50916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWithInFolder False Passed
79c409facc8b22c9cb3f81af4178090c3ea23f85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfCond True Passed
a1bf0553813c67c9881754c3e497a33dacdbba56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfCond False Passed
9a05bbac8de121168c2429bd64e9898109e9393c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfThen True Passed
0ecfdd33f9624a263b4fd9938f38af451c0cfc8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfThen False Passed
155516618983c0734d4586c9f30f8831c15675a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfElse True Passed
452c7ccc462551187ef3c42f8b744abf1192cbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag IfElse False Passed
e19276adeeba48d7a1c178f0ee71ad988d02abca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag TlcEval True Passed
22d4efdb55d9753ed9b0fdafc97b5b1d112a76a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag TlcEval False Passed
84123ae1344bf678b1892a7390283244de1730b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagSetToBag True Passed
73fa512c7de8d72ab7280abe031c63fd5cb73f72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagSetToBag False Passed
0fd3b24a936bb27c8ba70184f6271276784f0d0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagEmptyBag True Passed
89a5a8c4424b96d3e6e13a4172a2e1c65f8a704d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagEmptyBag False Passed
8f4291506a952e129ebbf38ba6f668f9e091a806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagAddBag True Passed
b159df16f15e48548b0fedefbd38e04f30b52522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagAddBag False Passed
efef83efdad5f9295636118c461681083d27b29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagSub True Passed
1c0d47aa014a8697ae9233582a68d88bccc9e16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagSub False Passed
13596ae2d4b42260789384f6613cac3e6e4d73cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagUnion True Passed
a4a59d3e17592a3156ff4006159bbd8d8936b04e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagUnion False Passed
cdc2fed33e9232d95cb902f20e243e0d528c0aaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagOfAll True Passed
090f6453ab4d9990a8a3c2ee13a7786690f095a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag BagBagOfAll False Passed
529db6f81cf7cb1036286e80429c55081d7350f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag SeqHead True Passed
9372bf44323931f9f04aef71531581e44b5fb522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag SeqHead False Passed