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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
cb70f4ef90ee70b64d0f0582eb73f8f8ce7e479a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag OneLineComment True Passed
  • Model Under Test
  • Equivalent Model
22050b574df6b16674b2df4a1286441885063760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag OneLineComment False Passed
  • Model Under Test
  • Equivalent Model
badf0c05369d1dbb672b455998fd27e163d58bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag MultiLineComment True Passed
  • Model Under Test
  • Equivalent Model
eec53422a7d664138d47cb06787db9e7442251af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag MultiLineComment False Passed
  • Model Under Test
  • Equivalent Model
189767c3c95a8021492499ec183f3ed5b7a4ac82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BoolSet True Passed
  • Model Under Test
  • Equivalent Model
a54b092b6320fc3e0aad0db5fac65ce7d7f50f9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BoolSet False Passed
  • Model Under Test
  • Equivalent Model
0ee2333ce74df3224ba7e178b146987f2190ea6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Let True Passed
  • Model Under Test
  • Equivalent Model
7f44fa1154e9fe80e18aaa6e685d3b6e02d4275f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Let False Passed
  • Model Under Test
  • Equivalent Model
b516c57996f7a96129b53af8556d42719e1af3fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetEmpty True Passed
  • Model Under Test
  • Equivalent Model
60d0d7fdde0e1cb4342dcc65ebe34fd9ef5552d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetEmpty False Passed
  • Model Under Test
  • Equivalent Model
6711934b0fa0f8fbc6acf4a00c56cb0f0eb97f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set0 True Passed
  • Model Under Test
  • Equivalent Model
33dbd3f747d0a3a81bfdbf035bb6e6b1042aa94b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set0 False Passed
  • Model Under Test
  • Equivalent Model
2dd1cc3ae4d8bd8c47b16631db458c1d69fbe61f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set1 True Passed
  • Model Under Test
  • Equivalent Model
12bd34df31cf1390b3474316442fd79fb652b111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set1 False Passed
  • Model Under Test
  • Equivalent Model
30af781629763415fa4e4a45913126e1bb187369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set2 True Passed
  • Model Under Test
  • Equivalent Model
4f38883fe23b61fa19299d18986eb1b75d9c2beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Set2 False Passed
  • Model Under Test
  • Equivalent Model
3c22920ae7737ecf3793420fb558eb57266b9565 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Choose True Passed
  • Model Under Test
  • Equivalent Model
fa1db2bc443654b0e7ee273b26ab1ed18b29220f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Choose False Passed
  • Model Under Test
  • Equivalent Model
be5f4bb559c3dc8339752e93d32ebd9c5fd5305e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunApp True Passed
  • Model Under Test
  • Equivalent Model
7d7cc0056f0cf9b21ea99066fd949ca729e7d210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunApp False Passed
  • Model Under Test
  • Equivalent Model
7c20d2ffdbe59fb9afd2586cb320d41c791df922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Prime True Passed
  • Model Under Test
  • Equivalent Model
39961bd2b79985dac61f559223382d7f67c76198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Prime False Passed
  • Model Under Test
  • Equivalent Model
590022b2d014723a3e68106c60b92fa6972c5e3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def0 True Passed
  • Model Under Test
  • Equivalent Model
b035a185517a98bce920cdfdb197c28108e58c61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def0 False Passed
  • Model Under Test
  • Equivalent Model
752f12f91ba383b8d6ece7cead106fbc8d2838ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
cf6ec41b6f5cab0615893b6cc4401245b3665632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
fec24a8917535dddfcf624df49b124378c8bcd70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def1 True Passed
  • Model Under Test
  • Equivalent Model
de744f7ffe0937473c48b8716c234557992a8b16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def1 False Passed
  • Model Under Test
  • Equivalent Model
4845f2906d6f8290bdb44473b83a11dc493e49ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
4bbd8fe02f5e6bca3c2c7196086b53dfb4e6618b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
7ebf8fa2b510cc1161981c0800708ab8707db3bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def2 True Passed
  • Model Under Test
  • Equivalent Model
