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 Equivalence; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
273468e9f004a08b70609b8122dff7dec2c8fcb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Equivalence True Passed
  • Model Under Test
  • Equivalent Model
f10a2bd872cc46d74b29ece200a015f5dd01a3f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Equivalence False Passed
  • Model Under Test
  • Equivalent Model
c0cbf2695177664c426ed0acfe252d0c39b4e664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Equivalence True Passed
  • Model Under Test
  • Equivalent Model
4d6989abdad51c61a6ca80b2bd92223bfce63070 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Equivalence False Passed
  • Model Under Test
  • Equivalent Model
9a43100142e9ba5d9ecdcba556650c7b7ca154ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Equivalence True Passed
  • Model Under Test
  • Equivalent Model
68e338b13413a401e8e061694ec36c5570d343d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Equivalence False Passed
  • Model Under Test
  • Equivalent Model
eb0bae2e04dac0b040e044d29cfcf7452ef3fe51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Equivalence True Passed
  • Model Under Test
  • Equivalent Model
a9ee9881e4a96c9727a1f7f00b181131ce8dbccc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Equivalence False Passed
  • Model Under Test
  • Equivalent Model
d646daf21a822652c1edfa091d06c1f524ca13ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Equivalence True Passed
  • Model Under Test
  • Equivalent Model
837c0bcde99c4269ccd9cc0ee0a109b13bd05d03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Equivalence False Passed
  • Model Under Test
  • Equivalent Model
758f34de04b1864f238e11d8eacf1c0e2ea9c1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Equivalence True Passed
  • Model Under Test
  • Equivalent Model
04ba6aeadbd1f51a6acab94e7c780202353a3f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Equivalence False Passed
  • Model Under Test
  • Equivalent Model
bf97c68bf6b8dc9460f74dcd6aa551a688e53a88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Equivalence True Passed
  • Model Under Test
  • Equivalent Model
e2259454fbe2e8f5278be9efd3c7a4b41d97135d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Equivalence False Passed
  • Model Under Test
  • Equivalent Model
6c72f47bc02b7ba5db553b005ffdbc04727c5365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Equivalence True Passed
  • Model Under Test
  • Equivalent Model
e35c4f0d28da001e9d8290719270a47b9f911eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Equivalence False Passed
  • Model Under Test
  • Equivalent Model
d62082614957cfa14f9771d838c02fa46b02677b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Equivalence True Passed
  • Model Under Test
  • Equivalent Model
e73828be3d12bc0b7548e34763c7f0efa9f3da9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Equivalence False Passed
  • Model Under Test
  • Equivalent Model
591a30db1d66e479f001afa1f81f5f11d95fc8e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Equivalence True Passed
  • Model Under Test
  • Equivalent Model
f1b175e1b47017150a26cc12e6f155019e9c9767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Equivalence False Passed
  • Model Under Test
  • Equivalent Model
caa67b8ae0fd947470b77484ced90c81187db06e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Equivalence True Passed
  • Model Under Test
  • Equivalent Model
9e2bec35afe314714eb78d0a3e5a162a0cffec45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Equivalence False Passed
  • Model Under Test
  • Equivalent Model
67387119fa78fe0aab2b68715b5318875cdd323b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
7afb864f3e7d4a1f85cd73b216fd525fbe2142c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
5c396efcfa00f8862d416fc9d07f036d20d9f4cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
a127c3edcbbf7f490abaf3640dc30ca0a1d77d77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
06263a7f22d78f34053a12d382d50e0e2768aa41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
10e785c0003abf99712267bc4b177c94e301b3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
610971137477f6852412f63afd1ed025fb78149d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Equivalence True Passed
  • Model Under Test
  • Equivalent Model
1f000dfb76d2ffb5f5b82f6b0a7228dd2e9a4b24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Equivalence False Passed
  • Model Under Test
  • Equivalent Model
1d7c953dd36eacd71781acbd7f851ea545f7f01d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Equivalence True Passed
  • Model Under Test
  • Equivalent Model
38b46c1d25b56e054050b257105f7287411810e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Equivalence False Passed
  • Model Under Test
  • Equivalent Model
9ca6f3c67c38a511db952a6aecb2f8f848e86b73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Equivalence True Passed
  • Model Under Test
  • Equivalent Model
553dae524c9dc941818af8871398c283fecbcf84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Equivalence False Passed
  • Model Under Test
  • Equivalent Model
97b7f754d3d738e37d3b1b29013e2412af199f34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Equivalence True Passed
  • Model Under Test
  • Equivalent Model
