Index

Tests by plug feature NotIn; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c483ec20967d79663a42c84072028b7e5952811c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NotIn True Passed
794aaae96f8de9b8b9ca1a115bd74ae642da6b97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NotIn 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
f1fb789fe111cdf2aab91b7fac716d7dc056ea04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NotIn True Passed
f7466a43260fe8b8ff5d5e59836a1859f000d8e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NotIn False Passed
85cec58715cfc12ae2b2769a481025530ed2f66f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NotIn True Passed
0ed40e7b4a308cfc119867a46464deae83ecd7d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not NotIn False Passed
4d7c23cab0a7983013c6694e50c5f1f724a85bec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NotIn True Passed
8a52844ba27ef25adf2c17499735cadd1a516103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or NotIn False Passed
7f9002192cb8728bb46970a44abd53b621551433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NotIn True Passed
5620843d63c2ed6bbdff47fa4cd7549b46991618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NotIn False Passed
dc620dfad40b5399435af22a061d6a45f22313c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NotIn True Passed
36ab93904eaf0ddf56d627997aa61d550be0ad7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp NotIn False Passed
e9a6535e8ee0db16a28b4e00f1bc22d28ea34c7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NotIn True Passed
f02c23df086e6ee8d1eacdfb19a3b49df08060cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed NotIn False Passed
90261a17f79b14215b0a474803b97152b4435beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NotIn True Passed
d3e9d55641ff37f2fc5a70cb71b1b8e4ff0ebac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NotIn False Passed
3943138f78547c081749c112aa4645f12ca315fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NotIn True Passed
8ce900e17e741d2caea5db6d2968bbe593808bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NotIn False Passed
d0b62bdaba5847d1e4a9e0dd41b91b7445c9ac54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NotIn True Passed
4842d12d08e8678434123a0e2fd0a04778d8305c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NotIn False Passed
9a0ea2c892755703166d4d126e64fbdf4e3b3b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NotIn True Passed
8a026f25f69c885a1242dfc4957952b6c6253dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NotIn False Passed
00918973e8e7214020b761ea9fd6521e9c561bfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NotIn True Passed
bb4445120ca4677ae5bcb3759d9ba560ca03e9fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NotIn False Passed
22707ca79fb9d8ed2f07634b2cd0d508e38ebc5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NotIn True Passed
f956a55e5a14ebccd8cd2624c45229c19606e2cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NotIn False Passed
59c82a7751f8eea50797f86776a2f53dad9f78ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NotIn True Passed
4540c37364b886f62ad18fbe7ecc1019f8a09cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NotIn False Passed
f95fb5b03774aed06e82a029eaaad050df96f68e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NotIn True Passed
72439ee5a57d3b25a16213d4425ef77151e3db98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NotIn False Passed
2b6bc14754ea79cbe71acc6f6bff10f998cadd64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NotIn True Passed
00803f5f515351c7856f4ae7d9d9d1bbfa0defed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NotIn False Passed
a8701ae266dad2d8bd8deef807ab1ce6ee974fdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NotIn True Passed
f9c122824095358436c0b32328f468bdea803219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists NotIn False Passed
57e0475ebc20180e9c51dce7103706ec0be8a53d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NotIn True Passed
1487a93230cc380e1a7db49385857d33bbf54d92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall NotIn False Passed
f0a2040775022662fa8b282d89ab76016059b974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NotIn True Passed
a53bf3070184f9fa17bcac89fb0a0792ef19ae7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose NotIn False Passed
1698c5d2f5ba561d9ea7f07b5368cde896d01627 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NotIn True Passed
4ef2bd76d191cc92188614c12fa935b748991f1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NotIn False Passed
cc723ca99d8b545097f2d7d42671773fc50fedb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NotIn True Passed
236e9c2385fa9ee6299bd5c2de29716a3a9e56f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NotIn False Passed
7ae65041217085a5f47560279801a9a22b986866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NotIn True Passed
b16df74e84e030bd96f4be2bdf282f7aef4e166f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NotIn False Passed
7dc91b5c5d822eba856f80c5602661f828572275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NotIn True Passed
e1e012ab2223cfb4b8b59053b917f9b9f01f4fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NotIn False Passed
e90a405247f675b245929519ff2a3de067bd2b28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NotIn True Passed
5029816eb4fc1f82b2e068e755a66a48b701f07e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NotIn False Passed
99affd0679ebbfdbc5cf1009afef6fa85da98439 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NotIn True Passed
e7f21c2f839ad781c7b26b5c55d4b6ea8efbf51c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NotIn False Passed
afb0d67534760548c370e0ed986a50bbe01b640e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NotIn True Passed
cb895656f1469828968dc06262c6058ad788c152 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NotIn False Passed
5ce167929d386dd4d6962e915e47de4de3b05ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NotIn True Passed
005355ad3a871e5e1b3a7f57a4d40d816ccdbf06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NotIn False Passed
a9657311e93e4438c5cd4b12e24433c7e06bff8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NotIn True Passed
7178594f6f969b9a29cfce9f74c50288499d01ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NotIn False Passed
de71824d56be30bc27399b7e287ef46716ae7ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NotIn True Passed
beb5aaa54718059d5d6d8848e26e771703564241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NotIn False Passed
db78c164e797b46936247940076044a51386dd09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NotIn True Passed
741d68ba3f3afa2bee008a2f379d557db3a8e25f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NotIn False Passed
122bc1209eaab96b427079eec124045e7a0426ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NotIn True Passed
9b03682264e97cd217bd07dddf2a1b2786e30ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NotIn False Passed
9489db408fa7fc06a2b9ea0917672abbe9b30026 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NotIn True Passed
ef20e7ca38bfa89c15cb8f471b8ae39e1a132b21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NotIn False Passed
a894468976808aae89a8f1553a3497a870a2736b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NotIn True Passed
0c675b03056a7b747de1468a986bf3d98f794d1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NotIn False Passed
1623d057b53b4df4d44ad1f28fe74366967f9531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NotIn True Passed
0815863ef33561f56079f8397f4316a8445feeee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NotIn False Passed
afd35e433c8ab259eec5eb3926564e58c258cfb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NotIn True Passed
8b96bd12c776693c43027d1d888ccde2c881b090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NotIn False Passed
8ad998382926c4fe3b6bae21fdde89f7065cc73a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NotIn True Passed
2bbe3d87d42e1061eb6994f12993eb89b940bb09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NotIn False Passed
12e71f947720219fdc6dbbd415a5e58b4ce85581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NotIn True Passed
970150b96554630ab86f24a70c456566b4532f68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NotIn False Passed
87770045e0154c5bd2660f610e1dc7e0a02cce5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NotIn True Passed
732536ce38c4fdac2cb546f325a3d944a13bbd32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NotIn False Passed
50d36217fd63e3715d2bc1aa03d888d86ce35786 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NotIn True Passed
1b97951cbb3205190e3bcdb7070ccd242e860900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NotIn False Passed
00ee92716b1fb6027751c1247b83203b981f75df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NotIn True Passed
e0d3cac4ab9c13da79c1cc72825da125f1280ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NotIn False Passed
d55a098d2d70a428a8e9ca1aadaf3c5e50b4f71a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NotIn True Passed
ee5c645844fc8eed44b0152fc9d68fdac63b3eaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NotIn False Passed
cf66377bb6bda79ce15d4e064abc989e091ec31a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NotIn True Passed
1d074fd3f8a87dd95373f8e1394913fe7a7ff203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NotIn False Passed
3da71ea331f2dbefeba44fb747a1879a5aa71f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NotIn True Passed
cf6f793bf34d2240a4584f8c29e707ce65ae1815 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NotIn False Passed
e0b81d16141c5ac746ea55190db927b25a19fb9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NotIn True Passed
c89bcf516b0503dfe3dc7ee2049cd6509edcb168 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NotIn False Passed
bcf32eddb91c53aa84ba6d4f0300e26c7143b4f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NotIn True Passed
d370df0f511d4245735f5caa40b3f48b0fa2d3c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NotIn False Passed
2e4bbdc2bf259bad9539351af802fcfea579a3e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NotIn True Passed
0f0b57e32e2b7b2ca952a36fef3a78a3cb2b91fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NotIn False Passed
400600e88471778f9d27806902f5162901e52ecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NotIn True Passed
ec8e13e9f41fc044cb2febd64fb5ea3e7477055f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NotIn False Passed
677ad5bdc78a68adfd4b0464142094f884b6dbcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NotIn True Passed
2cdd76664d6b0f7612cffe2a4d5f6f1d4aa42c0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NotIn False Passed
faaf82312ea2c22798b688775f5a85e40582e85e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NotIn True Passed
d5edbf539fea2b5be71b9864523ddb8986f7ef3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NotIn False Passed
b386297912ec2cf59926249692c939291be85cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NotIn True Passed
bb727a4df8bf3017f04f96319d75a9464e2d37fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NotIn False Passed
a7400b93a061b94c79453b132df4df5223181540 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NotIn True Passed
32b351e61b66e05cbd9812d8dec160478f03808b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NotIn False Passed
cab44c7de5d5f3c74075a8d7e096c6c5381269a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NotIn True Passed
db410f8a6e5c63213a9cba18853c07ee1ae4792d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NotIn False Passed
db25460fefbf2acf05693838064c041c06b9ffe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NotIn True Passed
3d773d3cc7d9e40a3634e60a68e9223a0fdd8c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NotIn False Passed
cc1709a8a79921850cee929400fb384fcea3765c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NotIn True Passed
cf15a431df9547825804b172bc74a6cc11fe726c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NotIn False Passed
34356f92ee62b348638f8c56451728a5e27a78f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NotIn True Passed
cbd78070be21f9be8b3a314f1f2429fd3217bd83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled NotIn False Passed
3e6a4584fa48fae77908bcc4ea29803e21cfbf0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NotIn True Passed
18b7db929de0e99fe8531ea2a263c42efcdc9032 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume NotIn 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
cbf9ef892ca029352105971937c7f3ea31ea48ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NotIn True Passed
21ecf4de6fdf1509c3eb215a460bacd4cdacbdd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NotIn False Passed
36fc3026afaea32c1679a778acac9011ba43d2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NotIn True Passed
ef35fbac8e2e551a36a86f3c98bc1d5b8eca7808 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond NotIn False Passed
fb6b22136645587b9e3fabef2d467a5c30a2d05a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NotIn True Passed
59833c24131662fb2a48168495ad18bd9eac3299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NotIn False Passed
5b5af34d395be4b942349263dee2f8c040cbbd9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NotIn True Passed
c343254ad650b3fcef4015cd901e353bf24e59e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NotIn False Passed
80aa487181261a9a200fff31d1c2d23d958a147a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NotIn True Passed
efa8fc0c15c7d5c8561a74eac0c6815d136b3529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NotIn False Passed
2ca2a1279d49a85f4e3325c2feba0d4eda2306b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NotIn True Passed
1c0748cdf7e471b5e8a20f9dc2288282b939754e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NotIn False Passed
ac8b6e52127e5230c323a82dd301d4e8be9c576a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NotIn True Passed
61a93ee913da5449bd3467b44097c2f5fe43c320 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NotIn False Passed
da3800dcd9f9aa9fd04a134c30fb8754c08e9bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NotIn True Passed
04e1bb271dc7de943a649d9fb18ff20f3bc34db2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NotIn False Passed
2ffa544383dc10c4623979d56a6bb341bdc05ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NotIn True Passed
bff60c9816b7ea269237c98ed1112b82a2ade14c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NotIn False Passed
fb8c0aa828e1f5da3009fbef14c85564a8716a02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NotIn True Passed
ef9615de16a2079de39a6bd2151382663cddb8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NotIn False Passed
318a7b0bbd88cb21615c90588204ff8743195f69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NotIn True Passed
37a770d65501ee2c8752d8ec4b28ed8de657a322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NotIn False Passed