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 case feature TlcExtendFun; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5229c86e632d61dcd143970272f487ac2b5f86aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun OneLineComment True Passed
  • Model Under Test
  • Equivalent Model
8374621251be3393e70057fee042bd6ccbed36d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun OneLineComment False Passed
  • Model Under Test
  • Equivalent Model
7986998a20521f4d5c4acd503049ddd5c38b1b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun MultiLineComment True Passed
  • Model Under Test
  • Equivalent Model
5f6fc433e31015801e25a47612269d54aff0ac42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun MultiLineComment False Passed
  • Model Under Test
  • Equivalent Model
82df8982cae1cb3f68f133cacadcab17ee1f27c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Let True Passed
  • Model Under Test
  • Equivalent Model
f201b0c10fa5c22e4c88c892214b24f93dec742b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Let False Passed
  • Model Under Test
  • Equivalent Model
ce82d9f1d7b231e55b0a22fbf8a07b7efd581df3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Fun True Passed
  • Model Under Test
  • Equivalent Model
9a72bf8fa343fd258c3506f419ede74d4f116fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Fun False Passed
  • Model Under Test
  • Equivalent Model
ca7c89acc1bb8772a86001a1db735aca0caeeec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Choose True Passed
  • Model Under Test
  • Equivalent Model
a1d5f448e254b58e648a520e24415b88bf577f24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Choose False Passed
  • Model Under Test
  • Equivalent Model
883d54bc4aaa07c2d543f8282583f837055b9950 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun FunApp True Passed
  • Model Under Test
  • Equivalent Model
0ecd901aa6c03b42482a08ccaf0ffd50fcb33ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun FunApp False Passed
  • Model Under Test
  • Equivalent Model
b66901ee08814cf54b3c1036da9c8eafb4a99195 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Prime True Passed
  • Model Under Test
  • Equivalent Model
d936ddc91ebedc74aa909657d8cc13e9984afa2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Prime False Passed
  • Model Under Test
  • Equivalent Model
68c5ebbaabb222447b9f67ac0b397318f8ea0a6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFun True Passed
  • Model Under Test
  • Equivalent Model
719a724f8fd526c9b1ba9ed49d2ec6a47b8dff74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFun False Passed
  • Model Under Test
  • Equivalent Model
675ee6a4b81acbf75dc88065822906c2849efffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
d730a90a829038e2c5b728cd6219a9dc250e0cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
13574fc125c983f5ee4ccfd772005721ea78625b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
4aa6aa54352e414dbe056b46b245f0ef80dbf3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
79ac3ea7fd1f1de928817102ae9ec8cbd819148d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
5b1f602c4060b452628d1e4901db435bbdda6d55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
4e9cae1ae295e15b25b8c7ec6e95121265e05ebe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def0 True Passed
  • Model Under Test
  • Equivalent Model
8d92b7463b6e561e3fc9931a13dd6dfcc2df4b84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def0 False Passed
  • Model Under Test
  • Equivalent Model
aed1d89b52078d169b57183e9c5fb50fdc8f65b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
7f675e5df11f51cb01b044eb7a1f70704243a6d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
0749fd44d03b3a3323e72fe2cba5e5220b15ab1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1 True Passed
  • Model Under Test
  • Equivalent Model
24a0ef059916f3bb07fe80fad38245f0e95b159a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1 False Passed
  • Model Under Test
  • Equivalent Model
24c7d2a73942e2587bdf059a8044e40f810193a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
947b04c1dde1586815100382f44bc9d46c961070 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
44c1e6fba390088090689b0fb5ba205321304791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def2 True Passed
  • Model Under Test
  • Equivalent Model
08a975fa78077ffac73570067dfdac5586fc18bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def2 False Passed
  • Model Under Test
  • Equivalent Model
514e146daa5f0e540e64b7069efe4cc07266e568 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
1c4c34226977c7962afa6b63c193501c89f65582 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
2a0ffb0ee6fe8f7312047d3bcfc01275025bbd0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
bbca47f7c5986a0b9ac6c76a1e4e2dc71089b451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
8a0af9e589a5374c7b89f6951e905d182a91de0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
900b078d6c3f28e6d4bdfb8ca2886a84dfef53d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
d1328ce598529cd478b28f8f1cecd2f5f95c11b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Extends True Passed
  • Model Under Test
  • Equivalent Model