f80c599c182fcee2249a43fc8779fa5a4c26586c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Equivalence False Passed
  • Model Under Test
  • Equivalent Model
0cc9861dbd525fb56ad3104eb28c445b5ce8c906 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Equivalence True Passed
  • Model Under Test
  • Equivalent Model
4771529e286e5ffdf7c4706ef0350dcbfcde8ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Equivalence False Passed
  • Model Under Test
  • Equivalent Model
15d50778e21dac768d2328f39a01edaf081b4965 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Equivalence True Passed
  • Model Under Test
  • Equivalent Model
6d44fc26a92ccbedf4e2f636e3ff313b068feb10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Equivalence False Passed
  • Model Under Test
  • Equivalent Model
54b6aa671006dacc76fc4b3992150c24e48f2a78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Equivalence True Passed
  • Model Under Test
  • Equivalent Model
c8a7995319ea7584b35102b85f7ef4f63ae2bd6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Equivalence False Passed
  • Model Under Test
  • Equivalent Model
b532cd8c3dfbedf62dd1811eb3319b03992e60c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Equivalence True Passed
  • Model Under Test
  • Equivalent Model
93d6509fb8fed007b93b1458fa0977dc8196230c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Equivalence False Passed
  • Model Under Test
  • Equivalent Model
2f1b4281543311a216053edc5a743282953a198e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Equivalence True Passed
  • Model Under Test
  • Equivalent Model
1e4202c113ef47a335935353091bd0922195da6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Equivalence False Passed
  • Model Under Test
  • Equivalent Model
99d00f67ed19d1270652b3128707e604961a0a6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Equivalence True Passed
  • Model Under Test
  • Equivalent Model
70b1b274c3fc131d60d960b7e70295f2ffd54aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Equivalence False Passed
  • Model Under Test
  • Equivalent Model
5c77121b630bc503362a6fefc6bbf5bff106295f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Equivalence True Passed
  • Model Under Test
  • Equivalent Model
5c37dceb25e4798e8fe92ac52e0f937e58910a8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Equivalence False Passed
  • Model Under Test
  • Equivalent Model
614d25132966d8c67daf0d815e96ed527096fd7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Equivalence True Passed
  • Model Under Test
  • Equivalent Model
49a2c8b962a098dbb8b36846cf37b04468dc4c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Equivalence False Passed
  • Model Under Test
  • Equivalent Model
2bcec6b1b5f3eb285f5279b5932df9cf139e1e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Equivalence True Passed
  • Model Under Test
  • Equivalent Model
f72e9a173f713dfdb38e98047a85c633aa1dde35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Equivalence False Passed
  • Model Under Test
  • Equivalent Model
6ffe9e0abbaf7e4931f6ec095556e9f050102ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Equivalence True Passed
  • Model Under Test
  • Equivalent Model
e21c11ade5e659f1a997c4214589b381a105903e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Equivalence False Passed
  • Model Under Test
  • Equivalent Model
2c32d0a642520729864f3229131a851afb786165 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Equivalence True Passed
  • Model Under Test
  • Equivalent Model
63af8f98eb11fef7b5e120f15a5be655db1589c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Equivalence False Passed
  • Model Under Test
  • Equivalent Model
829a906882e0eb667e1435ce81a1c40bb5aa3bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Equivalence True Passed
  • Model Under Test
  • Equivalent Model
1b1ecee238ff21f6ac8ae34d4814b83686640b24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Equivalence False Passed
  • Model Under Test
  • Equivalent Model
ed7fc1cb211d70e25900d146f465fe966970ab8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Equivalence True Passed
  • Model Under Test
  • Equivalent Model
24dc0cb65fb5cab9cd97c22568a12394dcca657a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Equivalence False Passed
  • Model Under Test
  • Equivalent Model
6ae1a574b8c7bc4b23e486a1ffd9492741147d2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Equivalence True Passed
  • Model Under Test
  • Equivalent Model
30e8198c54bf93fa7af709515e46a60baef289d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Equivalence False Passed
  • Model Under Test
  • Equivalent Model
25d1636f127cc8cd85d294bd2052f66ee7bcb363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Equivalence True Passed
  • Model Under Test
  • Equivalent Model
08154b946980b5d8c09264731ab9e2435c3e5b1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Equivalence False Passed
  • Model Under Test
  • Equivalent Model
