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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a019496af405a62efaca789b722c7b4f37024b4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Fun True Passed
  • Model Under Test
  • Equivalent Model
23b298f29233181cae99b989af493301e34f0d7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Fun False Passed
  • Model Under Test
  • Equivalent Model
e1907fadb8908ac8a373c535571a3b3ae0de13ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Fun True Passed
  • Model Under Test
  • Equivalent Model
7109bba737da1191d7ea5c005cf5757a27b528c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Fun False Passed
  • Model Under Test
  • Equivalent Model
ddfe157c88928dfd476ca6a216247f4aa0868040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Fun True Passed
  • Model Under Test
  • Equivalent Model
23d587542e613dfffafb9411b9abb86e7c226708 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Fun False Passed
  • Model Under Test
  • Equivalent Model
7298838f0104767836dd5e9c59e0776ad0aed436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Fun True Passed
  • Model Under Test
  • Equivalent Model
1804a0be7dbe0bbea75170b542421d8795ffddc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Fun False Passed
  • Model Under Test
  • Equivalent Model
442db6cb0c3764d3376abbcd23f795c335907efb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Fun True Passed
  • Model Under Test
  • Equivalent Model
f0252a3d45e933265fdc71d7d771a97243287447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Fun False Passed
  • Model Under Test
  • Equivalent Model
91dcdbec58b33e6c5913f907e656fca20f9f7c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Fun True Passed
  • Model Under Test
  • Equivalent Model
28aaaa79429862e2bab36c4094496b793fce5828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Fun False Passed
  • Model Under Test
  • Equivalent Model
4b199b58ef7f17c9d059fbaeb9a89aba353b76a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Fun True Passed
  • Model Under Test
  • Equivalent Model
e51d91db908f5f4a36886dcabd4389d1c98d371a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Fun False Passed
  • Model Under Test
  • Equivalent Model
d4f8b99afa5b901eafcedb69e0500bf8c5c655ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Fun True Passed
  • Model Under Test
  • Equivalent Model
8437a10bd9cc4dba50ee11c9c692577cf359ccc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Fun False Passed
  • Model Under Test
  • Equivalent Model
35a17ad33412781ea3dd13eddc20178072832c90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Fun True Passed
  • Model Under Test
  • Equivalent Model
a68338257ee17fce32cf921f966f7349616d0bce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Fun False Passed
  • Model Under Test
  • Equivalent Model
c0588e5b059a17554e6614328f7b0876eda45ae9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Fun True Passed
  • Model Under Test
  • Equivalent Model
be708f8c52e90350ec6de839e24a1334b44f3573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Fun False Passed
  • Model Under Test
  • Equivalent Model
9e37242d364df36db6441622d21b0fa6cdda3b43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Fun True Passed
  • Model Under Test
  • Equivalent Model
5f79d38805d88ee44893806ba312c4137b9faa9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Fun False Passed
  • Model Under Test
  • Equivalent Model
53c13d3b77ab1ef548610aa10530c96435a16fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Fun True Passed
  • Model Under Test
  • Equivalent Model
0477374a06cf8eee4f6d4bdf80885e953ef5961d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Fun False Passed
  • Model Under Test
  • Equivalent Model
dc669953f1de89575e678510748bdd1c9d49c9ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Fun True Passed
  • Model Under Test
  • Equivalent Model
a0d6575356794e4884ab0ae4d50a2bfe199c184e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Fun False Passed
  • Model Under Test
  • Equivalent Model
93779a51483d3290e6d23bb6dd9faedd7c245054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Fun True Passed
  • Model Under Test
  • Equivalent Model
2aa96597db2cd4d2a839818a94c9975c8b3923fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Fun False Passed
  • Model Under Test
  • Equivalent Model
94f2fe513bc09c37760bd9fa53bc471243ba33dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Fun True Passed
  • Model Under Test
  • Equivalent Model
322aed41f72f403345579d85d9d50c3c2b9eda4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Fun False Passed
  • Model Under Test
  • Equivalent Model
7c72ecfdbca33118f35bcca80c6c47792e7b9b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Fun True Passed
  • Model Under Test
  • Equivalent Model
edfe35fe3b69166ddab9c20589cd403f7ca3eb67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Fun False Passed
  • Model Under Test
  • Equivalent Model
70c4b535eee082e2da8b69308e5e043278d87b7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Fun True Passed
  • Model Under Test
  • Equivalent Model
7ed06a177acc902567b83763f6c91b833a0394ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Fun False Passed
  • Model Under Test
  • Equivalent Model
bda96a4f7a45239db798b7d7171b9f3cb2607104 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Fun True Passed
  • Model Under Test
  • Equivalent Model
0545db4e82543268c9b35d8c65f991a43139f76d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Fun False Passed
  • Model Under Test
  • Equivalent Model
8e46aa4819d3b4265684311799c66ef36cd69f2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Fun True Passed
  • Model Under Test
  • Equivalent Model
f4054f39fad5b29b88615557e0034f6ef8e4cf52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Fun False Passed
  • Model Under Test
  • Equivalent Model
