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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
65551d195b81fa994eb8a1ae36db5469fdd8e2f7 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagBagSub OneLineComment True Passed
  • Model Under Test
  • Equivalent Model
43f01762fa8d51f510f72b0f71ddc4ff0fe62f7f TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagBagSub OneLineComment False Passed
  • Model Under Test
  • Equivalent Model
cceaeb21bd3a10d112abcbf4ee12a9bb6c2cff85 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagBagSub MultiLineComment True Passed
  • Model Under Test
  • Equivalent Model
fffb3804321f7347f67e893cac106e294c3430b8 TLC with reduction strategy:
  • Plug Feature: Replace spec with the same without comments
BagBagSub MultiLineComment False Passed
  • Model Under Test
  • Equivalent Model
7bbc1c1cb749b8b46b8ab0711dca2b01c01ec229 Apalache BagBagSub Let True Passed
  • Model Under Test
  • Equivalent Model
3bacd82867af22fc43961e134eafe30ba8b24d12 Apalache BagBagSub Let False Passed
  • Model Under Test
  • Equivalent Model
286113d092a0818f6e35dca331fb8ef16745d4e0 Apalache BagBagSub Choose True Passed
  • Model Under Test
  • Equivalent Model
70d6a11324bed0b9c70683b30ba86ae28bcc5ab8 Apalache BagBagSub Choose False Passed
  • Model Under Test
  • Equivalent Model
461959f5a9c61407e45c86b0ee978df494fa5333 Apalache BagBagSub FunApp True Passed
  • Model Under Test
  • Equivalent Model
5430459ee2687c0cecf71420c1089f126e2351fe Apalache BagBagSub FunApp False Passed
  • Model Under Test
  • Equivalent Model
9918b5cfc55607839595e3b520dcf144f4035552 Apalache BagBagSub Prime True Passed
  • Model Under Test
  • Equivalent Model
c47f66f87c74780d69823594a700c7fb15fe2d8f Apalache BagBagSub Prime False Passed
  • Model Under Test
  • Equivalent Model
69a3d9f06be7dad4b04e638fe7e94e1fb6a1308e Apalache BagBagSub Def0 True Passed
  • Model Under Test
  • Equivalent Model
34de02ca27054794860cfdf1672f6248981c8662 Apalache BagBagSub Def0 False Passed
  • Model Under Test
  • Equivalent Model
909c4c22b62c7bbc2f3c26b12775204122ba7d76 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
79f5f0ff4be18c08d6253fdb6ed98c5f5ed37cdc TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
a211b295a35e8463862c0b6d9f5812bab836b89a Apalache BagBagSub Def1 True Passed
  • Model Under Test
  • Equivalent Model
2359446310fb3cf243843a98ef228bf3b89d5628 Apalache BagBagSub Def1 False Passed
  • Model Under Test
  • Equivalent Model
bb94a2017bb8b25a693550552f08e956dd60b6d6 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
e25a1cba8467f0e66c704655b2d57b2e4be6c5df TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
fa12f64e3b8aa820a300106f6cb5ebcdc3a4a87f Apalache BagBagSub Def2 True Passed
  • Model Under Test
  • Equivalent Model
a8322ee7805329595b70cb2bea92ca14f99c51c4 Apalache BagBagSub Def2 False Passed
  • Model Under Test
  • Equivalent Model
8db7de91bdf2148c367466e6351ce5f4e0084e38 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
417235db93f94391971535488c341cecb2650244 TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
9ed01d36d4e2e72b45f00f4226e12835aa1e6369 Apalache BagBagSub Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
732915111ebaef2e27c225c269df15647bb1b35b Apalache BagBagSub Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
395488641163ce3f9bbb0262157ddcfb5393b86e TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
2c53ccd3730acd6b8f1c83c7dcf8f9a9744b788e TLC with reduction strategy:
  • Plug Feature: LET definitions are reduced to global definitions
BagBagSub LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
8f6ee2441a30227769391f2a9116507926b5bb2b Apalache BagBagSub Extends True Passed
  • Model Under Test
  • Equivalent Model
7eebb734cdfe9e54fc44236f0f005ce3df5cfeac Apalache BagBagSub Extends False Passed
  • Model Under Test
  • Equivalent Model
6d0dbf0ca3fc6349a71420af7686729a39b6c2f2 Apalache BagBagSub ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
cdffbe9ae0b14a121a45cd7f75cb1562dc455b6f Apalache BagBagSub ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
443a623171843832de85bbc34c48d78bd767e2a9 Apalache BagBagSub Variable True Passed
  • Model Under Test
  • Equivalent Model
978ae4b60a561d9ee44b377c21cc4e41e5299476 Apalache BagBagSub Variable False Passed
  • Model Under Test
  • Equivalent Model
535e88e5488139e7aead6ed5f2711ff403bc043c Apalache BagBagSub Constant True Passed
  • Model Under Test
  • Equivalent Model
1607977c4ff960ac17dd6562735f97dabc952a7b Apalache BagBagSub Constant False Passed
  • Model Under Test
  • Equivalent Model
3fece4a0ace37b4eb3193b2e93f7539d7ec2d07e Apalache BagBagSub ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
925c68a0633b94a299cf691de8d74b4e1fe192e7 Apalache BagBagSub ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
4b2652308aa452a32c64387fa724b02a4cbcbd86 Apalache BagBagSub Instance True Passed
  • Model Under Test
  • Equivalent Model
