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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7e085b2dec2fc03ceff54629337f7a1a48cb7fb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow OneLineComment True Passed
  • Model Under Test
  • Equivalent Model
c986b1a1f0de9600c5b88119f895b03e7d02dc81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow OneLineComment False Passed
  • Model Under Test
  • Equivalent Model
0ead93317c5e7d1acf84fa5e4d320db292afad3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow MultiLineComment True Passed
  • Model Under Test
  • Equivalent Model
f0ad207980af91174359beaed1df78ca02249d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow MultiLineComment False Passed
  • Model Under Test
  • Equivalent Model
518c60ed45513fe79431bbb8ac05bb60639105da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Let True Passed
  • Model Under Test
  • Equivalent Model
e645a5c6dfe58d887be0ac19a3122084c1b11a88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Let False Passed
  • Model Under Test
  • Equivalent Model
bef13de1cdba1769ab6e6d703998fd5af8f8de26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Choose True Passed
  • Model Under Test
  • Equivalent Model
2b2faaa6de12aa199bb6cf09690e2993d3afd954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Choose False Passed
  • Model Under Test
  • Equivalent Model
2b8f29ce54be09b95de104853bd222bdd61c1d1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FunApp True Passed
  • Model Under Test
  • Equivalent Model
8621fd668e1c0783d0242ac55aba69552ee81561 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FunApp False Passed
  • Model Under Test
  • Equivalent Model
d57678eb47c6333afaa2b2abf0f06eb53e205d90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Prime True Passed
  • Model Under Test
  • Equivalent Model
7c9185d5da4a269099046b0552db6949659c62a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Prime False Passed
  • Model Under Test
  • Equivalent Model
d765afba5c53e7271c1fdf8bb736064ae40b270e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumZero True Passed
  • Model Under Test
  • Equivalent Model
37b59f2d30acff6cf836f8f0d039d892ad0cdbb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumZero False Passed
  • Model Under Test
  • Equivalent Model
a782bfc3b289d948c0a2705bec5c460f24b4a0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumOne True Passed
  • Model Under Test
  • Equivalent Model
71313b3d1402300410407e78d15719ea9263a1a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumOne False Passed
  • Model Under Test
  • Equivalent Model
9a6d67f52e0043612e614cbe7a8bf33e0d564cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMaxInt True Passed
  • Model Under Test
  • Equivalent Model
bc11c0e8a4a28d176ff5a34bfb8b1d6066da495a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMaxInt False Passed
  • Model Under Test
  • Equivalent Model
6ef5240df43ad872326134c56700733648760c34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumUnaryMinus True Passed
  • Model Under Test
  • Equivalent Model
732952a2c7918199c5df061f0fc660a38201f1ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumUnaryMinus False Passed
  • Model Under Test
  • Equivalent Model
8fb33b0e1fbd67b7364a736f3b8e3cd1b1643b56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPlus True Passed
  • Model Under Test
  • Equivalent Model
47b0ea765c4979e393eba0c8087ddebe9aae1ad2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPlus False Passed
  • Model Under Test
  • Equivalent Model
e291cf0db741c0bca88c52d2c8c5882f6c086d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMinus True Passed
  • Model Under Test
  • Equivalent Model
13f286bf0bdf9610c5f8dd119bd40535efbe092e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMinus False Passed
  • Model Under Test
  • Equivalent Model
c579d1ec050b005237d46ac7127a28714453803e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMul True Passed
  • Model Under Test
  • Equivalent Model
571786bab9608c3affdceb7145c0581679c044b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMul False Passed
  • Model Under Test
  • Equivalent Model
a21d5bac60aca948733b9bee585e5f83dbcfcad1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumDiv True Passed
  • Model Under Test
  • Equivalent Model
634856bfcd209de2b44e28ec20f1a996162e8a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumDiv False Passed
  • Model Under Test
  • Equivalent Model
317ebf6cc8884960166aea40365dcb5e24a8345c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMod True Passed
  • Model Under Test
  • Equivalent Model
3cf0d05cdd207f258ae43986a6e76539097ff6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumMod False Passed
  • Model Under Test
  • Equivalent Model
b72037c82c43faf516973e461a4c17face1639d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPow True Passed
  • Model Under Test
  • Equivalent Model
497a429ed66570ade221840104fc008a6d936192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow NumPow False Passed
  • Model Under Test
  • Equivalent Model
8538eb2951268d63d66e0447ae9dcb0c02321c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def0 True Passed
  • Model Under Test
  • Equivalent Model
6dfb1836fc16a34f86e3528ee2b5c6e10a73dfb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def0 False Passed
  • Model Under Test
  • Equivalent Model
c6d070450784d871b7cd3dc3f3e31120a8484967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
f27c57ecc4f850e576d0f3c3a024c1effb912a97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
f8e2f9938fe9dea60019afae271df801057c18d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1 True Passed
  • Model Under Test
  • Equivalent Model
5be1d95caab32bed1d7f7b8340ad8be4105989d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1 False Passed
  • Model Under Test
  • Equivalent Model
e94b3ebe5215228212e3543a4a9ee01c77b127c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
18916760184a5ef2f9a2095838ad53a3b3d78a6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
c626c2995f82573a49d43b9046f18796ce75c7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def2 True Passed
  • Model Under Test
  • Equivalent Model
