Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6e85c2f6ad01fdbc88547495f4e1ba84304a5c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
a47750fa60303ade888d4ee3c2e2ec35d7c9e276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
ee97e83915f5b51bf8599a45aa5cebb0e918732b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
c8fbb6187e3fcf9e5abe9176b13f71174594552e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
faaa4dceb944e4cd323ec3f54d12f757c573f37c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
6b1ca187d5638cdfd8b1b72477e483c5f6c68eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
e8750850d1bff9875b27925dc07ef16c516e7d0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
1d9e22db0bda494007c13df9715a2d755791ebab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
e526f3b97ec9979a8e9db120e6dddf2b41e71866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
ef62fdf47f3b757166396086d3c2c89480543c44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
4aeca7404b56265fc35e2e93350b8c18a650a709 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
854fdf76c61473db3f1b496a603597fab7cebded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
356cb3ca4e20a423421b73ff6726e1b05ed5a228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
6bea3a717d1300bbc24d50446121e80151c93d28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
d47ec2c295f201f7e0c6e3a89030f759b895dfe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
f71d4117c99616b0e716abb292ea5b9324a0e637 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
dcc8794992d16f8153a98f3a71200c5dd114763a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
c8380aa343f4ead0e78713e9053be051c19c11e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
dc0180c9d459e3b7ea15d12eab670020e0e39499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
d91a668f4a11ba4b262c25e5983c42aa831b0c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
1e591f425d8c7a0ef27986f1f00ea7875802bd01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
43268fde76c535b6b110be6dd4d3816ce1223822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
e4222c1a970a48c273eb778e48dc7f9b220693dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
5ace0f8b785d09d0f8360bfeaa04fd45b27ee796 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
58d6382536c72c276db9911c695aa83bd2af2fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
6d2c703be304739477c29c1c86acee665417e441 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
61f51f46fceab1ce431ba720e45573d69fa0a5bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
c9d357dad02fe904a2477d30e56bc78709688243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
e2bdc95d0804039424be012f274dba3ce588207e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
f4e02c1bcdf5ed43aa2a1be7019d5738117c5a11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
ca0f752c68640cdc8fba1ed5368d81556d2146d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
72b0e778ad4e3207758238cfeb42bbad29aba2df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
d5d818a99c78012683186bf582f3685d6709836d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
8fe5133baa7cd8731bdc672302399ca82c2d9a71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
0b1cb8148c967d21b3baffa6ddca6e79515b862a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
14c0bccb8a79dc0b31f09d20cb6834b2f64d071c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
880fa357329b1ab1208be32beb90c221dd363511 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
0bd059edcf7abd2fc59e913433067a5f0b741a02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
753244fa803536325657fddc041388ead28edd3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
4733c0735dc44723ec42df7383586ae1a54de461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
d4bd3a1dac0eba46bffbb6e101ef7dc265cc3a35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
c49e32f4c40ac83fd582684612eb6283b726e7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
4548f07b15f45d6299b4f9f1adf0bbff7b8a6d3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
3f56929b8fb0b5a8b6e8422b73b8ccbccea5d1a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
ee1f9b7125b4a95b90abbd7b487825b3c28dab37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
b34125e3728d9526940410288f0979cea0b675cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
c194133a523ba10dfeeb3e2cbfb50f6b4f281f0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
6427a1afb92b29ee137ca0492f18a58e3d1eed8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
e2eac08db5861d9c565d4c02254f2698db2f648f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
5a56c910d8e00721b445bb1ba81bd4af9c25f0a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
7379ba4cff2b565eccea5d46b13a272135218afc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
3edf3153e06a07356243c436e9522f5ba84378e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
35550400ff5a90d6d3d4244bf67b4565d1808b0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
f025ef0564e446b8ea16245fa231e9b39b5ee50f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
a131e5db92637cfa569c4f4b10d5f1ca0de1634b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
7d721ef0017d478f94d41d225530b2b61d5542d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
fdd064dbefffbd89cc6e97760b5a638ca80803b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
240323a05a44b4a9124b1106fe414e5ff3929581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
3680024fbb61b00294cc96e7edd3b297093fdc5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
d969126d992f3868a64e0a838f1e6b6f5d77241b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
b365017fd081f3a611774c7772dd9cf68a25dadb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
33a1a45f35175f49676358f1d422218f04f8261c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
6f150a1bbc8c952ea393678e8f749492b4b7b36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
ffef44599262fbb902d4ddd8599522ca20ef6099 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
c6fb7925f6fefac9f6c081683916c25a5ee81a28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
7915145118e769bca082ba57e109c48d25e198a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
d815c2c96be0231d56e4b95fb14410c079e0599c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
93aa887742f0cae058e641361395bc3622200f0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
2dc58262c8eed1674a498c6083d11633c7e968d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
e2dbb1040c0f42c109b5abeadb348decf0c6bc67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
b2a63a10fdc4cf4ecc737fec278e5369f92c96aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
c7c6811f8d136eaf25669c4f958a7e20f856b9ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
5d83ce4fe7df02c4148b859be3872f8a65575642 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
a6806ac6372a7854470b3c68dd30d9be5b1348cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
895b39d20fdf665e9a536449a13be4f4362e9462 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
17e22a37a297a67b57a2ad00ee46d3f0daea0e6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
26e673bd3d926fd1cf78e986350e9293a5583b2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
9b50134638c266c3600fa247f92c72e884417984 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
1a6eee22793cd7c88891db244a24a1026af78e04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
06c7d730c5d9b28f60774ad583b63214d402c13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
cb4cdf0bbbd8a761e7a4cdf98f8714d455c4dcec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
bc904c5e5bf488c402b011e0d8cab8f7976382bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
ad57a5d14ce3ee3f4fc8b04e4a7ea862c9bc934d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
b10fe5155f1523a879709bb4d5980fd9b34566c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
691d540570f9450818d62408c0a28050814d98b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
d41a06be5fe308694a7eefb3da0d4c8d4bad522f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
4910dac45ba33be325d3a58ad5a7f7e619237433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
35f6e199d978fdcc1bd55a2cbcfa94dadd973df3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
70435fc6e65cf6b612d62dec855c7cf19938f802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
a363b118892835b1ba8a591eb11bf7b38eb50f24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
63d1d4d4abd3464275671096c8f68df6f2313b4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
0965aaf69c23a44d53c0fb06e216d8fd93668a36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
16089f3d84f85ac880982fa111c52aa2a390f799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
ebaafb26fcebb7f88cffcffe4a876585e435e0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
8c06b067d16023f415d534d673ab1e2d73dcbe56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
ae6040fa290c1eb302086a440be8f3f72730de08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
042f03253535b2c4456987f06b809e1026da7d7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
b4f38990cf0afbd97dd0ad4a874bc559dfbe979f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
75bf1b51bf1b2c00048784ce6530df35689c510f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
a05f6a4f19727aaa11a36985ca873b9d6bdfb1b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
bfd5632e7dd1a075ede8c6cad284035f000aa3bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
35778b2bb7fa08384e35c8f88a48232bcb4b23dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
046bfd0b7567d39ce249703a0e4ed68b2ad4bf8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
3aa29ca80e2c395d5d170d32df64211cb2f9b766 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
bb821250e5ba8f42b2157197935cee4916e01836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
5309e05b57721c7a90fe64f2ed66ff139bb7a614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
c22236f235f98aa119f3721f7157b8565b56ccce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
8849b7ea33f16ab2994f18f30cd3b233e567ae78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
49ffc7325e100dab2981d46848fea92eda19b415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
338cb6756ef4f811629a3d522c876c2d89c9280f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
d1c06e79eda56efdd2e8c83df3b30e9282827d44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
10b73feb88d918a3d43a3fb2c0ea87baf7e1bd75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
99dcaced8707cdcf6416e3069a4dd554f924d328 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
32177e17d1c1014a7abb71437ee9709d442f3c4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
b2fff965af0fe32e6f68ecee83167e91618dacf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
3d0417fae3ba6ec02594fc167b06a1525e466e52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
7e70e9bcb5a8dc6ef2aa30f432921d69fdf8c4fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
0b9c5184228dc6b6624d38d0c55c61affd601553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
bc78c9343799d1b2a06792d6bf7e1e87830ee38f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
ab73c3ccb56d78c1c61ac9ff928905b5fa286e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
6a40fefb521069de966f5d454c986d67f4a3353f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
c5ccae5ef1cea09a9c5e87d9af2e1847accc4f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
fbfef31ed50afd9c4f669850d03af217a5a5eee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
ed858b1e1ac2dfb77e1d29663c00a8d3cbf0078d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
2379cdf92c51c61d7f7185573ac3e12069bea09e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
cc8eb9ceea38b94237331f111e933c80c2a7fd62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
609037a68cf0b7c10a5c474752b03e26af8717c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
12962673a835bcae3bbce6cfc6e73b4a6ddb5985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
c0573691cfd2320cd4a087e88d6b7e8c9b065689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
74837c03ac6c9954dcbbf3f8dd10c46ddd200f5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
9b12df744c65ce8e4a75818ce0c37eade07b4c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
1f520981c4df40cd60bf7eb433d20300796d3df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
bce3a48c1520d3f4a8b6dafb4feadebc54372a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
f8410b789114b74f20ba87fe6f6f7c4fa1936ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
c3db0c6b4a23cb6d4bb19c7e67fad39713056858 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
0fdd47d8031457f192904ac5fc7bba2d471bc4b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
4b383c5cc06a1dd87ff9cc45024b1079b45d2a76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
8b9eaeb7809840bd976fabf05a1569ad79d5bdde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model