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 BagSubsetEqBag; CLI Option: -workers 1

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7c2a32cf094b17999dfe6aa702ca0cef1ef191b1 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagSubsetEqBag OneLineComment True Passed
  • Model Under Test
  • Equivalent Model
1fad99f935ccaa29a210f2dc9d80971d03478e5c TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagSubsetEqBag OneLineComment False Passed
  • Model Under Test
  • Equivalent Model
d2a19a353f5692bd1fc26774a7d4704b85609635 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagSubsetEqBag MultiLineComment True Passed
  • Model Under Test
  • Equivalent Model
b2fd4dc68fdaff0dfe92dfd4bfa61ca36dd6afbf TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagSubsetEqBag MultiLineComment False Passed
  • Model Under Test
  • Equivalent Model
b6a76a0c7e664e4a323ff03708e59232d7a86429 Apalache BagSubsetEqBag Let True Passed
  • Model Under Test
  • Equivalent Model
d6b7a982b2f1e30555010acf6d89c2c30d870c5e Apalache BagSubsetEqBag Let False Passed
  • Model Under Test
  • Equivalent Model
5ee85e40d2f33f54284033d7cf1b059db94d7d68 Apalache BagSubsetEqBag Choose True Passed
  • Model Under Test
  • Equivalent Model
7be6f8f475df5b3a99c3bca677c1e33b5896c6b0 Apalache BagSubsetEqBag Choose False Passed
  • Model Under Test
  • Equivalent Model
99fd89fbb9033dfd95690e00bc94e0d83c23320c Apalache BagSubsetEqBag FunApp True Passed
  • Model Under Test
  • Equivalent Model
9d4cd06dd44589676a40a4741b3013fd96826146 Apalache BagSubsetEqBag FunApp False Passed
  • Model Under Test
  • Equivalent Model
c5c64bb46fa7b7b0ae147cb0995236d6692641ac Apalache BagSubsetEqBag Prime True Passed
  • Model Under Test
  • Equivalent Model
edc6cbf73a16b48b5273140cbe65136a56576e45 Apalache BagSubsetEqBag Prime False Passed
  • Model Under Test
  • Equivalent Model
4248db723890664d1993905003c0f3ceb43a1be2 Apalache BagSubsetEqBag Def0 True Passed
  • Model Under Test
  • Equivalent Model
34ffb4ce8e2424741cbe12f43bfb8cb667400140 Apalache BagSubsetEqBag Def0 False Passed
  • Model Under Test
  • Equivalent Model
261d7cef2301c6af623b9fca5cbb5d007b011062 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
632efc756a64f5b84a0e512a0c62fdcdcd683419 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
d8b6c5ecaced8ef28944205a7da3fbd2faadeb51 Apalache BagSubsetEqBag Def1 True Passed
  • Model Under Test
  • Equivalent Model
33d1b1b3bcd017894bb523bee56e763afadb75c2 Apalache BagSubsetEqBag Def1 False Passed
  • Model Under Test
  • Equivalent Model
4c2430aa63bb3bdd1842ed32ac7a2e607237c5de TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
1a16fba4d2ffd9b09264c9c08e4a898fa8248fed TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
ada400d94054ec6839df5fae7d379caf454ad87b Apalache BagSubsetEqBag Def2 True Passed
  • Model Under Test
  • Equivalent Model
c45bb74d072285df93f95d0f4a3774dc3e804631 Apalache BagSubsetEqBag Def2 False Passed
  • Model Under Test
  • Equivalent Model
f29b7083f5f4ba143e055419e3e55e988f33b241 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
c0f9ad7b44d7a18f1b48b2d5d163d93e0b188e57 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
999acc050b055865f0b356b6c3b3bce390b20791 Apalache BagSubsetEqBag Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
e5e3a2ac5bc25b2c3fd7ceef36245f5407d3e2e7 Apalache BagSubsetEqBag Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
ddaa77a265c49941520833152a1ab6a84a598a16 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
bd0585a135fae194f1d07154dd19b0498d3a43d2 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagSubsetEqBag LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
eff029001a44653d3c352665ef5658a9d8084d84 Apalache BagSubsetEqBag Extends True Passed
  • Model Under Test
  • Equivalent Model
a3faa2b1553e8793fa9d0a608faeef4b1c66d637 Apalache BagSubsetEqBag Extends False Passed
  • Model Under Test
  • Equivalent Model
e18374da31f81be08073e52771cbdea7721639af Apalache BagSubsetEqBag ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
cbbafed0ec550cbb75f76684b5d7b0761021e09e Apalache BagSubsetEqBag ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
5340629b38531a1e512e2b15a9dbc707f2d4c909 Apalache BagSubsetEqBag Variable True Passed
  • Model Under Test
  • Equivalent Model
104d746238c0950238e8e144879d9007a6c4c48e Apalache BagSubsetEqBag Variable False Passed
  • Model Under Test
  • Equivalent Model
d7885e829a906ef66d70159f85892db817da1772 Apalache BagSubsetEqBag Constant True Passed
  • Model Under Test
  • Equivalent Model
094c2d72bdf7e20b5364a4d16f73ceb186c02c89 Apalache BagSubsetEqBag Constant False Passed
  • Model Under Test
  • Equivalent Model
5c1f96b51a5d97532127d70ad1dde9df853ec5c6 Apalache BagSubsetEqBag ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
0f32d90c32659aa3582615350c9c529309b88d8e Apalache BagSubsetEqBag ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
07060edac6904072402f221abbe60f5708f23c18 Apalache BagSubsetEqBag Instance True Passed
  • Model Under Test
  • Equivalent Model