52b6fa5f5ab73341a9b1fc05620b53254b4f3867 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def2 False Passed
  • Model Under Test
  • Equivalent Model
be0a46f00b962859646e73985f1cf10d10532c23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
a71041761dac5b709a17f78d4d281ea9726261b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
702d4773b237645183ddfd2fe14b53237bbe77ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
61796151a4eac1756aa1e891d933e06325f687df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
460ec1d9b3f5acb17ee8db76995c08d3fa9942ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
2adbfd2e9966262b853c3e60e178bcf86013ef47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
3f3f0b90ea66f31a118eeebe269b7b166b95dcbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Extends True Passed
  • Model Under Test
  • Equivalent Model
d8fbd2910f0f2999d19a161ffa8e94f791bbf0cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Extends False Passed
  • Model Under Test
  • Equivalent Model
e322c2576622550e077a607cf35e5e030c340262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
34efd93f3ea563ffb9e80c2cf64a9059d9b53ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
9313d0fafac7bcaaf61c1d505fea36f9015f288b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Variable True Passed
  • Model Under Test
  • Equivalent Model
7be002c0c008e4b3c7c27a1a9b30137c86d09d7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Variable False Passed
  • Model Under Test
  • Equivalent Model
58483db6cf4ae9e0fc7fddc0ace7527ff757547a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Constant True Passed
  • Model Under Test
  • Equivalent Model
14b282160f9def61e9cc622e8ac2f3c7106e0186 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Constant False Passed
  • Model Under Test
  • Equivalent Model
327e6b2d4affb690d42523112e0d727513169ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
e01fe9e142ae598fbd46d1292ca9b495fb792d53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
9fe0018e100bf4d896e1d063ea7891f39ba591c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Instance True Passed
  • Model Under Test
  • Equivalent Model
6d27c596ef7814de1143b28ee8fdb98cbc09184e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Instance False Passed
  • Model Under Test
  • Equivalent Model
7ef360bd9891c82d0f69ddfff5e7c62c821314b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
bb477cea4312ef96294e541dfd1e2ce40c4f68c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
205daf753ae6e11cc7bed19008ef1bf61c7e40de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
3a1630caf44148f3a520bfaf569be49840682a30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
0ff54e7488319ae50863a60d8d871140154aff23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
0a6fb4cbeec3758e36efaabbf2232118774f95c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
535c80deea35069573d247184c8f6c1cf08ce9f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
6f4a3af8322ab5ec08c6929171c42b5d48de8617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
a0c81cd96006ff5deccc430a41481ddc1526b337 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
dfed9b472443b40bdbaa95aced360aa22e84bb09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
782acda19f1ae73152f8e1be53b7bc2ef79b0b37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
895ce7d3f6069d5829eadeb3018fb5ee2210f8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
4faedc80a83a7adb3125c9b49fd92c9730a520c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
95e97b4564d9fff91d9d5dba20012cab9fe2aabe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
53f8707c31b148759b2ec74080eb51ffb7bf49cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfCond True Passed
  • Model Under Test
  • Equivalent Model
8ee9728f188220fa35951dace5827d59b8557122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfCond False Passed
  • Model Under Test
  • Equivalent Model
da8d8df51be862e054a651b911a027dad4705ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfThen True Passed
  • Model Under Test
  • Equivalent Model
7f85df4dab7edaf1ea407fe957ab5b1f6c68776b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfThen False Passed
  • Model Under Test
  • Equivalent Model
626895a7ee59be10f9465a6503dc8a64f57a1f1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfElse True Passed
  • Model Under Test
  • Equivalent Model
69c64f9d646577083ae2337c3bc0ac7d14b2ea37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfElse False Passed
  • Model Under Test
  • Equivalent Model
d7dede9bd015b5bc88dd20a36068d58baefcf959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqLen True Passed
  • Model Under Test
  • Equivalent Model
be13f41cb1e47529b8cbd225a05d3f4db81ae4ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqLen False Passed
  • Model Under Test
  • Equivalent Model
c22a86b401857849a3591a6a6b92f488ea8b23d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow TlcEval True Passed
  • Model Under Test
  • Equivalent Model
04f4f19857bae134ca28f83cb50d075979543264 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow TlcEval False Passed
  • Model Under Test
  • Equivalent Model
3c9233dcb2cdf32daf18e9a736a7b10b8c4e6557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagCopiesIn True Passed
  • Model Under Test
  • Equivalent Model
b612f4dd13da8062631b561d80a74533305237a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagCopiesIn False Passed
  • Model Under Test
  • Equivalent Model
a2de8842da96d887c8e08ce78404f5e14eaa4bfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagBagCardinality True Passed
  • Model Under Test
  • Equivalent Model
6d345fb52fa9c79efe39590198465f771ac44405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow BagBagCardinality False Passed
  • Model Under Test
  • Equivalent Model
4c9f4509cb60df2d52b455790957993364968dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FiniteSetsCardinality True Passed
  • Model Under Test
  • Equivalent Model
89a8050a868364cddcfec07c8599c972ba4eb9fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FiniteSetsCardinality False Passed
  • Model Under Test
  • Equivalent Model
2099c736348fde5225b3d9c44eb9872a914ef907 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqHead True Passed
  • Model Under Test
  • Equivalent Model
28957643eb1caebbad46fac2d74d2b507a70a7b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow SeqHead False Passed
  • Model Under Test
  • Equivalent Model