Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7944273e3e695537ca448882b9061ca6ec993d75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OneLineComment True Passed
e92179131b9476335fc404e1f156bf3e6baa7f81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OneLineComment False Passed
dac0df4c0fab4d6c80a4fa2c153a3cc9d145ab85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed MultiLineComment True Passed
0c0e62e1a4f9aae0fc30ad8fe47f5dd4c2c6a6be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed MultiLineComment False Passed
ef7fe7161fb50a0ea3f4fa90cce16bcc0ed32e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolTrue True Passed
f65cdc683e34ad845ac4fe11519c8ceeffc539e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolTrue False Passed
6daeef4ebedc583da07ec3138eacc1d50c986a62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolFalse True Passed
fd69f9d5fb79f72d9f67e7429f2f2464900fc905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BoolFalse False Passed
7c142775a8f54b19141d4d4a009e6955191514de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed And True Passed
aa4971750f4b39415dc628c08fc2f692d6f374fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed And False Passed
b5bf9ad1329d509a0a8fc35d6d5063ef1d14fa5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed AndMultiLine True Passed
a431fdb79dffadff889056b1c677bc5a47c0aa5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed AndMultiLine False Passed
692979fecd22c6f3bc117fad95d4568ed2ca788d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Imply True Passed
4cd72100f2611c2488ecc3c666965500e819c0fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Imply False Passed
75fa42e1ce3cd0fb08406b87a29e90e52b518dda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Not True Passed
8774b46a64d18e3dedd0d54f1dfd65f50672fc2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Not False Passed
e95e6401813ed393c2c9806be1609595168e12a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Or True Passed
4c4586eaf00186f8cd2c3830456611ae33eeafad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Or False Passed
b2fff965af0fe32e6f68ecee83167e91618dacf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OrMultiLine True Passed
3d0417fae3ba6ec02594fc167b06a1525e466e52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OrMultiLine False Passed
bb6ccadc46f0ff4f87b1b32761f300acc4d8c19e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Eq True Passed
6ab5182b81882b0a8914cb49c9ea6d90078bc947 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Eq False Passed
0a82da79067fc8a9629081710ee822284259d9f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Ne True Passed
1018f2ec271d6248f721612961b77aa943ba9a4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Ne False Passed
da84d7b8c9a509a5c216d30d405b1773e9063253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Let True Passed
fd336474a5088c988f23d719e360a4b992769a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Let False Passed
cc27ad96b17e0fea503a848989c7f623120a5d64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed In True Passed
5155c7f35d88a41ae3cee0510e9fb2ccc5daeee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed In False Passed
f790ebd7eefa6433a1ca165a7aa727e7bce9e565 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NotIn True Passed
2dbbffe455d5ea09a5b4609161ec214deae1f66f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NotIn False Passed
247ee728eb66784e99ae7ee0de867fb22dfe4f33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Exists True Passed
565babebdaf5fb1ce57f05905ee4a2297260036c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Exists False Passed
71cad021eb5e53eeae1fac7f06ed8eb6034995e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Forall True Passed
7cbfb67729518d1da181e72cfb1b353209eb4a63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Forall False Passed
fb65e7889ab2e99891035b0437e1a0b7b3701943 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Choose True Passed
55d4fdf63dfe7e6ad3c6a6e2d8b62514489ebb5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Choose False Passed
86dda680c030d39205b258cb274d6ec9d5b047a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FunApp True Passed
a8fca9acc51980eb47ba6fb8402618b99d821087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FunApp False Passed
0d23344745ba7308575f6de123fde0e4814a86d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGt True Passed
405adcbedbdb460e936bcda14d86376cdb71206f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGt False Passed
b60ef45308eaadf10468dee91c252f56c950d248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGe True Passed
859cf645405f0fe288243d6b89603efed319e0f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumGe False Passed
35da28e5df27c1d0105381787a06a435e2e603fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLt True Passed
26f4e7de34a4c1a64f75ed7c1a2c7c6e3a0060fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLt False Passed
f46f18160ebb7057ba62efdffdb50670c312ca51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLe True Passed
b6241d649d4355543e1aac4602b5fba43565a2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed NumLe False Passed
1f7bde6228175ff8c92cc38c81bd0047b272569c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def0 True Passed
bc48549a301fe6706a9b865152ba005785db8e2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def0 False Passed
31a6ffa0f917abe17030e6e1f939f1bdd23dc240 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef0 True Passed
134ac83098dfe1df9157f7178e8bb24ecb96a46d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef0 False Passed
fcf6f8dbb10576706f6d408f4ed93277caa1c873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def1 True Passed
b4b945257d1c5bb7565e54f5afd53b8e81af1b41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def1 False Passed
a39c4bf32ebecf5cbd6a48f4bd7f584cbd711612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef1 True Passed
1f1010531c22156a2eb64702757c669ed8e227fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef1 False Passed
baa095446c78f120d11f37323e67b35a63d162f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def2 True Passed
c2c0bef77106141180b60b21fae0bd5313cc2c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def2 False Passed
6e0f1de9cf17994d30bb6e68f62f56cec83f7798 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef2 True Passed
66ab6d322fc38b8b522caa7932d1a3e550c6b99b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef2 False Passed
cbd91b00429063704c3cb1f35523c996bcad808e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def1Recursive True Passed
58560c9a49b8db333c6d841c451855f7581fee51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def1Recursive False Passed
60968855db20615e57cf8af80e9b981d4938b76a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef1Recursive True Passed
ea8d0969de9a452c11695493b96df7803a4a2818 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed LetDef1Recursive False Passed
70f47494439fb7860947a63aa3f893d83b1dd4d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Extends True Passed
76767087104fdbcc6e632521e3b7be86661bf678 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Extends False Passed
499e442259099f22cbb0287a81642203eeee271f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder True Passed
18c69393d33dcf3d9a1d91214fd83ac254220dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ExtendsInDifferentFolder False Passed
2929d44960482d04baf0cb655b6d8307b883704b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Constant True Passed
7cfc8f1a5155978543f1ac4b60c1e65fc7dc67cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Constant False Passed
9693823730ddb7597057cf18cf6e24c0dbd0df57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ConstantRank1 True Passed
8c0d484bcc9e6428ae58215b173b16ef7bd736b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed ConstantRank1 False Passed
f49a2a697e68d8a531ad5f7c1be055664e264b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Instance True Passed
9e8806c742c0200df50145124a7b54c9ed2af62e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Instance False Passed
1c19579cccdac2b01b5b8fdb5ba445732dae82b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWith True Passed
86dba83524ae7000471770bdb5fc84615a4d2cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWith False Passed
c48d7695b8c97907840540232a08b00ca0975b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamed True Passed
4a5ed6088313ac414963ed596014e01110d49b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamed False Passed
0ed8e008143c602d87f444b50778cd3219293cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWith True Passed
f79de0709e0934de53f47d531f1e000996731243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWith False Passed
7d4571419558a40f5e3133b7a331408613c0b773 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceInFolder True Passed
a5a317cd3423cc38736ebe0c8e0d741ca85ffddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceInFolder False Passed
4f48e7d12a59ab1ed1874a6826c23f69eb27e28b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWithInFolder True Passed
11c8b59454b364c5b177ab68732aea6e739c432f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWithInFolder False Passed
31bd72fe7ed30f0794c315f4b5f1eff3e77e02ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder True Passed
cae0b20868eb176dd575930a97bff2ba083924a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder False Passed
f15d9f19b63339a6831dc03b67658de70dc362e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder True Passed
0fbef6bf1f9dc9a3c50933ee8b5eb9e8c697c4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWithInFolder False Passed
8cf50a9fd7ccc248345bf6f886d770ab3aa8294b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SubsetEq True Passed
92d3a3ac2405f254d5c6b52cef46034c6798091b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SubsetEq False Passed
ba46737b7951a5ee164e57bcc169d787c7e6b32c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfCond True Passed
8a97447c2f4c1a1fa5bbb832b0f167e1c722025d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfCond False Passed
d0fc1f48d17b3100cf4665204f5e5e44202026d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfThen True Passed
0f19db43cb1c3db6c17a0b8fbf8d246710f467d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfThen False Passed
d7ac050ac473be6a0d65d8cb2802bafa91c09b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfElse True Passed
50019b04d5e6f08799e95b1a195052be583ae793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed IfElse False Passed
27a0c37875db2e791b47b63cf51e719b57e34756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Equivalence True Passed
6b73574971bc9cf26b87a91ada33f697f7deae99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Equivalence False Passed
2d62182733f7de5b881d01c65d1806fa19e94087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed TlcEval True Passed
ea4adb93dd6ab1de5f8587821195364fd382c235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed TlcEval False Passed
699ab5b985bae10e2c96dd54ed0bdbe26045bbe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagBagIn True Passed
b8ffa50eb1520fe58032dde81bc6f20a7e73c323 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagBagIn False Passed
567ef6a0c3b520c73bb875fe8a665926d0d8743d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagSubsetEqBag True Passed
0cc726b2beee2fe77c189e3baa4198f392de3063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed BagSubsetEqBag False Passed
b7f85f3ca806a8622ac23e837796398c72063c5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet True Passed
aea28af88031dfa24c28d96ddc4a0a37ccadd35d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet False Passed
6e2758ae2e65fbc9db3d4ca7845ecd271d4b2c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SeqHead True Passed
c29811e74dc68861bb7ec438c0c4454861f75a99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SeqHead False Passed