4f4509e6dee198c4b02b09e7052b2129bdd7c1cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Fun True Passed
  • Model Under Test
  • Equivalent Model
7ced1697701491f740b2de2c3b93596937638103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Fun False Passed
  • Model Under Test
  • Equivalent Model
651f4ffb1a1cf76a7be59fcb067f7835b06f36c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Fun True Passed
  • Model Under Test
  • Equivalent Model
0972cd708740c9226ba979fcc21d3c66d76c3143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Fun False Passed
  • Model Under Test
  • Equivalent Model
2504b3286db0d61b665ac32a38cfbadbf44b8092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Fun True Passed
  • Model Under Test
  • Equivalent Model
dddc2f42f1bff4642028b65bc6d5c3ddd4d59f33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Fun False Passed
  • Model Under Test
  • Equivalent Model
21cc29ee1d62c8ccdf979a1dc3c1f65e727fb61b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Fun True Passed
  • Model Under Test
  • Equivalent Model
173a6f078b9eff33efb477948652dab79697acee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Fun False Passed
  • Model Under Test
  • Equivalent Model
5b67aef8caafe6cf878e1f6afc8d82909c785645 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Fun True Passed
  • Model Under Test
  • Equivalent Model
35ae530226f9426f7c6cfa434019044a00010cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Fun False Passed
  • Model Under Test
  • Equivalent Model
8a278ce82ab2d3a0170361a695dcc18c32270175 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Fun True Passed
  • Model Under Test
  • Equivalent Model
ecea59149d3e89501be578e1c472c2b283225570 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Fun False Passed
  • Model Under Test
  • Equivalent Model
e1506e730cd8320a7ba7778c702a3c2ce2924760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Fun True Passed
  • Model Under Test
  • Equivalent Model
cdbfa2f501d71b1d98ef0349e853708e624ca53d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Fun False Passed
  • Model Under Test
  • Equivalent Model
70bb7a5c5c94e326f7ac8907357358e80edd2dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Fun True Passed
  • Model Under Test
  • Equivalent Model
26e29dc5a0c730351c38803f92cac1fecebca0c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Fun False Passed
  • Model Under Test
  • Equivalent Model
e52a297a472de04b6768ba962f4fa3b421ba58cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Fun True Passed
  • Model Under Test
  • Equivalent Model
2d1ded449b25a766ed43094d58f0552408cc1fa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Fun False Passed
  • Model Under Test
  • Equivalent Model
62578929b44b861ce2d3891dfbfcb1a5fda0233c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Fun True Passed
  • Model Under Test
  • Equivalent Model
fd044100ce75962df5d8fece91dd778340f42856 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Fun False Passed
  • Model Under Test
  • Equivalent Model
f4cdffc249baf997db1d1b8d3911674847a2e841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Fun True Passed
  • Model Under Test
  • Equivalent Model
a301675bebe797c5a7da1b6e1cbd31ec31284903 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Fun False Passed
  • Model Under Test
  • Equivalent Model
809fcaaf59aa4918b78bb60dc8902ed27b4ad2f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Fun True Passed
  • Model Under Test
  • Equivalent Model
a5f3a6e891357bc381611d186ef8acbbc0d08cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Fun False Passed
  • Model Under Test
  • Equivalent Model
5cca66c6d4379d19a9d9f396dca284175924cba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Fun True Passed
  • Model Under Test
  • Equivalent Model
9ba8ed6bfe298690a41b404aa1b3d705aea86a0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Fun False Passed
  • Model Under Test
  • Equivalent Model
1dacb21272478ca121309b4ce8efd7ccce1396fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Fun True Passed
  • Model Under Test
  • Equivalent Model
6414bf1b45cdec3c611b6a53a53a6d699aa8823c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Fun False Passed
  • Model Under Test
  • Equivalent Model
e48fb479f0e6917f328a1c0cde90baa329a8903d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Fun True Passed
  • Model Under Test
  • Equivalent Model
158dcc4f25064ef32d8915af612e8d3583300034 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Fun False Passed
  • Model Under Test
  • Equivalent Model
19204a2ab573684c3e4d30c4514736e822a37172 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Fun True Passed
  • Model Under Test
  • Equivalent Model
60b5f446ef399549460801973351d3d3584948e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Fun False Passed
  • Model Under Test
  • Equivalent Model
cb25769c5e206820a63f292ea6d80514208304c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Fun True Passed
  • Model Under Test
  • Equivalent Model
62c7820971c935fdeb505a3e864714b918c98882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Fun False Passed
  • Model Under Test
  • Equivalent Model
a191916be9660bd4a115be3cd91f29fc3bc7bdd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Fun True Passed
  • Model Under Test
  • Equivalent Model
1b17ee357f13bbe9cae142c5439c77f6ccfaaf05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Fun False Passed
  • Model Under Test
  • Equivalent Model
317d674371d68431cdf93e7d705a85167c0f2986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Fun True Passed
  • Model Under Test
  • Equivalent Model
