Index

Tests by plug feature OrMultiLine; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
cf2f4555cafa5fae086549c589ec204522a0c6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OrMultiLine True Passed
11de2fdde9923633e2b9145da687ab7e27217470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OrMultiLine False Passed
73f05b32dff5a7553364afc4d62b01352d3b2249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OrMultiLine True Passed
842b16af28ff91e5dea672a352fc105dc6d695ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OrMultiLine False Passed
f970f940c6fc5a3d3415020c2f43e40aa29a3565 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OrMultiLine True Passed
0e7380b246eb1c043026a77069d7b20efe8661b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OrMultiLine False Passed
1a026c25b83960d8be0854d21ce3321508cb6b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OrMultiLine True Passed
997fb56de14d7fdcc7e500ea010bf22ad1bc480b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OrMultiLine False Passed
6dc4833b06cfc5bb47d102309b272dd864206c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OrMultiLine True Passed
a9ccb1684e61c88686951856c61401e6f6a158fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OrMultiLine False Passed
8fa33994a7cd79777abbaac61b760982009f6686 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OrMultiLine True Passed
0162fc60ef65bda6d1b3ce2df9eb67e904ef132f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OrMultiLine False Passed
767207f1276531514c034ebdfd2f317f9eb73734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OrMultiLine True Passed
5508b0172348c9d3b856572cadcc00dd1477f5a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OrMultiLine False Passed
ab34af87318a79a3f06e91fd5d09693a1fa6ad05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OrMultiLine True Passed
83706aa74633a13bcc13e16e33ee7a823469ccb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OrMultiLine False Passed
24ae1a68d3477c8db7e9d5250501518f5848e425 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq OrMultiLine True Passed
5ab95cb66bd7cdccaa7ebe853c9c9fc1c8a43ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq OrMultiLine False Passed
dc2bf8302becb3b3a6763e8809762ec6f7691ded TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OrMultiLine True Passed
18f103f2ba41452f7ffca7171604f0c0b3fbc1c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OrMultiLine False Passed
1bc286b1a917da5a657315b7e9256f86f20f0db3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OrMultiLine True Passed
bbbf6171e5922bc35c319c7e768c44db1a6a6b4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OrMultiLine False Passed
b8156add4d4fd58bb463409f832c14e8bd427ffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 OrMultiLine True Passed
9c4dc36514021c20586bcd9f2b45e582b9d162cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 OrMultiLine False Passed
f4c489b0effd3ed75d197b991cc2a79ca72097b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OrMultiLine True Passed
3ac36d60d8b41a1dd34013989ef8bbbe656594eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OrMultiLine False Passed
d224cda7a6273d5e850a9df26e0e4f23018bb673 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OrMultiLine True Passed
ccb6386d1e8e86aa6038e31155b37e9c026740b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OrMultiLine False Passed
6e8252be6c83fe9cda461b99129f557b72938986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OrMultiLine True Passed
e8021fbe2a2d5f59de115efa211b8c78846e6f10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OrMultiLine False Passed
17a4a8d248b122ac14e101e07df0b3dee3ea85a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In OrMultiLine True Passed
174e76eb9d2c05d85838e933268317a55fe84b65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In OrMultiLine False Passed
b82c52fc3cb313be0a380e921c221b557cf4c2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn OrMultiLine True Passed
2bff1227f390395a6d507f0dcee03882b243b43b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn OrMultiLine False Passed
518da36cbba4f98199faca20e7c7885e257f82dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists OrMultiLine True Passed
dafad15734ceba0389610f3fac8af33d38540924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists OrMultiLine False Passed
76934f9a4fa2c46c7fcb1f894c241459c9716ac6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall OrMultiLine True Passed
18e4560093e4996e9aa8241b2dea24cddb144236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall OrMultiLine False Passed
a8d03794d3f1b612501a59a7be8fc29b3f05c7a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OrMultiLine True Passed
b12fe3191c33c8c34f4dfac93225e6feb2a88d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OrMultiLine False Passed
0600a4621df0dccec883e08f7903b540dceca530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OrMultiLine True Passed
7930a21226f0db11ede570ef68dc5581a26e3c0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OrMultiLine False Passed
c7b920b495e5203cfecfd4b0bbd8586f805a9213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple OrMultiLine True Passed
808221616d52b5ee48d71deff59d6f84944f7986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple OrMultiLine False Passed
68e917476783cec1d9d2a7b0b8f8b59a96a46560 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp OrMultiLine True Passed
21a9289b4f7fa7330b6df838f2ad054fa82ed5cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp OrMultiLine False Passed
d983664f8532088748e4f9d90dfab29a7af71630 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OrMultiLine True Passed
7737cf0a83fcf3cc116c510c19081b5e518b55ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OrMultiLine False Passed
c2c1fd7e7f0372913e1286c9aebfae0115ef035e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt OrMultiLine True Passed
7bdb11dd4a554c0a71eeed372e07fdd1537edd21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt OrMultiLine False Passed
191d2a69528d3b4e8634f294db678d86a4ee2115 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OrMultiLine True Passed
92f36f45aab617e9a117567fb85ffac488a9a8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OrMultiLine False Passed
97d4bdb0cb7f88e7d5652054f37645e4f3b33733 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt OrMultiLine True Passed
551d9a6c38b793e542b2a95bc2dd9d314b013586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt OrMultiLine False Passed
963eb3d4e19650a9bdd9d0803bf4bf28d38d4411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun OrMultiLine True Passed
390f69f9f2db040a31bfe9993c1040b59c16b2dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun OrMultiLine False Passed
585f1904986cd7411b9a8ae93523dd82b383d317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime OrMultiLine True Passed
7670fc1f3dcd9076082063807b5f9a4a2a5b5a28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime OrMultiLine False Passed
8f2fa4a43353d57923cb83a726bd650ce1a7a23b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OrMultiLine True Passed
3cad281798fcc4446019dee9704bdf4b6bd8f7d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OrMultiLine False Passed
6812c3477fbac2f91784d855ee0c4e3daa9805ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OrMultiLine True Passed
1afb85dbe579f98609ee09fc032fd509f39c3412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OrMultiLine False Passed
e90287ebc7ef46af46d5973540e7fd6913deaf58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OrMultiLine True Passed
9cb1688e886b5f727d8707daa0e121dddfd44b96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OrMultiLine False Passed
ed63f2340c0d978959e73279f185b64f1d4a4372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive OrMultiLine True Passed
f118a714299810796af34bddc31e0fe88e6d9f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive OrMultiLine False Passed
ac0c11793a9c688c4003269a0eba73147eed6a3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OrMultiLine True Passed
94ebcb2ed25d57044b2f334b3e772ab2d22795e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OrMultiLine False Passed
aba4cdc74c26c832fd7fe234393fc8e320020408 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 OrMultiLine True Passed
c2247885027e3e1697143bc4d76f2c86f013c022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 OrMultiLine False Passed
3b71452715d102b70116ac681b17e939fbad58fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OrMultiLine True Passed
7b9ed0c009820bdbbbc8fef60f3b660750d12128 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OrMultiLine False Passed
7d57f05750faf0f5fdc2e6f2f6103a21c6b7255d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 OrMultiLine True Passed
44e5d0c069bdd65069ff930d62919aa078ab4caf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 OrMultiLine False Passed
44b47d9e396d3090013b484bd48ff5c3d440c476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OrMultiLine True Passed
3e7d38e21dbe16818fe1323b9b5e76ce2cdc653b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OrMultiLine False Passed
9dbe870f8074e6a5e68343dc22e35969d83e79e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 OrMultiLine True Passed
43a2e8a197ea926dc76ec61c807ae14cb662a92b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 OrMultiLine False Passed
6ccdb42538b3c4073140e28f10b2fbda81ea94e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OrMultiLine True Passed
da010772b74389f9c5ae4c3bf08c6e9785beb6af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OrMultiLine False Passed
0d1b239747ab13c3e02ec408b94c794a236c9bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive OrMultiLine True Passed
5525054bb8e327fc3689ae05280c11031bd067aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive OrMultiLine False Passed
ca39b7b463c57f26cbeac308c4f753d1c443ef05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends OrMultiLine True Passed
084949a1eb3ceed656dcbe0e4e68c5e8e1a374ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends OrMultiLine False Passed
3e62bf687055996ec9a7692634110fbf94fe7416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine True Passed
e916c8ae2ee087ed6980964ea2b1edb8c3962c2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine False Passed
6f409cef9b8c499251d63cca0b26de8707742819 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OrMultiLine True Passed
5deff2ef7e97f501a7f23ee19d4a29a152558026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OrMultiLine False Passed
2f2eccfa550fb77f02737cafd1d3d7766ddf5ab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OrMultiLine True Passed
0fe4ef90bf628378119df9fd42b2027d11f25378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OrMultiLine False Passed
29994a33d0bc30492b97db6c0772a8282e7c6ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant OrMultiLine True Passed
86508c4bbc9f0e92dbb592218b36b88aeda39e7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant OrMultiLine False Passed
f99af055f9ddfd99380d6fe9f41e019311a4dab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OrMultiLine True Passed
42f2dba49ab95695d0bf44359605866d058462e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OrMultiLine False Passed
8bb1db57ec97f9aa01b2739ac47952f5390ae48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OrMultiLine True Passed
3c4d6975266ce59bcac574ab6fbe0fc3f8ccbbad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OrMultiLine False Passed
c6fbb937b944e791139b26650696cb3447da04f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OrMultiLine True Passed
309694b4c8a98514848a6d12a4ede9435a1dc3ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OrMultiLine False Passed
a98b09b18be480e70c017944624aa60eb830ff4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OrMultiLine True Passed
ef221c7b0b418bf7457e57f1f16e7d5a62caf371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OrMultiLine False Passed
6f14c3c1c80c2afb3cbdcded64a202b32e0021fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OrMultiLine True Passed
b69a097f8ffd823fc05971d9e39103621664c6ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OrMultiLine False Passed
23fd990ea1cf3be1b1d34182c3fa4bc14ce63057 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OrMultiLine True Passed
f6fd3f48644f719facce844e04ced4db5400378b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OrMultiLine False Passed
2ca2f3eeb08524495f8cfac2f5e1461e60e801af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OrMultiLine True Passed
9be282abd2b7a1076d7ddda452c26579508e33b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OrMultiLine False Passed
6983bbfd79c02af639e8e47ed1588f32f4087d06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine True Passed
48046d882708744ad30dcd950098a8ebc60d6239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine False Passed
0901b86f4b3546940cdffef08e274763bb32d403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine True Passed
199ba855e490e183d6ee218b90f2c9c2370903e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine False Passed
bda1f2551d868bd6171bf02af19102f55e3f0dae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled OrMultiLine True Passed
8519a7d21c67d8ec778aeea76183823843ce2a9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled OrMultiLine False Passed
b05856c94d189a3c440d1977f51ffef02aee8ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OrMultiLine True Passed
e0ba442a76b4d0ac1ec1c772305a94887ead22eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OrMultiLine 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
dd52837b74205eb4741eb3c458361be99abe5f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OrMultiLine True Passed
65f3a6d79dd9624dbf96a91087e88354a24d99f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OrMultiLine False Passed
5a15ec4c51c8378962611dfcba64648d3b3e7f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OrMultiLine True Passed
b4bdb9c1e10d7937fa0880c2738d0849c29042f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OrMultiLine False Passed
0eb26f634e77587978d14262fd9f0fcd3009b1ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OrMultiLine True Passed
284a4a3204ddfb45de6fd202c1e215cd46fa400c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OrMultiLine False Passed
23ae7fb293f345217abd4f92135ffab8c5f4d1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OrMultiLine True Passed
9a820454e3103d9ec6d207160e7987ef3e744a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OrMultiLine False Passed
ae8d894a5a77b7a37678c547e553ab59e2850a34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged OrMultiLine True Passed
3f3f9b4331cabbbe7cdba69d487a263e9ece2506 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged OrMultiLine False Passed
b06f1b72ff8fc1c95a7b72076f38d329580a9525 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OrMultiLine True Passed
65a19e016e6b6897642bd73578d37c342d858b05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OrMultiLine False Passed
03c0b634ea928d64c511f13cec47daecbb1c3d34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OrMultiLine True Passed
db051b749092db4f54bb5737408f7358ed4a7043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OrMultiLine False Passed
512e7d2d328bbc11e7d1e20c4be5a5cc4406823d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OrMultiLine True Passed
bad8e94660004f556523a152d31dcde9bbe94cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OrMultiLine False Passed
97f2097134c25ac1659a4950128ebb1713b0ffbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn OrMultiLine True Passed
a1b97f072bab24dbbec78a0a37e1f453a34a8f17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn OrMultiLine False Passed
521c5699cbda813c22d178f31d4fcf77303b1b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn OrMultiLine True Passed
6ebed549027e39fa7be44eb983ac6fdcc300a017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn OrMultiLine False Passed
3e141cabcf043998ed1cb7d8addfbb3eda1c4a9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend OrMultiLine True Passed
f80e267e077780a7fa993529c80dd38898b13d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend OrMultiLine False Passed