4f52e0e505666c57fcbab953644830b53916257c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def2 False Passed
  • Model Under Test
  • Equivalent Model
5bb27f4971ffd7e8ab76b910fa1647899a9bcfcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
659ea06f7863e050028b27598e4c928d7b582829 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
82c5347fda5c4db9058c8ef0843831dde2145d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
b265fd1e017f02a7348acc23bf388c8402b18746 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
13ec9872add642ebd77f3ded38e648e46bd015d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
03a8dd5974969849c5b916bfc7aa014118a09e54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
086f1a2c7d20bbd8ead397e153307d5822c3ae15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Extends True Passed
  • Model Under Test
  • Equivalent Model
dcd4e9abd9f9490707ac1b0b53d18194fc41c0bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Extends False Passed
  • Model Under Test
  • Equivalent Model
10c3311ddaa2b21ee7ad070eebfaab5a4c97a916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
b5c490c3adf03ee583cde2f59fff51a4bf0e66f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
906d964dc628614177d2b496f80236bd65a44447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Variable True Passed
  • Model Under Test
  • Equivalent Model
1f9d641eba17a14edc557cc6f736e30a346b6310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Variable False Passed
  • Model Under Test
  • Equivalent Model
389932feb1ac60dd7d68397296f1e84f19624534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Constant True Passed
  • Model Under Test
  • Equivalent Model
454c58910da4362d21174e0ea2856cb527f68573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Constant False Passed
  • Model Under Test
  • Equivalent Model
9582ae77597c1c3ca87a8e96e26d0708615a4d38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
f3d953f5d117274e7ce3bf609bb3fae7a39985d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
befdf65a4140b17dab3305928ca35041f718f0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Instance True Passed
  • Model Under Test
  • Equivalent Model
cd7bbf4ddef23a9428d9264414cf67741122e343 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Instance False Passed
  • Model Under Test
  • Equivalent Model
0c613a4ef12a7d0cce041ee59164450b30b598ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
df2dca33cdda7106e559446264b5795118924dee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
42867441af57508750e2393ca684d466842d7ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
bd9582fb000e0d5a1e7ca9186f2d058454303840 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
fa5fcf84e4545c336e7d015fc4260d41191dd8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
8c5755613f8d744eafa69ffe10ff7193c572fb6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
7f40ebea5cb93a052edf6448d3610e2810cfc396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
05e8b02f6764a0894252ff5585b273fc880bdbe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
b73062193a20a0f28de6dae9bb5290ff4e99557c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
ede60abcc77b6420d07891050cff756154a1b09f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
df8528e09d9e675b9a501efe0267542919395b83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
2cefcc3d37690a6ffd2512a2cd0d685fc1b6c7f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
220a20b3ace4c46d9ed125f790bedfd047623821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
830439d314179674b2ffaf56fc4b9595dde0df75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
6ccbb42133cdf4b66fcf46d22f96ea4463e20ba3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross2 True Passed
  • Model Under Test
  • Equivalent Model
103478d1016eb4b80a231aede6db7eb32ad15d00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross2 False Passed
  • Model Under Test
  • Equivalent Model
7fa542afd3848e429bf109cdb938d10db265403d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross3 True Passed
  • Model Under Test
  • Equivalent Model
cbc175a8a7db91845a423d407eca09b62a2a7630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Cross3 False Passed
  • Model Under Test
  • Equivalent Model
ec9da497005bb33f31f2ed54300084bc0c15166e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunSet True Passed
  • Model Under Test
  • Equivalent Model
a2b1d12314efe14a3c50092ebdbda54f0e994849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunSet False Passed
  • Model Under Test
  • Equivalent Model
45c8aefdaa72886ab19fe2a3d2afeee7065606b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag RecordSet True Passed
  • Model Under Test
  • Equivalent Model
488617f430fc4915e437a3837dd7b86dc6205689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag RecordSet False Passed
  • Model Under Test
  • Equivalent Model
