Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
cd3c57a40dfc71e1439642dde791e5fd0c45fe41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed OneLineComment True Passed
5329850ae3aa6f6f6b0c5f2567b066976517f559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed OneLineComment False Passed
2521a7c2a2884735c7a9c5bbf659f07a381fce1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed MultiLineComment True Passed
10833f28e208bca603b7685853c68c26a2ffad1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed MultiLineComment False Passed
3242d07e69c590894e6740ce8765452026253fb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolTrue True Passed
2f681b0150d04dff4872d532ce66cd08ace78487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolTrue False Passed
1e4fde3903ccd726e9a99e7b0145b7a57acbff4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolFalse True Passed
94ab948575ea2e47b237f87fc1757624fceadb0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BoolFalse False Passed
ae83aa82947f0012ac975032803264a46fa17807 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed And True Passed
dcb2501b54d0445b4e5528ea1f6ad47b788cb42d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed And False Passed
a81dd9e9c311bf324b6637dc2c1f5055d9d623d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed AndMultiLine True Passed
563a30544dc95e70094476eb9393a1a21a1431f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed AndMultiLine False Passed
93fc5845f808244fac57511c2535e1dfb54d3a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Imply True Passed
3935c03cf0efb7af30ac392b4fbf354800cafe5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Imply False Passed
d5ec9ea50072065af650daee0b53ddadee567504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Not True Passed
973158376debb8f9dd76fc04d6e31da6085b7e47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Not False Passed
23619197580908383902fd97ce19717afd930b1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Or True Passed
f5e0183d8697ae211eb9caf8c85a09041b726ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Or False Passed
6e535c5d284d4c7cde97fcabcb9614993d90e6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed OrMultiLine True Passed
f6873ef47ada1d5b5016f7044743d838b029fc72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed OrMultiLine False Passed
1926c64aa830d168686cb1584a7bbe0a9015d3b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Eq True Passed
3fb00541e05b21a8dd54e4b3c5c3b08cfadebdb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Eq False Passed
adec25b22b3d22b661b405be2da5b2b0f2cac396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Ne True Passed
1207f9e44acddc3ec366b52741a80b3931822968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Ne False Passed
9248e341c7bb9e51a0b2ea06ef425d08daf1e6e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Let True Passed
6f75faef095fb1e6c46958fb0f2799aeb0218cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Let False Passed
dec27530105bcfaf2960a40509bd72de74d0b285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed In True Passed
5424d1f1fcdf2db56a98c459fa8703c8b2b60305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed In False Passed
5ee665b48e25d900fcb2015b0d45b4c172fdcbab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NotIn True Passed
ceece8ff0f762b077ac04fbe31af2022e48ae24c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NotIn False Passed
0a2e8e87d8ddeffc8a003a261c5376bf70567431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Exists True Passed
5ab121549e8f5c9d4c035bde37e1c107ea296503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Exists False Passed
3a2fdb73361796ac4472398623b210aff168e8bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Forall True Passed
fd082964f569b0ce1682e0c2da74ea45ae6682cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Forall False Passed
7c461af6bb9c57a0b15093fa17a24e35ee043d8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Choose True Passed
d519b9ced3f5e3d053952b38e51c04cb90c876be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Choose False Passed
cf0312adfe9b6ef96c037020dc9c443cc20badee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FunApp True Passed
e532e68413079e6509fbf5a314ee1334354d687f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FunApp False Passed
1f5e2640c2b62d57f2ebdf5b5a68d363fe46fb14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGt True Passed
27a6b9deab4a2e8b71b58e7519d5e610ccf9f4a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGt False Passed
66d412cbbef95b93c71ec26ff155eb25c7cebc31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGe True Passed
bee7a583f7317e7775d93059c6bf3f072e281412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGe False Passed
b526fd1ffe65b4eefdd18c9d3566c34a897ed6a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLt True Passed
b679fb5e67a78c47743977d79e0396a4379b8111 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLt False Passed
83a7a4b8291da039a77434a7019b3cfe547de667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLe True Passed
021ff759d834bd4379e3ef829f17b6a259fefd87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumLe False Passed
f53a9574be97d6403a402564f22730ba0bc1063d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def0 True Passed
48642eaafd2d344fbc111ed18f1d5c55e2973bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def0 False Passed
4c3055e49cafd1661b952f9ae14e5212351bb41b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef0 True Passed
c4016e5716636dd4a5fa8912aad4c5357164b6d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef0 False Passed
43e76dc0678a42497bcc336f13dfc97e24043684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1 True Passed
c034fd9cb0892f77e3a07fa442465d7e1cbee2e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1 False Passed
7a253b46adde998bd345829687f8602e70fd1a23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef1 True Passed
aa16b765e6adc829047114785a15bf87371613ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef1 False Passed
bd0c3f1919f35bafbe1cc6aceed6b5acba0e8aaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def2 True Passed
0765ead193355e45ff83ee3f7336c7692c0a61b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def2 False Passed
fbca2b61e709baafafea9c1ef5a316dceb150690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef2 True Passed
9fc7c5bcfe94239e072c6d0539f5482b2ab4f649 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef2 False Passed
222e3bac27fa755425fce3f5da310cf8ae0be621 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1Recursive True Passed
7422065760ee56c5614a2c833ca48487f20d9de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1Recursive False Passed
d8fee0612a9f477472c3ce20f6397013cab034ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef1Recursive True Passed
dc1acc57d6ec12b74afd04a7bd8eb2c24924d4da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed LetDef1Recursive False Passed
3f49b7d2d0a98fd624561728dabc01ca4405d0d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Extends True Passed
c2745637fe27fe7ba9b4e0934eeb0ea9516488a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Extends False Passed
b50c970c1981ecec8baaeb1eae1fc5e07eee5c34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder True Passed
56e5db819554f201f3c0310c9e3d21e7b376a8b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder False Passed
f29fd2cce647537ebdf8772ba3a8fc379c933103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Constant True Passed
264a574dde93faf3f45be75cfaef6e850be4f685 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Constant False Passed
c26f59b4926305fef162c1f9b4888adcc688de70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ConstantRank1 True Passed
7ea86e3350a25df75ec48df2a6a76b9d312f90ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ConstantRank1 False Passed
4366e7eaa8ded4c4eb0ad4d451e7fec3e4082e2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Instance True Passed
87eeb24e908216c00936ec07ec94be773d79b9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Instance False Passed
01f3bddfb292208aad577cce2a26cad467555405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWith True Passed
8c5751c384ca82f31215e6992968432338d252ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWith False Passed
537a415f4c9c6a6205bbf03a95fca8131825ed0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamed True Passed
2fbf0e03606e6635e5fd18a10020b01e6e876393 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamed False Passed
e36955e35298c08faef4b4635c1e207b2367c57a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWith True Passed
5e89db1a9c10878ef00c9795ca54075643ea771c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWith False Passed
990cf8fa4bf669846418324cff7d0a33d7b43077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceInFolder True Passed
fc1f01c85814f463edf3383c7b082b65b2175340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceInFolder False Passed
15521ae6feb3115df4453743e9d8877b210630b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWithInFolder True Passed
71d31dd2c82184c8e1a4c911f1267d5a7de110d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceWithInFolder False Passed
05925b8c9e5b42343a874238c71825b854718595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder True Passed
2b12d2d5c4849e2d00c1ecbaa2dbbc971e36c887 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder False Passed
c93b21c51befd7776f0ce6e3fcda955f88226b4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder True Passed
36597ea7ec9468e9bb12fbfe36e68a4b0e425a2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder False Passed
8bb41619bde48562b1871264db1f8baf76376f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SubsetEq True Passed
dd3d3ebda5cb97a26fd86a4101b4548f1f1aa9b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SubsetEq False Passed
4d8a1dcd5a0887ee4975d3dc683f083d42292244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfCond True Passed
c6c20381e10cd25014be2b2cbb33d6df707691e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfCond False Passed
524c707244fac3d4c4e600b1a7e338ed5e10f1a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfThen True Passed
8186eb01ba16f2bb9c05cc059730d95cea47cdec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfThen False Passed
7ac9982567a581d395d243559ea43809fd4a75b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfElse True Passed
a813c90743e58764ea758f0b009e7e263b60d84b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfElse False Passed
ca7e0657a88227fe1a3daa0f41ce43ea7474e90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Equivalence True Passed
d4134722976d98d69e4d6357cb4626d3a023082d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Equivalence False Passed
7267ed0d3b2eca6f01305b1c933039cd59376b89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed TlcEval True Passed
5bd24451a3d45e3906b98af5755a97610db80a8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed TlcEval False Passed
05ecd7b1682cc8cc4cb8daa579719d1591d49ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagBagIn True Passed
3a111e0bc94b6c4c3125e48e1479a59e747c4486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagBagIn False Passed
8a638e2f7fb74b1df330154dd99efd92d443a286 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagSubsetEqBag True Passed
45f3c0ce9c37e57069d81def9bd0c37b7f18b504 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed BagSubsetEqBag False Passed
e4951a40f42a83266060e96691c9539c78ca626d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet True Passed
016fedc688cce8a9eb24102422cc83d4cc35dc06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet False Passed
18b83592a7da4c8ac7743ea48eccf23dc69b8349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SeqHead True Passed
35bfc10787c4822b4d85648edaf3241254293b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed SeqHead False Passed