Index

Tests by case feature SeqSelectSeq; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b6d11e23c24e663b86ef3d2862139b0a49879632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Let True Passed
4233e2a24cb314a8851beda0254fc65c74b9623a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Let False Passed
aaa5a4ea00a42518f15ec29f07d578acfbc08f1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Choose True Passed
3a04f653e87a5703971708f405cb600b1e963838 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Choose False Passed
0f0cd25956fb6b1c6abd0f4117ffd9a002ff0430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Tuple True Passed
655131069af2cbe795148a81455319f61a1ea144 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Tuple False Passed
8afcc95e12e1d5b7ec782bdc7b0c218e8de6031a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TupleEmpty True Passed
2eeab215e3202782ffec24336daf7c67da144ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TupleEmpty False Passed
8e2abc2f62875534ec1d2e420b0390fefe88bfe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq FunApp True Passed
6be07e26362551550410bde8f1d12ddbb63334b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq FunApp False Passed
6c2936e89108afbdcecf5f444ad25df3ed986058 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Prime True Passed
d7322261db8d75a0fd324de022b6fbc20e22594c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Prime False Passed
66ac638bc8075b5618d87c48cf60b91752fd36ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def0 True Passed
1fb5b55c60f1857f92fe48063e4c6974ba2df7e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def0 False Passed
d7af4301fd02ec8391e12bd70715b11f0ac44e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef0 True Passed
6af45a072f175274cce12da99c69857a43c2f297 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef0 False Passed
ac50dd7d0d164d31d2ededa04000a12d24b3b451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1 True Passed
076383afd64f4fe4abe6a39cd599b6e49b599557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1 False Passed
a78146370900f28be7ffe2239f0f9e9d359b25f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef1 True Passed
d08b3d7397e8ada655d36ffbdf26e2512a69e07f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef1 False Passed
a9fe91ee935fab6b423de6e526908a132f46cc03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def2 True Passed
911ac33c3fdc8511331a0c120f705446e0a1f6b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def2 False Passed
c050db1929f10a94bd661a15d7c920f40b3c91db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef2 True Passed
415fc2d6f4910c2da22f919168c8daa61da0eb04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef2 False Passed
81a417945847555fb0c7abcb23107851284f8325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1Recursive True Passed
8070cd96da386d62d982f431c8e54ceee1a4a94b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1Recursive False Passed
fd9b76af0fcbcd4aba6a0f8b92a4fab285c11d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef1Recursive True Passed
d14fbabded72ea61f14ad2d14df20871f064e29a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq LetDef1Recursive False Passed
31f5153891c341920de444a67871baf7dae2b862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Extends True Passed
d141b68b774d83d605cdd2e41973c1101db57953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Extends False Passed
00774b821970ff532502acce6f9a2ed5fac9dfe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder True Passed
45926fc9667c260860b0f2e03139c19c1b209d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ExtendsInDifferentFolder False Passed
6d564cb54eb08947af878675e1b2dcf41973b625 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Variable True Passed
fff6e6d8c380a8167ce8bbccf03bb85399b3086d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Variable False Passed
f6ade84ea41a2d444fa1aa27b6060ad2d2bf73bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Constant True Passed
59bcad759e3968e63eb2606717f6cd772daec17a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Constant False Passed
87d926e287ab96cf18632f988f106f1c08fe558d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ConstantRank1 True Passed
d76fe635201ed458d2076e2c6bf99cfaa634501b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ConstantRank1 False Passed
958f69123ab1d9afebc5cf5a6b3c10f67f8f5a58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Instance True Passed
6bc1614d68dbb0f89b28073283f03fe25f692978 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Instance False Passed
ebf98ed818ad362c1058650603319055c2fec3ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWith True Passed
c04aa9d665c88eb96e8a151762960419531179c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWith False Passed
29c0aeb93b285a69714f04f987da3e2226430d85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamed True Passed
c11d4d0a8ec263dd38fa96ffa8fb7d0912575d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamed False Passed
742065f1a5636c5ac91da33c6567ca035ed8a732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith True Passed
ee8ec53deeeb129df9965432a03e1333224ff826 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith False Passed
d1982412d7f91f9c3c54372dd78bc5005b305455 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceInFolder True Passed
c0f6ea81c882f8399d4b86f5f8c0be08bd44ef5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceInFolder False Passed
7d1b7955ab6105b951f4125529a070e809f4b166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder True Passed
0cef1fec581dd2aa27f9e6466687b0114b6a3e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceWithInFolder False Passed
9d0ddd4f6c77970b21eb2d7689d3ccc7aa2e2375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder True Passed
63509296f639d825f997ab3fbfff0b6a5389b4a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder False Passed
d210dd67aafe7536b352ff914914f320ee602349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder True Passed
caf3e2c6fc4788c97c5670373f57ddb9e6383836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedWithInFolder False Passed
fdb72251c1e48d6ab1dde0497722427c5e68ae0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Lambda True Passed
a627d5384b0901a305bf2b4baa518e81c8ea82e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Lambda False Passed
ee7c755255508b53931b38ff9c5e98f8685e31c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfCond True Passed
70d44968d08e31560c5007bf925c2e59377ea677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfCond False Passed
41c3ef67c6f6450bc6b063c7c12479f5f92d4c9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfThen True Passed
2a42226915e19e35a5229f916e32bd2ec8a7f61f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfThen False Passed
f6dae7ff303f13fc6555b8faea4f040a6279e8e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfElse True Passed
5016fdb08a3a4f4bff3b24bf2b71c43957ec774d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfElse False Passed
141aa4e1dca78ebf303b4d7cbabf3fc284d26e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqConcat True Passed
9895d9c26b2717884f0b6115dd1dbdb048e4aa37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqConcat False Passed
a0c7dfaf6b7477610ede5476ec90424d6e684835 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq True Passed
80954b711ae3282015756fab096510d8c5bf2588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSelectSeq False Passed
160d1e12e42c7288c0f8495cc15dfbc06e0941ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSubSeq True Passed
1fdfa778e25f7fa0ce6699e0579fca48c23eb2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqSubSeq False Passed
d5fea6182951db3459a0c7cfc44ce73865ee93ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcSortSeq True Passed
69ed1166ade5589b1a3ae468b2832ec25d341235 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcSortSeq False Passed
3b357eefe033ad897d92cb9414ed24f6907b984b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcEval True Passed
3e3a778bb5ad9ee403839825530b5a408bba253b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcEval False Passed
8a2de71d7ea7f8b9d78655a4f4012c401dce3d3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqHead True Passed
5b7c47a42093fdf98026b12855296fdfbe7cc8ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqHead False Passed
39187b03f701336a3da94034c12f5fc941b350a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqTail True Passed
8805413351772f98e5c056fd13c4d9baab0f0d48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqTail False Passed
e0577812fce7bd09874b6e38f8311b1a97cda11e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqAppend True Passed
13332630dd1b30a504a6a1ffa7bbb637ecc8876c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq SeqAppend False Passed