8c8558dc580e9edaee48297f639b01c09d88a689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
3349ac88e35b69112731669261d38fe78e84b61b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
60bfcecd74abe169ad66fd0ec72f84c7f53559a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
3b9ccd6adb38bf315a6ae3d9dd3730792803b3c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
9f7da64fb5227b059b1e9c37246e139d9cd02fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
c642c071840e5ccae630dd278e6d6dda7c8df5d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
76f1718706b63aa31258ec0393bfdeafd066e8ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
e0912aa54c648eeb2bf83264df29b0299f02f8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
73da34a2df25bd6b667eb034b764e1ab22efc39a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
eff8f3054ddcd4e78e7c12e951dfaeebf0d68732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
dfd0675ecba634f242f1fbe6c0ecd85d0d269e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
a01a099a018559ff95f63eb22f9b179d0b966d6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
4be425f0d5722284d101fbefe51e9dfecd0f5877 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Equivalence True Passed
  • Model Under Test
  • Equivalent Model
54cdb4b1f0bd06dd757a3ff3e95f427fc2057152 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Equivalence False Passed
  • Model Under Test
  • Equivalent Model
43e44955bcc415f8ea0843479fbaa1b8afe2bb78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Equivalence True Passed
  • Model Under Test
  • Equivalent Model
328c042580dcf1ff967ddbca8245b2b3cb7dcae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Equivalence False Passed
  • Model Under Test
  • Equivalent Model
9c0076c1d44e28a064fdd7aac3eafa6a4171a11b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Equivalence True Passed
  • Model Under Test
  • Equivalent Model
f2c7a33ef2cb3039dad195544ef958c99ed865fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Equivalence False Passed
  • Model Under Test
  • Equivalent Model
40927fef1844ae5ee89b301ba69d4e81e87a89fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence True Passed
  • Model Under Test
  • Equivalent Model
1972e8e132a9d326b59e6b9d89d44097be0b1e78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence False Passed
  • Model Under Test
  • Equivalent Model
0b027509fdffc127ccd5f56c81c336308d369d43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Equivalence True Passed
  • Model Under Test
  • Equivalent Model
2ec80f3234ffb6fdc0012ee377b788503395ae4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Equivalence False Passed
  • Model Under Test
  • Equivalent Model
7acdadb92a27a3453b4f7b935ebef3833624af19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Equivalence True Passed
  • Model Under Test
  • Equivalent Model
51066f7f3dd3cded05884b6afade276ea926852b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Equivalence False Passed
  • Model Under Test
  • Equivalent Model
d0dd463c2fe4617e24926701818abd421f58031c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Equivalence True Passed
  • Model Under Test
  • Equivalent Model
87384d3b547439e09e27e95820560bdc5814a2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Equivalence False Passed
  • Model Under Test
  • Equivalent Model
39b158537285e409c681d9773331a357457fc5cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Equivalence True Passed
  • Model Under Test
  • Equivalent Model
1aacb2363d30182a38aa4ffee2dca7e794693c2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Equivalence False Passed
  • Model Under Test
  • Equivalent Model
b895a18feb75962048ca10bd480bff91be6c3e30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Equivalence True Passed
  • Model Under Test
  • Equivalent Model
ba782c18ff9a7d6dcb772f0cccd9c02f3e60fc26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Equivalence False Passed
  • Model Under Test
  • Equivalent Model
519d8be4f2fa4d6c88bc2b49ca669153a10ea01f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Equivalence True Passed
  • Model Under Test
  • Equivalent Model
223bbd0771ca7cca825eebccc5d439753d89bb8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Equivalence False Passed
  • Model Under Test
  • Equivalent Model
9b52e6587cc0e1a9fe411290a589c78791ea45a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Equivalence True Passed
  • Model Under Test
  • Equivalent Model
96905dd09813fcb12561787abbf56e5506aa151d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Equivalence False Passed
  • Model Under Test
  • Equivalent Model
cca73376d5a3a35676a5513d8311cbfa56969b9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Equivalence True Passed
  • Model Under Test
  • Equivalent Model
91568c33e9b7e0964f2490f775fab0d5456d5e49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Equivalence False Passed
  • Model Under Test
  • Equivalent Model
efe829ac8e5f44bd9f3fca883a16da3cc781624d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Equivalence True Passed
  • Model Under Test
  • Equivalent Model
91a4efe86d8f06df8f530a16cecd5fed72e1c50b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Equivalence False Passed
  • Model Under Test
  • Equivalent Model
737a7bda5cdb99f0c53f0986129234676c816c43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Equivalence True Passed
  • Model Under Test
  • Equivalent Model
