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 TlcExtendFun; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6686c3a39db971de203da0c399a424f5bbdeaf2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
1cfd0329406bbefd56218f5382e869a9cbda2d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
28a5a4375ca253ab7960f0069e6436ec84ae4a96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
24344eb0f95e7fc8c2d5ce60cc61b385c90d24df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
f6c6e0d2c243a78556d53ac03c0667c9b6456309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
b9f178f181fd229d0217f3ab455d61916537865d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
15e0178535db188f0120dd4cb9bdc4bcabce886e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
e5d3ca05b10d7888434359c21da7c1c79aab566d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
1f630f5d5cf592c263b3e4ab68d9dd9d4c7630f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
321036ced26372b69f001fb4ae2e1ee00bb88a2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
10f50876666871230cc0d2ed6458f70f50643141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
7fda4d1aac4bc0940a3c457f1dcc130a3a58d52b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
77fafe5a71e094407b21e371f23b86c11db6edb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
b58d79e3d32222b8ab04aebd44b2880a4fbf9a36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
b88eb02e9ef3c291ef6ee89559ba3a31b5954505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
8c04fddf6f41dd6dadb3ecce762eced29cb53017 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
b5e97575380bac0958cb6cde0d7caed614a6abbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
c627a7d215bce58237cdd7693b34971777eedd82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
c8a0835347169566013f7a4a9db31a6b68add62b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
b748e5631841d8c9c9aaf7fbc399a55c59fd7214 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
6cc29f7df708b2cbddc3199062cd557991603dab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
15aabce8e688163c122c6550234bac4f2695173f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
029d8d588c4d1e5a12b61a5c3da9d6bb64381932 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
e8854829d48ae05e66e87dfe7107cd3007f20520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
1e41685c4929df4654d7737a59b014c5457c885d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
4ff09782be4625c3d5d9563046182a0a0dc20e87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
9feb2c0e7581e81eba0f6a4c0bac3ffe61022043 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
eb0e29a25b963ca5f7e8fc67a752d7cd8d63e177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
2f0eb2a9accb739b2d403792efab6d358bf446ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
26239342d326c5b47bc9ddb3d15343d7dd3da937 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
b1b450693ab54b2da2acc3cd067f078500f2a6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
d57a79f6d5e9c1b9aa10e867723972007a6fe06b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
a2202ede29f8f2edc55ee00b86a026898f0d6b19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
2191ddb7ffa5d6b420c29e7e0933502c30ee5b8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
73244607764d07c79df7394bf49d20e4c23a034f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
593f7951666a691b856c9f31027b8ac8c22bd1fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
78c1bd52f8bb92a935bd866ba4dfb6437be7ea18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
26aa1325affd47803f31ec205d63586e1e714959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
091948fe572719d7d5c554dc87169521284e9f2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
bfa2b92787b732c54b599284b6c8fb81e2eb3bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
00f8901575f3f1f214d751bc1c35cbb049e1cadc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
8bddba998bca12d464ca8212d626a1710fde9e29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
78897ba85ce50c1b37e6236db25f1a1f2f49f2e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
1a61a0ceec1eb711a62981017825cc05306ed7af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
f9ae58a41b6b4d1c2ebdd376a56f0af1fc98fd11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
a27c408c00f8eb05b9404c95abeb02511f144d05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
fe458cd7a10fde70d6e72983340a9a7544377171 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
1f57aa6192c2024549b2c7a185e20a40e2a1bf7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
ebe6128d01b5907c8b76e0f443fa6276c624a153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
40fb5f95b084836491c5d099215016f0ea5591e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
908e686b237a920b85a1002882294c46c784e977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
6278fba3de897d14e0fd499288f6a9b22785d208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
7415d5008554e34da37d02eca583f10672aba3a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
c680936e3489deee0a2280b72c23c3774fd899f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
64b09699aae29a8391ebd02dc4a051e2e5cdd81e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
a6748eac710d71c507890eabbf4e1d46b772a51b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
a003910f590d0968491504d6403a48dd26a0d331 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
15fb796c9d9e6134fa3b94fcf6069cf0e98a03e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
622715075a493457e150c8e79a7d5171f5a8fa23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
92f3b745ca1bf86a39c12fd581463437efed1e83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
c41dcacbfb3740c083e71b97cb9328220d73450b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
79b35a6156daa1c743687d740e13a47c573f5342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
85323905ef25eb5588f6bd2cbfe2ea836ff31e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
816a25f9ef8e2f009ee8458caab4a5bf5f08cec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
20b1d162521f6dbd245895919f60bbd34b9726ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
f1ee4008e2f3735bc5ee13cd7cac00c1d167f555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
24480eb0efbe90f58bd59e2a2d50b273e91faa6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
eca8e03d6a4e8ae142dca58551f599e7693f8b1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
02e565212cae14be07ac24f40cca5f05cb39810b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
2e27138a8bd9d7ce09ec82d2d92a99a9e803e59e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
e88abc277aef02ec19ce3214f85f495f8422c070 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
a1f222769b0c83f59b492238ba506639d4ffa87f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
1c3cee15078c610e8d322dd4fc21f61ce8a9e0b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
93d2972d2ae27022ccc861b14989cffa719a23a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
3689ce9f4e08f59f9c8a76116e589625db34e0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
f971086fe0de42beed364ffc0a485d5dcc0c7997 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
235bf78cd314b1af2b7647f68234ec2a8b1e2e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
ae7c37dbe9998d6876c2e54501930b288e700047 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
b2582cf88d20e7cf2dff727c1727d5ffab2e2ebe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
57615542f304a0cbfead90023737d7fc7dc639b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
16d14c2b59f469da3d38b03e4810f6a75cfd490c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
2dc6d5797d0af68c76a93880b42ad9e91530360c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
304e0722fffc1439186bbaaff30df2044f497c74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
09786399afeb06ec29240ae9846925c6626637cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
3d6815f62d1588433ffcff1f5402ae60c1b02f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
6b4f0f92e4fe9fe0721a1947cef79863a7480093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
3cfe675b1b926d5281be06cfeb481784ae66e321 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
807d913d5eb4cb343774665dbe721f87291879e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
c525388dc9a3054ec53827d9e0cbc3532ea6c027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
36dc48e89063093db2fda1a96ae362ba70365716 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
58cb159af548825bc0582895377620d1ed3933b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
9d19a05ed05905dd32b5e19a12c108149cf4ee8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
f0e16fe8cb320a691823c2aa0202ae2abd78c8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
08e93b075a9670a23e6e4be02a0d53174d355dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
6f8476edc402159644b991f399d6597510c89cbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
0a1cce9516d6ae1c0a68ad7b6edb7f3c82e0e5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
7c77f274585a2778df1143bfed3e3802bacf0761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
880d58eb6477818b839c0a293e7aa8af44bbbb9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
0b0912e7712450b74e85969c4cef507ab8b6cf5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
16ae13aa296aa5d0862d3ce5fe5dbbd05d9de0c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
f4e0b0df14329fd2b21cabdbe982532b3ad0975f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
9cb99d3a3e9eae145c9bab7b1fd71a9a14ec4f50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
3ac703b5c35ae88c652842e3121ca362c20ba281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
91acf59d565d10a137fd2841c17dcc79d0854579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
bb4be61c8af44ead37089677f15cec19bc523abd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
ac7df85f2954b858ed24c4b49bb9e7eb77479b1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
7af21094c59afda691cde4769a5c083b5f1c5488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
6679637175da34378efdca1f4d213ef6f0587423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
d083c7cd79d9f4b6ea12f54e57d5fba45671e561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
1c008f05a66302a1065ba5382560515f8301fc84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
be2f1c94a30cfe326e0412f84e27f85093b69d7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
d7068e82fc6c552f0ca4ee3fee63ffb265645759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model