Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
2e5d141652b06579221ea4cc4ec02af7d43cad41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail OneLineComment True Passed
0b999cdfa1fd4812f5566a4ff2696aed218c9ee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail OneLineComment False Passed
a0e39dc93f043569d3bd85a40ebe03b1345ef7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail MultiLineComment True Passed
3a9f1383bfc0cf67f2c21abf5b50472962b9a8d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail MultiLineComment False Passed
9d9a67bad9109e437cfc17274b3217d672ae7a34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Let True Passed
ac257936fd18428eacf6d606509f829bb3c6c94e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Let False Passed
0c7cf49e4b9f6a0bc625cde4539794e6b8bdecfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Choose True Passed
a898b1d75ed785539c5261d05f2d6cb6fff3185b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Choose False Passed
b0479cc364ade261757c31acf5dfba555d23992d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Tuple True Passed
42693e1e9b3139ff44d0d5114211ff6f37fa776a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Tuple False Passed
6078cd79f7061b0be8b5e7fb143553f6c0428bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TupleEmpty True Passed
614c8c1be2e6555e9d383653496ce95862be88a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TupleEmpty False Passed
df1ae7fa417e2d09ed01c16380cbd0d4ba6b404c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail FunApp True Passed
dceb5abc785bcb21dc83247f5b81e3b5332aae8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail FunApp False Passed
10b85d091383a6f9873b1f3aaf521ec4b0cd1655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Prime True Passed
799aeaaf9925e65cdb7a767b9d0ac6f744abf22b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Prime False Passed
0e53f7d07eebbe203624a39bb88fcf7f9bc85fdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def0 True Passed
54f2a5ef7cb9829b6a7419f170bf48b004555d47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def0 False Passed
e87311a8d7f660253f6466516352e8dae186a52d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef0 True Passed
97ce95e63bb908993286cf7364effd88d246dd4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef0 False Passed
3a36ca4ecbf48b0efda75309efba232be6972048 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def1 True Passed
f4722a7e95fe9601010e3a81694de63de5fa3a84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def1 False Passed
53af85700a118f15d1a94e0cf7141b29a0155b2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef1 True Passed
cf896cb02f96996f9c34a55cc8a85b4e32921002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef1 False Passed
54faece9359f1fe1b16de54b09df12feff6592b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def2 True Passed
05849149b90ccec6690eccd23668b4657893f59f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def2 False Passed
c7cec57d9ecf11ae4726706e84130dce861abbc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef2 True Passed
9374847a59f27ef372dde73387e5fcf0262f1215 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef2 False Passed
393b587ad838ac5b2b2806634cb77b8c46a3b159 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def1Recursive True Passed
742575c684691c6c01323bf4320ac05a4a34012a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def1Recursive False Passed
86b62a0490495c800e1b778d7fd61956919087dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef1Recursive True Passed
e9aa14a57387d3c2803407b66b01d7c3f961bebc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail LetDef1Recursive False Passed
0ec38b70591f0a73e6d3b6f0f6c21be5aea1e042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Extends True Passed
6aaca416534f800cff5299b48772d70af63c5714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Extends False Passed
b4b9415fd08a04aaaeabe05784cd875d3dc80880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder True Passed
0daa4d305bc21762916dbeb66c9e956cdf6f26f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ExtendsInDifferentFolder False Passed
365d170599b662b7b8c9f2a7ffd06198ab9c80cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Variable True Passed
7046864743154649b0141f11c16cf9011a45899c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Variable False Passed
1f660864cb4f3b04ae3bd4204f80cbd22e654ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Constant True Passed
0ff346465a81949836da0b003e4d023cb3b26180 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Constant False Passed
9e6770b28bb82baedfab869ef4f05fa217084364 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ConstantRank1 True Passed
8b5c847ccdb7b552b3f9ca4e9248f372cb778a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail ConstantRank1 False Passed
e31bc569c26b033f5d1808eade3d1adfca2c8ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Instance True Passed
2af35c9d5f4d65c7cac9ee574e5d81f63959a884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Instance False Passed
9295ca32c095158aa573f009a6c034dcee026a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWith True Passed
0b72b491e6b3244f21fe672236f3df31f7dd70d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWith False Passed
978159157f0c05b350df2ca79533fda8cdf27f46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamed True Passed
7a35be7828cb7b4bf454a8d55ed4dbdbceb9be1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamed False Passed
dd7890909c84bc8188721e96a36cbcba2cab6de8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWith True Passed
cb7911db22a6ea45b429a84b3e0967835f6c95f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWith False Passed
8908310a7148ab470600465819e161b5063f1ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceInFolder True Passed
62964d90d5607fc1178db8f2bb5bdd5753d1a317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceInFolder False Passed
08894fc1e1060900a97385675a80799252c09067 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWithInFolder True Passed
3cb1d56bbd11a7a0cdfa31afc770da5a2854c26a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWithInFolder False Passed
a0eaac3aab9e061baf4c3cc294385bca8213549d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedInFolder True Passed
5cae4bbb503ae80f3e5b30d31efb036cfe934136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedInFolder False Passed
a6514a002af766faa7afa6f24cfd08a47db5ad1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder True Passed
9fa189da5c0204fb36e168de6b7b89e0da7c902d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWithInFolder False Passed
40a42b61b1cd01d004d7182a7e17ad945f3cc5e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfCond True Passed
81e19564423ff193f8054313e0c7730b8207bd62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfCond False Passed
42004040debc894f5b63cbee2061b1b10987db05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfThen True Passed
3948a4f6a699144b966750f3c5365e1c72d49f22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfThen False Passed
53f182d845a13b8770b3a10590d5d671e37b7cc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfElse True Passed
3e3f81aebf3e59ff0bb57f2389e352438fafc164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail IfElse False Passed
de0b67baf73aecc9b1e51321b8f5b91d13a47324 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqConcat True Passed
94442f5a4a476c1c2babc1f4ce7dd11c88ad5847 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqConcat False Passed
3f9736e291d5079ce4995baed40033314478ba44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSelectSeq True Passed
b9417c4e1fb1bd4a03df4ef86736d3f5e1fbd5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSelectSeq False Passed
08f3ff18a183fa2a0bf118aeeaebdf9e018382c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSubSeq True Passed
21e33eacd6692473565f167115109185bb622cb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqSubSeq False Passed
fbe1ae7a53cd3a5b3f59f6da655c7023230a9a63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcSortSeq True Passed
894685d09a60f94c819baa7f5eba5833f960e472 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcSortSeq False Passed
e0a7a4752be74deabe413dd69e8359a041c8d380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcEval True Passed
30fd941edc9cd10f256177bff60aa04099cbb5d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcEval False Passed
2801bc5b5535593f001e4219d0acb42c8c035796 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqHead True Passed
fc3846c32121bc2f26dcbb0a7311d1e82184bf0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqHead False Passed
c4e55ab2fe97007fc8f4a4003b3373977f3fb143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqTail True Passed
c169a67ab29917081ffca183e52df902c6f2d1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqTail False Passed
692d742f1770b19cf0f6aefd96ca80662f2ca542 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqAppend True Passed
ea00fa904abe0b4eaa53da026e648869f17b02e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqAppend False Passed