Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5e5724a8ffa4a3cda8d44a2084ece1eed031ce94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Let True Passed
55bea4d372cb8ffe951716714351946c6fbc8c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Let False Passed
c9a9d8670229b4fa07d7582a137b7832c37b1973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Choose True Passed
2c399e7a86a2fbcc5aac3e38f4fbdafbd7a26166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Choose False Passed
4939995eeb7692c58777518ddb9ded629139de8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Tuple True Passed
987069c9361951bc3ebd4a954deb99a9708c60fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Tuple False Passed
7a338cf6cd6a7f5576629ec26882f3375a564ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TupleEmpty True Passed
787d0d904e24a24e2fab151e10c87acbae1d572f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TupleEmpty False Passed
754f6cfe252da380871f740bc5a55685ea898f89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen FunApp True Passed
744ea386ec455b79d7a1e5930e1affc67895e57a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen FunApp False Passed
729ee86b108a8688d487c6504b09191748245737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Prime True Passed
4a37a649ccf03ce4dfb5d251731625ea44341a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Prime False Passed
ea7d27cebd1fb4ed0389726b0d9915cc4c88e03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def0 True Passed
a620614762a0cedf05deab0bc8655416340d0420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def0 False Passed
0f99cdcef859dac34a373ca38b04ce841eb9bd94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef0 True Passed
58658895b8a6b452c412b5dd91f2c5ecf556ed94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef0 False Passed
4081b84462d4122db058630ab64a44058e113c82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1 True Passed
d7764385c8ca63673e3b070f46ee8a556ce3f9fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1 False Passed
c8553636e423174becc73494eec1b9a23ecae722 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef1 True Passed
dd712a1838a3b557a9bbb1ec81f1479a27af1dea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef1 False Passed
9f982fb46cb82ac1a4f4cebadba70c8bbc266f1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def2 True Passed
796cbc5a4c2e7fd197f79040b8ad8904b99cb811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def2 False Passed
82156724d69dd2c71f55c782c7f3f037e704ab7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef2 True Passed
db8a08f7b0fb0dafa19d65e1e7978148df23571e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef2 False Passed
4cfef4a074b0f88c5647533b5380741ce3570944 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1Recursive True Passed
81015b52616efca0e547a78529be8df64a565014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1Recursive False Passed
8e7ec5faa82a0733c5c541d99bfb3bfcc1a1707d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef1Recursive True Passed
e10b53578b3df753e929f6dd0e556729f57098d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen LetDef1Recursive False Passed
0c5dfad32ed8764de7d98ef64394ee1907cf01a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Extends True Passed
49db1a5f3df70eef2ccf8c1d04574d372a009d45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Extends False Passed
e5bd5a3f5fb4e527cdcd6e80b133d50a380af55d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder True Passed
3a4f5635c1a22da26eb02cf0296e6c2ca3053b5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ExtendsInDifferentFolder False Passed
029174ad7640ef88a9ae0c593b37dd16d8e514e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Variable True Passed
8f8fcdd36ba37194de337ab0c17ace0e166a633d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Variable False Passed
6c14bd8801d6cdaa9637e7a2567484955832cc47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Constant True Passed
c2133d0b12615325eb3f743febc67cc028bbf14c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Constant False Passed
73d6e1e6288671e55a494a299215169356968d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ConstantRank1 True Passed
c40fceb9582dcca198b5ff0dd1fb79c087dd1919 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ConstantRank1 False Passed
fd658db2ef015957f5150162764cd6387cbeea4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Instance True Passed
372ce54cb7d6110346e1153833d4541c8b17ebe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Instance False Passed
c7b71225f08d4910040cd534fce86b022e64d546 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWith True Passed
5c9933be00b8a9a6da774f6348830045d02e2995 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWith False Passed
648af7a3cf0879328142ff9e9eecc5aff0be7338 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamed True Passed
d833702fb2cf68dd9eff67a8b7f9cacbbf8712c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamed False Passed
8c058213750d755e5d165a788afb73ac414326f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWith True Passed
adae2682b46f457931ba13e41885b677a834721a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWith False Passed
88b0202eb33beb0dcfc1500f836cf83af86717f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceInFolder True Passed
22c2747ec1e03ca79eb74a9627492299172f281d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceInFolder False Passed
7aec1e06910b7b92c467ac4868e3cc6b1c8557f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWithInFolder True Passed
26b4ce5c1dfa35cbb15695be366b9703f41f7ebb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceWithInFolder False Passed
0af456ccf6fb6a5db9002cb5e6ac747139ea2b93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedInFolder True Passed
28e160eea2ed44e3b11be188c3a7331c3c22919c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedInFolder False Passed
75eae8d1c909c253fd47cdda04743fa6110dc85f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder True Passed
36744c039fa75cd44f075d8c2d64a62802b2b53e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedWithInFolder False Passed
0cc4555954758feba4f2980816aaf4e291635c75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfCond True Passed
79fd87cd02814d3f6efc69e70d1518039fa22bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfCond False Passed
e21cd62ae59a8cff74b054adf752834eae35df33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfThen True Passed
86ab37cdf02650e55cac9c9ae4877a00ddacbd97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfThen False Passed
48620452c88ff234d32cc82b96584522fd798d5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfElse True Passed
5fbd67b6d62cc8f5836a71cd53c863df736fe79b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfElse False Passed
0e41c895094d504f2e1a3b9c59ebed29f092dee6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen StringEmpty True Passed
36d5380d923e27a2c2901e3976f4743e7b249a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen StringEmpty False Passed
73a3c3a401328abdb377d8013d289b6b2da5e1c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen String True Passed
5e34864c59e0051b0e89e869ce9b4a44021f0bb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen String False Passed
cabf193d797cceeffc2445339ea9058e466efb63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqConcat True Passed
6bda0470401203ff163207b5cbccc1524bea3a26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqConcat False Passed
52aea5b1e2b2d69271a30626cf35f64e06f9285e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSelectSeq True Passed
d1fe8951874a9cce2920dd27193a30e266de4918 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSelectSeq False Passed
525d51901646337a161a9ca953896266208c2734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSubSeq True Passed
7505f95dfe1f999035814e7f05251878a1e0ddd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqSubSeq False Passed
dfc78b1b7fa95c8c65d348968e9b5d43f86b7d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcSortSeq True Passed
a430eedb090cbdc792bb484a5750739b9aa3d80d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcSortSeq False Passed
b2fb9afe6d66abfa8e48b7ac88f6d93292f288cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcEval True Passed
b1396a0d5fa7abc47879850ef7d838be8a8782d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcEval False Passed
96a2ab52a5c55a11edb0c9717db74bd47ac0b9be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqHead True Passed
038f25468f71c0c4c10fbdc4deb85eac241373ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqHead False Passed
2cf705c24afa4f747412ecfadc6ac13da9455e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqTail True Passed
8307d161a86b71b5b0c9c27ab0c001bc9dfd8d57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqTail False Passed
5b20d7d5d4c1f6ce9a76a32b50ecd465730f79c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqAppend True Passed
91675890e71ffc6ff72f67c43388491ed9a90dad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen SeqAppend False Passed