6b500efd76a38c1a6f94bd747c4f99aff28b6f9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Fun False Passed
  • Model Under Test
  • Equivalent Model
6f41f24e9bf3e13f125b0c23f388391e5b8b555d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Fun True Passed
  • Model Under Test
  • Equivalent Model
507f6b9d4c09612c3aa61b0a8ee0e4f1d472cae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Fun False Passed
  • Model Under Test
  • Equivalent Model
45207f39b0f6b6bdaa1d2a07546343d84a5bf4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Fun True Passed
  • Model Under Test
  • Equivalent Model
b061169afbadda187e0c0e0cc23e9ccc06512c74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Fun False Passed
  • Model Under Test
  • Equivalent Model
5b2e215b2e28975288ef42f638a1dac7495789e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Fun True Passed
  • Model Under Test
  • Equivalent Model
fe1f2656f13549130608b40848de5054904e3153 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Fun False Passed
  • Model Under Test
  • Equivalent Model
48fa15c88b6894c6309722530646f5b8dab843bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Fun True Passed
  • Model Under Test
  • Equivalent Model
34494b905b12d0329bc4d3982d954df2e6cd4a0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Fun False Passed
  • Model Under Test
  • Equivalent Model
0c02d49896a9548c58bd35e5106591c14edb7a17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Fun True Passed
  • Model Under Test
  • Equivalent Model
aee38b19680a9f212503ef2d4757a55ad24348db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Fun False Passed
  • Model Under Test
  • Equivalent Model
a89f9806fe04c68b7632900c013902c7dfc2d7f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Fun True Passed
  • Model Under Test
  • Equivalent Model
393508c9c0cce5c3188f11fc8f792eb2d0fc39d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Fun False Passed
  • Model Under Test
  • Equivalent Model
02ce767985a5943745967412643ca29c08a1a958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Fun True Passed
  • Model Under Test
  • Equivalent Model
5ccd095a411bc7c6dca87845ef2c5c3418d78f13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Fun False Passed
  • Model Under Test
  • Equivalent Model
e25d6e55d6c0efb758eec007d7f89c3fa923b5db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Fun True Passed
  • Model Under Test
  • Equivalent Model
5d0a6c85acf5c944436d7decc162a6efe6677b48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Fun False Passed
  • Model Under Test
  • Equivalent Model
b883b4745b9d27cff10ac38ee2440ce936349092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Fun True Passed
  • Model Under Test
  • Equivalent Model
c2e3479ef5bdee9b516ec88b755df6f800502f43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Fun False Passed
  • Model Under Test
  • Equivalent Model
2ccc6c398fcf3add5a8427c59e36e0e0b5261d88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Fun True Passed
  • Model Under Test
  • Equivalent Model
1be65f88d9da1b8eb25a234c0f39ea8e6dbf6ba1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Fun False Passed
  • Model Under Test
  • Equivalent Model
5b779f6067af6e61ffcd03be28a98b553210d5a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Fun True Passed
  • Model Under Test
  • Equivalent Model
88873b8709ec7b6721407a9b211af016044a7a77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Fun False Passed
  • Model Under Test
  • Equivalent Model
cf444d5a6323a1c484f2646d8f21925b213abf15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Fun True Passed
  • Model Under Test
  • Equivalent Model
628b3ce2f7b4254865a045bdd8539b071b023962 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Fun False Passed
  • Model Under Test
  • Equivalent Model
087414218373cb9a65e2ec748605e673d26601c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Fun True Passed
  • Model Under Test
  • Equivalent Model
53341a8ea436f4f2b90dce9a55cecfdeb5ce7620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Fun False Passed
  • Model Under Test
  • Equivalent Model
59659cd44f008d83f4588edf04f7d8ad0fff11c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Fun True Passed
  • Model Under Test
  • Equivalent Model
33ce58909aae82464b763a0cbbe550bc94990c0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Fun False Passed
  • Model Under Test
  • Equivalent Model
a834fc91195f39efebf719a293040a3a461937d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Fun True Passed
  • Model Under Test
  • Equivalent Model
12a78e36f76e671e576b70bb19cbe3b07e7c17a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Fun False Passed
  • Model Under Test
  • Equivalent Model
f9129065d6080b2a1a10370a9f14ccad231afc0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Fun True Passed
  • Model Under Test
  • Equivalent Model
b05f74e4e36e79ba0a57cab806a5ca54ad755952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Fun False Passed
  • Model Under Test
  • Equivalent Model
773f6f705a0db1b37d1ba25b4f3e8267a0b51a7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Fun True Passed
  • Model Under Test
  • Equivalent Model
ac5f5a80dc90a4a9f3faabe3a721ab5ceff819bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Fun False Passed
  • Model Under Test
  • Equivalent Model
4f93acb34c1750befc776243909c07db328f13b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Fun True Passed
  • Model Under Test
  • Equivalent Model
75afad43daff78ecb37b70a9c5cff40bdf229652 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Fun False Passed
  • Model Under Test
  • Equivalent Model