e1cc62d06768df0444ce6d94c24056ee89006a82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Extends False Passed
  • Model Under Test
  • Equivalent Model
f3cecfda12fb29c85aa34e769a03c522cced6166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
d0d2a79a83ce8866b3b966811913d52817263d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
9c595a2b4d5d7f2b7f3ade6a8200f930b2770313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Variable True Passed
  • Model Under Test
  • Equivalent Model
3ad7f1b4c6ef1d43f7e5f41b8993d30bb70c1fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Variable False Passed
  • Model Under Test
  • Equivalent Model
d91e38d26b1d360cce3406e5a9696dbd3e5e822d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Constant True Passed
  • Model Under Test
  • Equivalent Model
c9eccfa099025137ae1e9e8426509b01a0c757d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Constant False Passed
  • Model Under Test
  • Equivalent Model
163e44cec3a1e1a0a1cc65921d789916fe68dfcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
84b3a21fdb04a5e91283bea6259bc2ac6a31f514 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
440a3e4854db26c5199bd1cd0247e8724de77acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Instance True Passed
  • Model Under Test
  • Equivalent Model
089c6a48da41349daa9e841fbd780f7c58a2ba22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Instance False Passed
  • Model Under Test
  • Equivalent Model
7b6e5197ea9bc81f666e1a721b53bfdff2b59c4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
8928a469d0e523453c9e1f518abb0be1a52ef8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
291f585409f87c5bda892b8e02f31956f0df7fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
6b01e2893caf1ae8af10b82e86377480558119df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
b907f872ed3b1f0d25fbb30f21d0e6bdfe6805d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
27f9050e58c386b6b12454631142c7aed8ae61aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
9083a20d9e580b7cf68d83cb6e857132533edfcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
9a96d3e1729ad986ff6f663a4aafb6d762bc9aca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
36788560938e6098aed332e629695e7866411e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
d1b722fde4b8183678c884094ddf3d700f2865c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
1f8984feeffd61cda4cc54fea52fbc58c0473bee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
f538a9f54470b5e5b62d2d0b1460693d39c112c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
2ef22ebeb76a963bed299bc5f50bf29f069f86ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
4eb85f318709db0a1aee3220bfbae2556d34e69c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
0f0f2dc02085bf2b70cebfb57c90d4e76421f494 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfCond True Passed
  • Model Under Test
  • Equivalent Model
5f57eb213234f98263a5d7f860d851ffebc05e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfCond False Passed
  • Model Under Test
  • Equivalent Model
8e643b7c247ce5bcd116cd860063f315dbb3c714 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfThen True Passed
  • Model Under Test
  • Equivalent Model
97e5e9341300407fabfb07c66cc281879cdc1940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfThen False Passed
  • Model Under Test
  • Equivalent Model
e437882b7dd0f2a8b608c009c5bc87cf64ece71e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfElse True Passed
  • Model Under Test
  • Equivalent Model
c97365b1146a15630c145523b81b956fdf4d390d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfElse False Passed
  • Model Under Test
  • Equivalent Model
06b0302f269024cbe746be6371b7f5bbb6ac16b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcSingletonFun True Passed
  • Model Under Test
  • Equivalent Model
75356b5a40e09879ca61a4b0d9f571f4e268630b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcSingletonFun False Passed
  • Model Under Test
  • Equivalent Model
065e8b3aff6e4b1a6cb0d9ecefe0054f9e5f447a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
2f368a730ec6875f37143f0ecb28859298b05700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
944ef4d3c1b4bbf752494e2e56d4c67e35eb498c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
8c5293b077f767c1e39b4787076cc67f48184146 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
99e1cfcbb6700e9f681f71d7d8ab2ea64f474cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun SeqHead True Passed
  • Model Under Test
  • Equivalent Model
3685bb235d538429c9a916758adc3020963bf3df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun SeqHead False Passed
  • Model Under Test
  • Equivalent Model