d922b151d63cd8ceffc1fadd5e6aeda9e1911f03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetDiff True Passed
  • Model Under Test
  • Equivalent Model
fe8cb3ad27e0cba2cc95a554e4ca731becb7d13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetDiff False Passed
  • Model Under Test
  • Equivalent Model
981ca6fe82881d10db3bc09b13433785c93543c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetUnion True Passed
  • Model Under Test
  • Equivalent Model
29bf9715dd333d305e91b7f41e573c975b9d9255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetUnion False Passed
  • Model Under Test
  • Equivalent Model
e2c86efbfd84abeab11bbdcbdb2b9f3781f5dd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetIntersect True Passed
  • Model Under Test
  • Equivalent Model
62e078947a14c329146ecfcb29f0b1a02fbc52e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SetIntersect False Passed
  • Model Under Test
  • Equivalent Model
52fbda8f895b81068fd69ead5e06413fccc49576 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfCond True Passed
  • Model Under Test
  • Equivalent Model
82990e763cef4b40877d24f49d240ed2b3152b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfCond False Passed
  • Model Under Test
  • Equivalent Model
0b15bc12538c4954aea79280fa995b6a94e1cc8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfThen True Passed
  • Model Under Test
  • Equivalent Model
27192ccf9c4dd6eaf286c5d9ec927a603661864d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfThen False Passed
  • Model Under Test
  • Equivalent Model
3886754ed5eaf69f547735f9c6e2087ae91f200c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfElse True Passed
  • Model Under Test
  • Equivalent Model
37f70f9a85279f15f556d1b5b15913b27a293b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag IfElse False Passed
  • Model Under Test
  • Equivalent Model
a63a741f87fc6f2ad540360ea43dbf89b8453ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Subset True Passed
  • Model Under Test
  • Equivalent Model
1a3f5c11d19f970d381d83d960daa0bb8d63c2e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Subset False Passed
  • Model Under Test
  • Equivalent Model
85eb4e53ea73ec708990ad689f4c7822dc28252d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Domain True Passed
  • Model Under Test
  • Equivalent Model
9e9ada0399e9c0f88a544cd00ecbf7893ec84e24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Domain False Passed
  • Model Under Test
  • Equivalent Model
f5fcb561a04cb5dbaf6ded6b0eefb25fa4d316f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Union True Passed
  • Model Under Test
  • Equivalent Model
c3a03e2fa5bcca6da5405cc706b6d8fd2bcee5ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Union False Passed
  • Model Under Test
  • Equivalent Model
55f093ef9f99680d4b22c3755b58bd2eadc82378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag NumRange True Passed
  • Model Under Test
  • Equivalent Model
e6216ab59912bb26ef24279261b036d179bf5610 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag NumRange False Passed
  • Model Under Test
  • Equivalent Model
ae58cef5a672f1e1973b0100effc6dec2895aa3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
e00ea81437ee999fc26c53443a2d8c7a7ada9bf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
08c3f6a2b0ff74d864db291343657cc9a757f996 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcEval True Passed
  • Model Under Test
  • Equivalent Model
0324afd17220a5e8a3a034a37f14f6e5ce95123a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcEval False Passed
  • Model Under Test
  • Equivalent Model
9d6b3358861df083e2285e1415145a76e296a380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagBagToSet True Passed
  • Model Under Test
  • Equivalent Model
b0e8c002f213bee1b6c65f69c61b7a92d8288512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagBagToSet False Passed
  • Model Under Test
  • Equivalent Model
a40f4590acb0d147103ad097b6509db1396f0d53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagSubBag True Passed
  • Model Under Test
  • Equivalent Model
eaf7b1c893cf520bf945a62886391040e76426ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag BagSubBag False Passed
  • Model Under Test
  • Equivalent Model
b3ef95115737c61e074f0ca8ae4c2bd2b1f22fa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SeqHead True Passed
  • Model Under Test
  • Equivalent Model
26aec8445a35d70ff9940eb65d46df3003b5b8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SeqHead False Passed
  • Model Under Test
  • Equivalent Model