Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e32cefefcbcdd9da004f038e271b04683d44ac86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead OneLineComment True Passed
979f5ec3558313506030b228fd0bdcd8ded57957 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead OneLineComment False Passed
bed95caac65ea8061b073517013ba685466d1b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead MultiLineComment True Passed
2eec9db62cf4fc5eba5318bd35fd712608f70e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead MultiLineComment False Passed
12d5fb6ce242b19965bf31c03ca522d24353dbb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Let True Passed
a5375780b83ab24a02e1db1451ee989fdec03ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Let False Passed
71aabef3dffc8ff92a8fe62beeff2b70f80a5366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Choose True Passed
8a7308fce1b23157c0b090bab9a10b3b32091d85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Choose False Passed
973be35125dc0466ae04ef6936bae7d6f11ffec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Tuple True Passed
915c301e62293ac1d15aa5212d24c72f5a89c853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Tuple False Passed
aff8d71fad961d30c0c0dd668493878793c49f20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TupleEmpty True Passed
a29ee6573ffb3504a2835914db93ced420c67d3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TupleEmpty False Passed
a5587229883b924b12dda36f088406aaa36eb75a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead FunApp True Passed
e0b2e6b923e386a1ca84c8758c4dc5fc664aaee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead FunApp False Passed
957a09fc6abae013c100ec274cf2013714ab442f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Prime True Passed
6aaa86b3cdfd62a4639732073beda326641a39eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Prime False Passed
ee721c921caa3a86482a60a7d1ab1d8c9a879cad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def0 True Passed
ddd0fbf7faee228eb63b7369215df76e01607434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def0 False Passed
d150d9544ba2671d4cc146c91afab6bed179c618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef0 True Passed
421f932069c32573d41973f522ef926d7f10facc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef0 False Passed
2a2094f7e03b65cdc370605e03034e6c65daf217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def1 True Passed
e42706093ddeb4b6bb6308776d0c7f559e1c9bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def1 False Passed
9d1ab07e9807530213a22b0829a45fb2bbe71846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef1 True Passed
818914aa4794086ba056172743ef3d5241feb1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef1 False Passed
6c0a4558cdb27a900b2b2137fe1de353fda8beb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def2 True Passed
c2bccee51ea5914b89f76ab7162cf1d2265aa384 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def2 False Passed
0d953b063261360d6e5cb566dc8550fb4bc63071 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef2 True Passed
d5fea2ab4fc15c8e5d70d27f6a2952ef378bf3d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef2 False Passed
f12b38f40be5761953d3ead30ff60ba89206e780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def1Recursive True Passed
90b743fa60a0839271541e613dcbed021105e297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def1Recursive False Passed
cdd2d38b000f0fc9140c5cc40821051942d08f0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef1Recursive True Passed
afba9972eee181c628c65cba078cbd71c5ce851b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead LetDef1Recursive False Passed
23f08f78ece9c580275fd15a975bcfc89cbb192f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Extends True Passed
7fbf30127293ac078e897afade9a4427aaeb6ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Extends False Passed
9e7e28ad5f3b96b16a38381cf446d939c3bc488a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder True Passed
e4b8cae4c3f59a90108d2aacfbd2a26ca908f39e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ExtendsInDifferentFolder False Passed
2a1be1587c7e9e40026255ae2b03f4b821bedc29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Variable True Passed
ae735877730c53aaa75ae41f50a022f4b497bda8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Variable False Passed
955537d2069b63f51d5cbd97ede9853d25fa7680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Constant True Passed
478c6fa229faef1fad89c395491d6b468a17a424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Constant False Passed
750930b1d0fe6ec9e6dc9446f05d1e4b52e8eace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ConstantRank1 True Passed
983095e7f83ac56a5819fcaf7c2d29f04cdebc20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead ConstantRank1 False Passed
cb35b596de0661b0bfd7b237e9d7540cb001bf2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Instance True Passed
ce715e4cb56a07419c6fb2ab715ad38ef60c52e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Instance False Passed
cbf4971783549a37e6e16d6ca7d871e415ce394c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWith True Passed
7af7555833aa6fd75c863fe033ed48e24ecb7140 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWith False Passed
5a982ab1b9d2424620923bad13d7678719ff4e5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamed True Passed
60782c70b7acaf57270408ff34e69b6c94ecf445 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamed False Passed
a9e309d6df628403162b36d8c8fd3110deeef81e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWith True Passed
97b7f489075a462bef82da60bf7bbe29f694a67d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWith False Passed
76f56a746510921a82058a057f87ef0ba2553f88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceInFolder True Passed
feab49f97590c74a29ed3ae02d4c4550d6df7852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceInFolder False Passed
b72d0965f2d926beae70a5145b1da0ef223126d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWithInFolder True Passed
22a00c41f107c2b4f3d44efcc43952e1605db76b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWithInFolder False Passed
255cddea9124bd753e11e77cca7969715e1aa9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedInFolder True Passed
743571bd947b513d8db1df579bd33412c95356b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedInFolder False Passed
93f7a3365c85d5cda6c8c646c48c3e9b208d19cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder True Passed
b0825c47e29799860000bc3e8bb415dd238d4cef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWithInFolder False Passed
8884759cdf68b57e58553dcb607f0c27135755aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfCond True Passed
0e2f3b2e70b82c3e1c86c3c279a54b3964fa81e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfCond False Passed
7480f91240448ad17a337c53cc72f58bcb9a61d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfThen True Passed
65cfafe71d6ccd86ad924f5f08ba28415d4a5a98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfThen False Passed
d5e9db81e80519faa17902c43feb001e893c4976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfElse True Passed
986a68db518991b978a5b78d1af753cec03f6ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead IfElse False Passed
f8f545ee92a17e4ea18f6b95422f66996b4abb79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqConcat True Passed
a6f33d76fdfba7d8f0bc7edca04e4b8a23d148f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqConcat False Passed
8acd93af4a898b87323f1826c4f5b012fc0a342c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSelectSeq True Passed
9e5085332aabc906106456dfc5f3b887a3252f65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSelectSeq False Passed
9f95587801c887f80beb0d841ef0994d2fb5ceb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSubSeq True Passed
ea603156146bb79555513de8344a957149f8c1fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqSubSeq False Passed
0abbd717b9976a970fa6ae9b5c4f32dc7fbb5e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcSortSeq True Passed
50086cc8f34d3acd34e7705f6a0d9f138e77b658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcSortSeq False Passed
68118a6e89c814c0b261055f0b5258cd2d1afbc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcEval True Passed
3f49fde47127d2fe7adb221d9da965cfabf73c24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcEval False Passed
37fdab8180cb8bfe46385febb6451b2cccb14b50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqHead True Passed
985da15ac03d153425cae2243ccadce582802108 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqHead False Passed
7181e6ffc1fa4089e130e9e71d1d9dbfa3fb5ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqTail True Passed
f676a3fadea325b891fc8fa0a17ff86edcc0f174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqTail False Passed
fc0cc20f14bc5a21b3e412408b7406057f3eddef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqAppend True Passed
28b8754e38db0c8985e6d3f257f9ffea1b86f87f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqAppend False Passed