451dcc2936a90488de36da8f07bf6f502c36701d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Equivalence False Passed
  • Model Under Test
  • Equivalent Model
1c41461d691ab67a9fc3fb7db6561800ff48f13f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Equivalence True Passed
  • Model Under Test
  • Equivalent Model
03902d46e0daeaecb7295c7514ab30df7823b158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Equivalence False Passed
  • Model Under Test
  • Equivalent Model
3c3e18e32c1af66ac82c2600cb46fc1c6d08713e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence True Passed
  • Model Under Test
  • Equivalent Model
86b62a14af44594de98ebe96cc60baf8a30fca89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence False Passed
  • Model Under Test
  • Equivalent Model
2e8da8c78029dd20be115336c759f040f996e629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Equivalence True Passed
  • Model Under Test
  • Equivalent Model
bc66c81e9438c4bb8a1dcba34d259cd29e8929c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Equivalence False Passed
  • Model Under Test
  • Equivalent Model
fd91d263869935acf56daf847149024fd6a01081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Equivalence True Passed
  • Model Under Test
  • Equivalent Model
f1c312339e034b6de7fe69f2d88654bdeb9b98da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Equivalence False Passed
  • Model Under Test
  • Equivalent Model
ca7e0657a88227fe1a3daa0f41ce43ea7474e90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Equivalence True Passed
  • Model Under Test
  • Equivalent Model
d4134722976d98d69e4d6357cb4626d3a023082d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Equivalence False Passed
  • Model Under Test
  • Equivalent Model
1f813a830e21dd2cee5fc65c5f260fb232fd3bbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Equivalence True Passed
  • Model Under Test
  • Equivalent Model
50139f7c3097d93423969c6aeb30c08cdd50f249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Equivalence False Passed
  • Model Under Test
  • Equivalent Model
7be93a74bf399fcb6e92660ac55a9728688179a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Equivalence True Passed
  • Model Under Test
  • Equivalent Model
b7a794479b018b559af9d73058b2a4eff534dbe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Equivalence False Passed
  • Model Under Test
  • Equivalent Model
22a048a3c3c8425d387c560eb651263ee8734eeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Equivalence True Passed
  • Model Under Test
  • Equivalent Model
8e08e17b4ac9abbdd1f42ad869a08b67815d2f4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Equivalence False Passed
  • Model Under Test
  • Equivalent Model
614673204f9362da25c7d7461778c78465b240e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Equivalence True Passed
  • Model Under Test
  • Equivalent Model
6a3ee94e4a29fc428806cfde0e4eb263edfe6e97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Equivalence False Passed
  • Model Under Test
  • Equivalent Model
72aa897107dd14ec39523307149f7884195f6b00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Equivalence True Passed
  • Model Under Test
  • Equivalent Model
899af6fbea89639c5740a2abe6248a54ab2c69f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Equivalence False Passed
  • Model Under Test
  • Equivalent Model
59171119cd4a034815e51f3d18b258e2fc5e5d74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Equivalence True Passed
  • Model Under Test
  • Equivalent Model
083fd30d72fca8ca33b50540e275815f140f9588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Equivalence False Passed
  • Model Under Test
  • Equivalent Model
107072445b47570e745261e71fc1e13e9f0bbfaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Equivalence True Passed
  • Model Under Test
  • Equivalent Model
0d6a4de8ed867381539f41a935474669b2a1968d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Equivalence False Passed
  • Model Under Test
  • Equivalent Model
33a860e0451c0995e16bc23ca54d57f6454d811c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Equivalence True Passed
  • Model Under Test
  • Equivalent Model
63d32396619f9019be886b9dee586e221a9cb92f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Equivalence False Passed
  • Model Under Test
  • Equivalent Model
45d0c057c984c2fd54cb0cb633f98b5e43ab60d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Equivalence True Passed
  • Model Under Test
  • Equivalent Model
c8b4dc678f8bc50a676de986d8cc33e404cdc36b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Equivalence False Passed
  • Model Under Test
  • Equivalent Model
72d98e817670b7d3f4a403aef6c59792cd404bea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Equivalence True Passed
  • Model Under Test
  • Equivalent Model
66e949ef5f67a91113d579c761fd0d6d70b742f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Equivalence False Passed
  • Model Under Test
  • Equivalent Model
c78287448169f5a4ec4244de1a56c06953e5e603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Equivalence True Passed
  • Model Under Test
  • Equivalent Model
5c0f6a1b8e335bbadfc7c76b55fcff6717428c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Equivalence False Passed
  • Model Under Test
  • Equivalent Model