b13e40f53a1ab356128d15148ff3b6c6b045260a Apalache BagBagSub Instance False Passed
  • Model Under Test
  • Equivalent Model
72369da98ff797f96ffb0bbee2b79bb15dcebda6 Apalache BagBagSub InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
cc2e3e9d531e70b394ca9397dde8add48af8a53d Apalache BagBagSub InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
b95d276d828a6440048c0185d191d14b04b523d6 Apalache BagBagSub InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
a03ebdc7eccbc584e0569da9982b6fd49e8a27dc Apalache BagBagSub InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
3ae226248b05d4df8a77cdc28255870a8028baa2 Apalache BagBagSub InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
b1860fbcd6204091eaefaa7c48d533fef32dbc61 Apalache BagBagSub InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
1a98969576b61e01d5f1698de377091b22241e04 Apalache BagBagSub InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
f970f0d86ddd36cfdea4e781a3697b7fb90154db Apalache BagBagSub InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
1c2c5562a0c3dc17efb63bf8785dba6dade18744 Apalache BagBagSub InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
6c77cdd9e7163cfdefe71786f8a1a77324f42a29 Apalache BagBagSub InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
1ea2cfe7f1562e4bb48ef29902bc7c2a74b255f6 Apalache BagBagSub InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
4262fd316a53e4c1d866c0133f51ffd3eba58832 Apalache BagBagSub InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
8e0e415346e6ea1802f7cb07a5e5d4b5108ec16f Apalache BagBagSub InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
3e3fd6552693f90c44547533eace8feaec3dcf74 Apalache BagBagSub InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
96004a7a0bfa86a1912d05fc39c68f3b7a483361 Apalache BagBagSub IfCond True Passed
  • Model Under Test
  • Equivalent Model
c61fb01f834f27c6d99966b6309e9ea8cd93d7e4 Apalache BagBagSub IfCond False Passed
  • Model Under Test
  • Equivalent Model
0ef75add33f92b3a1e59587b32d688b3c95b0c4e Apalache BagBagSub IfThen True Passed
  • Model Under Test
  • Equivalent Model
59dcbfe26f385bd2d8f71312dc33ae8029ea5243 Apalache BagBagSub IfThen False Passed
  • Model Under Test
  • Equivalent Model
dd0bbb97fbfcf8bf5402f80f9c5c991a87418da8 Apalache BagBagSub IfElse True Passed
  • Model Under Test
  • Equivalent Model
e391216f19a354f8eb8fec685623acbb1ec6003d Apalache BagBagSub IfElse False Passed
  • Model Under Test
  • Equivalent Model
a59eaec5c9b77c15e2d251c19598dcd6c30512fe TLC with reduction strategy:
  • Plug Feature: TLCEval(expr) is reduced to just expr
BagBagSub TlcEval True Passed
  • Model Under Test
  • Equivalent Model
0984bc73275f6666cd8fb8245b6db78b5e07da2c TLC with reduction strategy:
  • Plug Feature: TLCEval(expr) is reduced to just expr
BagBagSub TlcEval False Passed
  • Model Under Test
  • Equivalent Model
15525737fa036738b717b84d58d1046f3797fa1d Apalache BagBagSub BagSetToBag True Passed
  • Model Under Test
  • Equivalent Model
3a86b31c29d9bd492d0e976811b2b3b77c77785f Apalache BagBagSub BagSetToBag False Passed
  • Model Under Test
  • Equivalent Model
b65ab01e0857900bd08bd24be9323a88f934c9d3 Apalache BagBagSub BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
367d58040eb2c794f24afb546fc180fbcbc3917c Apalache BagBagSub BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
f4703045e6c47e1e7923cb1ded5392086cd2856b Apalache BagBagSub BagAddBag True Passed
  • Model Under Test
  • Equivalent Model
8a68c7c78f96b1e5b4c4248dfd344f7d88a8f4e3 Apalache BagBagSub BagAddBag False Passed
  • Model Under Test
  • Equivalent Model
c979b078d51a3e1574de96eae0219a75b0d5cc08 Apalache BagBagSub BagBagSub True Passed
  • Model Under Test
  • Equivalent Model
e9f0992cf1b6dbce1a403ad63b9627342e94fba4 Apalache BagBagSub BagBagSub False Passed
  • Model Under Test
  • Equivalent Model
c278dd4970eeac928a3b4298b29ad286ce3f5d3e Apalache BagBagSub BagBagUnion True Passed
  • Model Under Test
  • Equivalent Model
9878345c3df0e1b0a8fd6df812219819183aec97 Apalache BagBagSub BagBagUnion False Passed
  • Model Under Test
  • Equivalent Model
d0fcb363b041eb40fe7c4aeb336567feda19df8d Apalache BagBagSub BagBagOfAll True Passed
  • Model Under Test
  • Equivalent Model
37b79e418178693f651f209a3c715ac8bdb44c16 Apalache BagBagSub BagBagOfAll False Passed
  • Model Under Test
  • Equivalent Model
a13bab5a8182ed9748e6b25ddd4f85e47c7280c6 Apalache BagBagSub SeqHead True Passed
  • Model Under Test
  • Equivalent Model
98da7c2c0aeda42d41638daba40c4e2b2966d534 Apalache BagBagSub SeqHead False Passed
  • Model Under Test
  • Equivalent Model