Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e851b3ffe6f18165e21a13406916a5efb75fa5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Let True Passed
3a879e6d14b37b8aef0e0aefeb38e06004947c69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Let False Passed
d1a41d9973a631c26772739510bdcb3b5f8e5763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Choose True Passed
3f64225320f38a479a380b665112c9f975d78ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Choose False Passed
24e05e271c365c17f3f7ea85245b2007ce106422 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Tuple True Passed
ad5619ad55c4cf4996f5b8938c0bb096b9fc3ce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Tuple False Passed
d1af548e708254026cec94a9f933799c58f68110 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TupleEmpty True Passed
31537e2e378f5bcffa929b13919354f085475c59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TupleEmpty False Passed
570dad6ef6e9bd9736f05c4eb81513a359a83163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat FunApp True Passed
aa06ad9519cfe3295ffed5716244d0472718fbbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat FunApp False Passed
ed550105e14161d59e45db0dc7a0d94a625bec57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Prime True Passed
ffe95850359292118f2f8a8eef43cb1b7530105c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Prime False Passed
b80b5d793627d4d7a86272431c552deb0db06626 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def0 True Passed
8abbdf0e10ebd925b5739333faf0d4b7cfd84e9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def0 False Passed
55f0a3eee3643e1736a4575e58220c66c836d103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef0 True Passed
1c180026bba90becc5d0961f91ad06cd420dec27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef0 False Passed
0a022c8b7e6dfb29386f258520032966acacd3bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def1 True Passed
e48b80ccab0e85edbdfebb5074d46c71d974599d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def1 False Passed
8b3fb3fa3b9f30dffa1bb0e23c78e84225bb11e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef1 True Passed
4dcf18c907c669578d0cb90833fd511272c5027d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef1 False Passed
815ded791deced91e64cb8716518634692d2326f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def2 True Passed
42539edcfe9e44a278bf0d54980b6ab01f7cd6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def2 False Passed
dc885eb3855060d7393e3ee82d74be4790c91c8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef2 True Passed
d3c0eaf945e9ec2673547acb8db74fd27e1250a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef2 False Passed
94a1a628507f5abda4a019e18ecb0da0b3877cbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def1Recursive True Passed
7cb27377e5a3d064d18495120491661103e6527b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def1Recursive False Passed
7d705d14640c0a48ce6a0507dad91686ed8ce367 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef1Recursive True Passed
050c4a06c2014f67e262f278b8bef6737426927f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat LetDef1Recursive False Passed
c82059471a8a74e41ff02934ab5a3eaf0d59b7e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Extends True Passed
82891719f8582dd5bf060e7e0be4fdfe1c572b0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Extends False Passed
db187a58e0a510bba94494bf63d7235da906ab5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder True Passed
ac886f6f28880ffb268b91c83a3941d9848c6201 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ExtendsInDifferentFolder False Passed
e3e8d4f73dedad09ca443e15bd0434169cd21068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Variable True Passed
d559769e7729e5e822fa01f6d0492d460e63f87d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Variable False Passed
2883de17c1c3e494d1a836efda52a3c37a41a3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Constant True Passed
f25022b75befa4e1b3341833eb6c6dc609be263b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Constant False Passed
b4d74d29cb34405e09d0b75fb8fa24a37499e69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ConstantRank1 True Passed
c66d0cdf0e711e3aec1ce1ff1b8350b04e7556e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat ConstantRank1 False Passed
a150cfd3179bec16ac7fd4857d4f2aac6591a3e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Instance True Passed
a91c509a3aca711b87456a0e1a1793a5f8073924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Instance False Passed
9e540017bcf74682819bc35afa50afbb3bb91ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWith True Passed
274aaf1b58948eadc7e4f46743f7785b7d4d7e70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWith False Passed
88cd925d1793cadb4cd1344e297580d189847ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamed True Passed
ad499c093bbddf751a2fe13b3e128f44cdf0593a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamed False Passed
e906264c00a1da969b6a2c40d893af09a8d0749d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWith True Passed
5fd923e73fd82063028a810bc290ee899a89d821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWith False Passed
7cef346d8dbe7e4b09e5f3befca1cd78b712e970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceInFolder True Passed
a31b9807da316be068e8347bd4baa41754da347d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceInFolder False Passed
4f57acf50efc9211e561912d234db15c3766ba12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWithInFolder True Passed
f9196a3dfb4061055fc11105cdf62018e9621c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWithInFolder False Passed
5f3bb68051cef1f0aa20ed02b152394bdfca93ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedInFolder True Passed
8a38929bcc0b520f45cb92147105ed58a14ffeda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedInFolder False Passed
69efaf6a21d0cb6b7d1f762658b145b8ce2acbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder True Passed
3a92b99bb16c897635614844479f3e29de47d74b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWithInFolder False Passed
41f0c1ae74a99289f2c72d09363d3c0e3cffffcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfCond True Passed
670b6eb90eeeacada39331c70809dbcf2b35dbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfCond False Passed
4f8cd4244f789eab9749ad7657ad53cad19a9479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfThen True Passed
d68f7fb9593af76c51aab02a9445be795a4de946 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfThen False Passed
5d5cf423face240bf3513a0bb22e200fb04b7004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfElse True Passed
c6b88ef6652f13f338882e19eeaa662e6aff5867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat IfElse False Passed
9c90fdb43891346c5553e10294c7d97be05ae6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat StringEmpty True Passed
ace95fbd84bad729be661a2a002fdc5101953b18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat StringEmpty False Passed
f01eee4301b78df83ba0b8da6cfd2973ecc746ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat String True Passed
63f9a085a23c2e603ce5297b5d81fe236f5805de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat String False Passed
6b71e6efec52fe3f5bcd1356101ffa86970e2241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqConcat True Passed
9faa8bca110358b0d6cdfc6c727d219da6e660c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqConcat False Passed
66a5114258575c6e92fa55e93070f9377073c8ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSelectSeq True Passed
a05cd32c8749ad3b2cfe52e4efad491b17840b1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSelectSeq False Passed
862b04f8c154802abf6fcded4a940127cde4c7ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSubSeq True Passed
9033c83f6954bb76a1eaf0306dd3cc68ccef1ef4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqSubSeq False Passed
c2fca7710f7de037eaf5b34918ad6ec81918cfef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcSortSeq True Passed
e3bb9f682f2c1b37112a7d9a8fb767c8fb67694e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcSortSeq False Passed
4f79d8eed40ada03dafa7522e1554c26734c790c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcEval True Passed
37749a67b82c795a1b873c68204f9c9010aaafe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcEval False Passed
a5e938ecbd415bc6dab99d54f65a54d8d462ac58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqHead True Passed
6039642de2b6a59e75417d1e42df5155d97093f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqHead False Passed
bbea87cd6702d713bd50f8b68bb705f09bb60c51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqTail True Passed
2f47a45cc92cdf8bdf7a0a9138d6d155e4f9f9fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqTail False Passed
abdf153b8239d1453c63e9adc4042d5fa05240f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqAppend True Passed
413f5c161578fa3bf92707700f886cb45c79ee55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqAppend False Passed