906fd8986a6558f41abba745ff31d102c7dcd25e Apalache BagSubsetEqBag Instance False Passed
  • Model Under Test
  • Equivalent Model
015842cb0f4025dd28cc006b2c9d0c44ee6397e3 Apalache BagSubsetEqBag InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
77d648f28f25351d944c612625cdd7359ff683a5 Apalache BagSubsetEqBag InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
a6f401d1c78d374c098824b159e6582dbf9f1073 Apalache BagSubsetEqBag InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
32e37f56f42381b25e96f1631b30352c6eba8ca2 Apalache BagSubsetEqBag InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
dfa4a6137a8984730c6b4060fd632df0fc2a16cf Apalache BagSubsetEqBag InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
e6f9ef1702ab418e67a362ca3d5463c4cc0a3566 Apalache BagSubsetEqBag InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
fe36d4e2fbefa2337116e7cb406a96f258428124 Apalache BagSubsetEqBag InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
220a92b937606a927cb54020e049040ff10f2b6c Apalache BagSubsetEqBag InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
f6c6cceae9ed2fad66620169a15c42c2581c4c6e Apalache BagSubsetEqBag InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
253815d94aee6b127e2af11480acde4988b0bdf4 Apalache BagSubsetEqBag InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
5e3f68aa92c7ae6862137a07779b85e308395605 Apalache BagSubsetEqBag InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
f3b320de8cc620065b1f4565100d65e86e217afd Apalache BagSubsetEqBag InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
4d08c045902d68a1134ab9e3bd6952b4e758a431 Apalache BagSubsetEqBag InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
4059ea2f763741ae209b95ed66a4cf537879ca78 Apalache BagSubsetEqBag InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
05d981eb2a832badc1776666890bd3435b82789c Apalache BagSubsetEqBag IfCond True Passed
  • Model Under Test
  • Equivalent Model
63f2d3ef2bcc3b6ad800289fa2f4775e49fc2009 Apalache BagSubsetEqBag IfCond False Passed
  • Model Under Test
  • Equivalent Model
a65ec76282cb7fe20ebaab41d9f53ee753c861f4 Apalache BagSubsetEqBag IfThen True Passed
  • Model Under Test
  • Equivalent Model
8cda625b52fcae0429ee15b1015659310ee421df Apalache BagSubsetEqBag IfThen False Passed
  • Model Under Test
  • Equivalent Model
3fcc5c807a17a7d4997d4582a289627f3db4896e Apalache BagSubsetEqBag IfElse True Passed
  • Model Under Test
  • Equivalent Model
c1d5dfede4dbad590e1e0ba31abe71d959271c5a Apalache BagSubsetEqBag IfElse False Passed
  • Model Under Test
  • Equivalent Model
57b87131b3fdac2422231aaf8ba310294d92c5f2 TLC with reduction strategy:
  • Plug Feature: TLCEval(expr) is reduced to just expr
BagSubsetEqBag TlcEval True Passed
  • Model Under Test
  • Equivalent Model
698be23b6985fddec8b65776a235baa0affac498 TLC with reduction strategy:
  • Plug Feature: TLCEval(expr) is reduced to just expr
BagSubsetEqBag TlcEval False Passed
  • Model Under Test
  • Equivalent Model
87891bab5c25f9b8c3e6c8d03967cd5cfd16af09 Apalache BagSubsetEqBag BagSetToBag True Passed
  • Model Under Test
  • Equivalent Model
24075a57ec7f619f48e055fa37c60670a3b9b379 Apalache BagSubsetEqBag BagSetToBag False Passed
  • Model Under Test
  • Equivalent Model
ecdf09d2b8d8abc705765257731013ca9c62837b Apalache BagSubsetEqBag BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
b22ab65b5a6f3bd12dc558ca311e0a36cb64e14d Apalache BagSubsetEqBag BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
b7fa955a21c9de87fc01ed28cf19b677a884d5ad Apalache BagSubsetEqBag BagAddBag True Passed
  • Model Under Test
  • Equivalent Model
abbc722ea95534af760e51898e442ddfe273b4e4 Apalache BagSubsetEqBag BagAddBag False Passed
  • Model Under Test
  • Equivalent Model
f52a3447ad8420ba1dbdcec7da13334145867818 Apalache BagSubsetEqBag BagBagSub True Passed
  • Model Under Test
  • Equivalent Model
8f6702ea39d337ebcbdeed9b7cf782075e25cf4d Apalache BagSubsetEqBag BagBagSub False Passed
  • Model Under Test
  • Equivalent Model
9bdd0c37bc49d0797a8f6d7ee430a2b7d5514796 Apalache BagSubsetEqBag BagBagUnion True Passed
  • Model Under Test
  • Equivalent Model
619b45b0ead0064f3c225097e51697c0f9227554 Apalache BagSubsetEqBag BagBagUnion False Passed
  • Model Under Test
  • Equivalent Model
0f6d5dfac52d235cdf113ba251b33f4703b0d82b Apalache BagSubsetEqBag BagBagOfAll True Passed
  • Model Under Test
  • Equivalent Model
e94231aede2ba0cc78f72ed9ac548ef4ad95624d Apalache BagSubsetEqBag BagBagOfAll False Passed
  • Model Under Test
  • Equivalent Model
a5e4305c6afc59713c8fad729a0bf37aec5fee3e Apalache BagSubsetEqBag SeqHead True Passed
  • Model Under Test
  • Equivalent Model
c3bd0f8a5c4170e8c57acfc3a760483296e213fd Apalache BagSubsetEqBag SeqHead False Passed
  • Model Under Test
  • Equivalent Model