Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
532273bbac55e8867588f0af0f440c7ba7048364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Let True Passed
2659acfa59d48ff3562b3a4eb3b97c06baa05769 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Let False Passed
452c9d2b2d623d615f4e7e41407c9f19143ccaf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Choose True Passed
078123f5f8b2248ded537562080052276099534b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Choose False Passed
fc8f30523ebf03230e4b1d6202625ad9f257078d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Tuple True Passed
b1d3d7a6c0217fe08df8d4cf44157e0063ab01a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Tuple False Passed
ddc47cc45f94efd9e28b72475527622ce1f1e076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TupleEmpty True Passed
29d3114a1bd3b04282e3fd55b1f7032ec186c893 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TupleEmpty False Passed
52a5a87b144ce58899cf9b5dae0c537444a4fa22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat FunApp True Passed
dc8c6bb70ce2b52d767422958169e81e4ab27408 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat FunApp False Passed
7931d1eb1332009c8c15b884321684f5cc9983f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Prime True Passed
d1a84cfd2ea813ed2a0c66e51b351b852e1ef278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Prime False Passed
2e51dbde34345fc38e68ebf8d78835e5566d6a61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def0 True Passed
ce6b3a3c68f1c2cfc22743c12258027541cedef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def0 False Passed
886f50eddf5793317b5dd2bbb45c34ea7c1b2a31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef0 True Passed
c14646a6cda9e821d3232da5a747fe999aba8743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef0 False Passed
c35563a3ae3681109ab8712713a47f84228a977c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1 True Passed
7b6bdee720bb4fb140ef894b30d48618be5dd0c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1 False Passed
f4bee620172cb23e614f429caad837e978f19b12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef1 True Passed
56b956bba5fe6bd9c669d918d1e4c592528a9196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef1 False Passed
a26a5ee97eab300ede68673cb492810da0f4a49b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def2 True Passed
21177a903758f0c52d0d25102a4cde1f587dbd50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def2 False Passed
d70e4870d85c6c3fd4959a76c4739ecc3369057e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef2 True Passed
7c5fee40742c9a5b14c73c376f4ce9e6735d67ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef2 False Passed
6dff719da94d56bdcde802ca46960e07f2647b79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1Recursive True Passed
368bf1e80282976d004bf6742188829d70ac5f3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1Recursive False Passed
5eaf42a37a778b35e56b46989084f44e71cfd154 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef1Recursive True Passed
fe52c25d4310a3457c017795ce54aa8193c92375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat LetDef1Recursive False Passed
bae5937d864526709967d18d7d39909724b03e86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Extends True Passed
535039e6bb5fba20398811c3b371dbdfd8017258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Extends False Passed
7c9c2573ab77c3af7d8f537dd9cb490158db17d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder True Passed
8b38e5716cda6aa363efbf0025320e57328b7dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder False Passed
b985cd0b343f1c6c4ba2110a5662c9818e1f3325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Variable True Passed
34be535ac6a467f06de3e864b0ebf091ff0a2004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Variable False Passed
bc47bf1631279ef02552f325669696fd5ea1dd74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Constant True Passed
2da272bab8947b49b81462abe59f5e3b5215263f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Constant False Passed
0fc9d55e281f872daaf09c1478c8779e834298e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ConstantRank1 True Passed
53bbf5424a86c13c2f2d43a9b24678d3860fa93d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ConstantRank1 False Passed
460cdeed15f39524f7a60bf99156ac9888f173b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Instance True Passed
7f87ab58670d2217656d69538304874ed2af4089 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Instance False Passed
b34f3ff1fb3eeadd0e9a854eecfd4930950d475d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWith True Passed
47c3c164910a4c93a243d07712393621f54a17fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWith False Passed
6ad16f09401c60f4e4465c634b5012fdb74097af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamed True Passed
2edd5f7e9020e39cd19d6e08c71ec4821e2e491a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamed False Passed
1afcacb1a37ba3fa688480dcf4a0cf9b1ef22b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWith True Passed
fa8bcdeacd0edc11e462f4ff01b2a461928059e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWith False Passed
c8c9bce4b9435ea5e2e265a3d65d5d5fb96e6359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceInFolder True Passed
d1bf9cbbe8d65b39dc005390fdea2389cf153ec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceInFolder False Passed
c66177db9a7e230d0ded5a057a9f7c251baf14d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWithInFolder True Passed
78de6626d83f4588016e8bff43aafc69b72d608f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceWithInFolder False Passed
7e532f5cc09b056254e25aa2730a14e0327ccb09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedInFolder True Passed
865caf3d8093e5914b55550afeb5ad2bc183c007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedInFolder False Passed
f60ca46399cdf09b906ae7ccae9a0566ef174adc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder True Passed
2bf21f16d618813431099bda76465df870e3c1ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder False Passed
75bda6f2d81dbf86643e63dbcdd1f5f69d2c2373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfCond True Passed
c896c64a5a32c73017f31034779c6df507a1aaae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfCond False Passed
98ebc3100021d6ed545d7dae567aab1d7e5d126e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfThen True Passed
be81b118106541b3647f6abe2f2412a90b6247bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfThen False Passed
28710fc566ba0eb76fd7c1ddc388d594c600e339 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfElse True Passed
42b0041b265956aee35c25c455e9b544253c4fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfElse False Passed
5e4686f82d760da9cadfe24556dab46ff5f5ac7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat StringEmpty True Passed
a7e6504c01d3910566043461a10b9106fb361985 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat StringEmpty False Passed
07dd455deafa4ca30778a1c962caab3d44b1350f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat String True Passed
7ab7c1226a87361e6e01f992444e14b275edd626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat String False Passed
d012f17196996c4db82a972119f95effa18ecba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqConcat True Passed
60112cc320a050939b1a1713c36bb5c0a815b15e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqConcat False Passed
fbae734ccf766272bce0b9346b0b6c80e9897d1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSelectSeq True Passed
1103a644dace7046ddf9122d2f807861962cc2fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSelectSeq False Passed
4f75d5003af4d625819e14fc0605fc8e15cf35bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSubSeq True Passed
37ca2b013b467192dffd861183ed4c1ff3ca6078 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqSubSeq False Passed
23dbffa9c724be432376d0e244ed70167bfafaa0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcSortSeq True Passed
8abfdbe250477829773a0e7377a063ea64c92c2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcSortSeq False Passed
75d7d34348d8f58b2e479c430ed75724be0b21af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcEval True Passed
2c552726cfd42b7f5530cff95b0f6c63a733e0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcEval False Passed
00112d3ee556bfe93622f8be2586938ca1003899 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqHead True Passed
dfe24d42d7b7944682a908d63166c2eadde80263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqHead False Passed
3b3eaa5ecda9be2740644a62e9ea44aae7385737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqTail True Passed
a3b4733afd21156b129539784a6572639186ad91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqTail False Passed
070411ccb37a16c90805713fec3448425dc7e575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqAppend True Passed
56f538678c807771fd607e03fe5eaf9411eca7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat SeqAppend False Passed