Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ddba770905bee8bb92c42c8394807d22b8975e04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OneLineComment True Passed
9b5b74ebf62d1441edbdabd26dcd31f5a9afff43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OneLineComment False Passed
d1e68ad0151d06ba6bc18af10c98879e6be1bd15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine MultiLineComment True Passed
36723059f25cbd5718cbfacaa5f7bcdddc9a539a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine MultiLineComment False Passed
339f073edd0f0cc15965dc927395d7fd08cf4d6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolTrue True Passed
8c2f796ae0df5e574bcc326ea44647974206fc1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolTrue False Passed
2d2f854b99ff5238ac70ca677d10bac23e70280b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolFalse True Passed
f61174073a75bc574667bd9b3b65af5e9c17d400 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BoolFalse False Passed
6154a297b34bbeaec578223983b9cf2c8228497a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine And True Passed
a9e584ffdc2cdeb71033760edfdb32818779a22e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine And False Passed
4cb1a80e09d83a89081bd27e5c7ec398269c61bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine AndMultiLine True Passed
7664195f6709c95be9e384bf707390798b886155 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine AndMultiLine False Passed
30541dc60e1cc8197fc36d329ca6ec645a3e4f79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Imply True Passed
29b22ccbb1b292e2baa4ddb43111f6f8377755a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Imply False Passed
3382319a383157fade3fcb9b30632e167c55ae32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Not True Passed
6d06722cc8d3cdc82959527e04fa0c818b172eaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Not False Passed
0850602522321724ef5b4dc0cae641bcd55d63c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Or True Passed
5e5c8067000342bf08b5e0a1c5cce3c8db8a5a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Or False Passed
ee97e83915f5b51bf8599a45aa5cebb0e918732b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OrMultiLine True Passed
c8fbb6187e3fcf9e5abe9176b13f71174594552e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OrMultiLine False Passed
83c8413bed34d74317c328658331e45e5ee45aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Eq True Passed
c86619f194c01ee25813b7dba183fa281880f63d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Eq False Passed
4f41f57ac7c9c38fae3a12e532ce629b6ea7bb00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Ne True Passed
c71994c9d82d9eba26da98f2eacfbaa290fffaae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Ne False Passed
f062e04f20a8d5f32bdb5d61002a7d0667410d66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Let True Passed
090444b21998ad0401d5065736f394cef5a4a841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Let False Passed
0efd9a4575dc0dba899334a969f58d8ff3196b17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine In True Passed
a60a4dc19bdceb04cafd3418642d83d90c8acf5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine In False Passed
07934ad038b1ea9758f3ee2e388890b577a18058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NotIn True Passed
46bd5e20c54cb27f743c61233846626faba5a3c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NotIn False Passed
0756cca95654b2ada531ea59357328a8a816b1de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Exists True Passed
ad3b408ea2265dda557838d3340087c68bbf4e88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Exists False Passed
8440c8631f3e04e40c84b1402678be6f3cc9332d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Forall True Passed
b20794c2534b587c17dbfa6a805a2661af1ef9c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Forall False Passed
49a5717d6c17513529edab813b8bfd1aff0a8c88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Choose True Passed
876c73cf61dd4acedf870b8808653f7d9c505b7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Choose False Passed
cf22e57cf1c2c1a0d5e612cc69a547a716a22a93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FunApp True Passed
7f634e5442581b1644428a1d00f62cbfcf2e2ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FunApp False Passed
7e49c6b096aa386986b608c103ca455de44e7f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Prime True Passed
70ffc83e9df9b58ae0e09000a532cdd588e71cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Prime False Passed
ef46bef85bfa9b05ad14e879497ecc88da12e183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGt True Passed
5c55a60e05aa91596048cf41d39838e9cdae5d2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGt False Passed
6845cb95d1ecf5d858b0a70aea82204bcf6dd7c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGe True Passed
025df888eb6c74323228920111a67371b2cbcc0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumGe False Passed
5a6a3ecdc42aa2c5849b942c6ff9bd79deae94e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLt True Passed
1e9fd6f726596685c636d8f45b13794e9db870f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLt False Passed
44f507ecb20c27509c238687b69358706f2c5b2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLe True Passed
0f8b61ac39cc8d19b5af3b5e07d1be9b4949af68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine NumLe False Passed
34ed3f8ae986009d53891805cbb57d1e132ec89b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def0 True Passed
e998d13d6464ef8b9c629603e1b11f88920f130a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def0 False Passed
fd209c943060e43392cc65da244c819351b4968b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef0 True Passed
b5af66271035b6c446557015d1ca5a32c6197aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef0 False Passed
7c813e1f7bbe27102242f7ed6c6f724a8f67a030 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def1 True Passed
5bb116450d73081a38fac72ee7f3ed8f34a33d6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def1 False Passed
c836f8c2ef6c53134845ea3a0b8fee2274593e8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef1 True Passed
b4018bbe37ac21bfb76b70b7e67e288699e26c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef1 False Passed
c972812d1fc5f2c9bc9899d62a0d0542b2350bbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def2 True Passed
2ff95da77290702d7c8f8f79eddf5806270dca6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def2 False Passed
07843aa7e98dcbb2a446ba1114f97b14d569c862 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef2 True Passed
72100e57aacb3fc3aa6c6a05a6ff11d0ea35f7b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef2 False Passed
a361c014d490b5556c2e7400dcb2635cc353e6ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def1Recursive True Passed
312a29c35cf664b8628c7c5c3a16b10af20388f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def1Recursive False Passed
65fa3ac2aee3e07f5b427531688609c06557c21f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef1Recursive True Passed
83f7b5def2ec5ed091704ee08340285cd8e08c40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine LetDef1Recursive False Passed
4d5217b735358f8a75b5db1e6319b074da7a6889 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Extends True Passed
f061d931c2837bd73ccc3c8ecabeac198fdeae6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Extends False Passed
f9b1dc38697df665b1b8b65faedbd43c82d06df6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder True Passed
3aa474f6e40bdccdf80a0398ca1ca36375e388c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder False Passed
ff10bb11c93627370210775a4bc4c578c086a980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Variable True Passed
3d8ab17cc46f45202dcc514ef908d65f20906cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Variable False Passed
658725d2c699f60e0ef52249dbaa41a26fc879b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Constant True Passed
bc9c9579e11863ffb540282572453b6432cbab7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Constant False Passed
c15b089bd02d3bf56a0ff856941d903a18106dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ConstantRank1 True Passed
ff788670a7e2bddd03af84b59312ce1f9b177217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine ConstantRank1 False Passed
25ff25e8a27c6e418d566464d7820084d0d63ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Instance True Passed
e6237060b89d0b7b437e6dd9d5c46285018ba3b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Instance False Passed
646faca8c50ab0afe4c2ee0dc6e2c47b35980387 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWith True Passed
901bc274d415434fb3302e4b10e4617a728852a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWith False Passed
1b0ad742fa482d2dd779d2d4d51a3c7667295c95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamed True Passed
85eb9fbc438121cab289bda71690c9746a6b33ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamed False Passed
480396e62f50cbefe9afdc64301dd81a58003d31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWith True Passed
a5643733f464f643bde0afa0d4b43593c9cbf0d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWith False Passed
3fcc62eb1c27bd609510cedb60004fde05d1a22b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceInFolder True Passed
6af3d24b25f076b4f177efd23061a76edc1c7328 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceInFolder False Passed
1d9c2bb73e9d5133d93a6a77dea31378e8e6076b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWithInFolder True Passed
8ae290f0ae3f0f39f8af889076d03a0f11724c28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWithInFolder False Passed
206495ea6135460668c3f7dac38f4b83661266ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder True Passed
1853f9d6b090cbe51406b39def8d0e5f90908a7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder False Passed
00a5a5ea3969f62bdef5459d7716d946bc6620ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder True Passed
d312d2a2394011ce17c3763b9145a678ac8b302c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder False Passed
b83596dd72d71835f7e7030f4d9f2b77f1c53221 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Enabled True Passed
20fde3b1f1e6a2268bd7729f0594f14953e64e30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Enabled False Passed
d0d9ff9b45d58be832739321c85c905a33ec589b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SubsetEq True Passed
86b4c8e66729642e176f333451d6ad0c5d516ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SubsetEq False Passed
4564b917d8e3e6056b69d5ba200768ee3a6a3a7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfCond True Passed
3ce255dd5a7544d39f0ec7a507c8aa151718ff4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfCond False Passed
e387b518d45b01fc7529ee9742d420a7fec3d2e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfThen True Passed
ad5c339a25f960d3b3e16a6d17150501751009dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfThen False Passed
95d9a722c545672bf9aa02d2857c0262b09d58d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfElse True Passed
84fc3b746b0a1fb1819881877fb1ea32a16f3a13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine IfElse False Passed
65aa7c0f6edfc98dad04638ce1356a51bf5f8c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Unchanged True Passed
bc5e3c21eae89d409a881173157ed14504758575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Unchanged False Passed
ac5ad38ddfdd243fc2cf3a05b4a1420b34e31499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Equivalence True Passed
4121d00d6ae0d8261c29b51cae0f02bc3ebad061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Equivalence False Passed
3f80d8ad0ba6ad83873a4590fcfc2dabe0a23e85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine TlcEval True Passed
b929a9618b21f203fd211da7022b80a88b62fb34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine TlcEval False Passed
0dfbdb98227127c2ce1e847427e345f83995c515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagBagIn True Passed
5786b48a565b5cffff9413d2747ca32aba778195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagBagIn False Passed
9711c190d66a5fa50962f3d9f6a52082aed24ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagSubsetEqBag True Passed
c39d7f6aea78d43c3e80686af0fd8bb19f9e4800 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine BagSubsetEqBag False Passed
57b4a0286baaf1eb7aeaac166c29b916a6a730c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet True Passed
67f2c7a08627442f1e481f920803f5f5e97bacdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet False Passed
6f0102487afbd89e129a9e8b1a94f8c343768c72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SeqHead True Passed
c65959b310d304df4691d2ba3057e5a4b1ee6db9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SeqHead False Passed