Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
318baa785751dba8668fd3d73dfd0b87d662620b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Let True Passed
4052f116dd442d49fdc1c93edf4990e4682124fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Let False Passed
dc669953f1de89575e678510748bdd1c9d49c9ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Fun True Passed
a0d6575356794e4884ab0ae4d50a2bfe199c184e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Fun False Passed
03d6eb1ae8105cea48bd6fbeb318929217dce24c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Choose True Passed
0da4129e99f38dc70a45d5eda559d9fa61525d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Choose False Passed
c89f400a10134cbaadf28b2b681c8f0439ad30fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Record True Passed
260c5e5466f27acee640d346505def4e6725d78b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Record False Passed
0818f12592c6925c8e44b2dc15ab85a66bf1c287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Tuple True Passed
9da2936f9c558617a93efeb406dc0f39390c52f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Tuple False Passed
ad6682b48b2693f04a1a43e28dd09c23dede0d2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TupleEmpty True Passed
8bf235f62bc5ca43ba5875e9dca2b01807448fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TupleEmpty False Passed
e6e51ca080f46ceef35f2f985a6e2c32d99802a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 FunApp True Passed
eeac75dc87d77782ff2a4a3f85f9889943879a32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 FunApp False Passed
9d83a85df7ded940a261469053baf421be3ca6cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Prime True Passed
38f4ce34a3eeec17ff42d934e0d55821c4ae009b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Prime False Passed
9ecb343e6bacbc4d44d333075c7639536d30485a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFun True Passed
9081f829cae212b817292f2216685e8655c26fef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFun False Passed
e0c93b43b794c61bc18481b59de89bb9f584c841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDefFun True Passed
45b924e8f1a5773fab11f249a148514645807399 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDefFun False Passed
d985fe784543804a35181c55b93a05aa540f5bdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFunRecursive True Passed
871d9883c74a27d2d7b895813aedcdb8eb24e9c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 DefFunRecursive False Passed
86b5443aac911b833c40ddb0c9aa0d8dadeabf8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDefFunRecursive True Passed
03645cc7e98ce7def8424ff3f163d45b6c7f4a2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDefFunRecursive False Passed
46f565850ac4d886ff37d1e4c32a3a0c85672b78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def0 True Passed
0df785ba23cca30e65b4bd1d56f5fcce3d387823 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def0 False Passed
e814ee30cbe23f64f4cdb103d64ee9f9a8c1e738 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef0 True Passed
52dcd8833c0217caa1cf931963b78746769f139e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef0 False Passed
c8fbf5dc5d2c86fa1604ec352af3d11cb0dce154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def1 True Passed
60902e0d565c739afc6e0027ab8c771511c4f838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def1 False Passed
50b7ea3285bac95b1e228ee60eb820a97106ded4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef1 True Passed
629eea2f5f8b7f4cd6ffad99b901b7ce48aa7e04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef1 False Passed
f8c727033a3c5d1db97fa20cb7ba57c624fce48b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def2 True Passed
14d513ad2893c2d3792f39dd3a71623cb308ce3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def2 False Passed
c3321c615922a1d9fc76feb1c85e4d49d21dc2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef2 True Passed
6126a8d2af7ffdf541838c3728d3514694c576d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef2 False Passed
20f11897ab1b52ec8382d3fcdbfe92fa6cbc9c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def1Recursive True Passed
81e612f48eaf984ec2bd083f8840828f8d7c63b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def1Recursive False Passed
5ff1ffac49d545cce9de1a8b52fa07199060c1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef1Recursive True Passed
28238cfabda5a0021daa7972cb44adfccd78e47c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 LetDef1Recursive False Passed
24f2be8aae0526a7226f7646707e6e1a4bb6374c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Extends True Passed
1ae76c7251407e1a03dbbec00844f1e829d3494c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Extends False Passed
9b088adb2e0032bbdf261513a771c32f6af18965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ExtendsInDifferentFolder True Passed
6cfe0411953ba2367ccba9450e7a5c7736f410b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ExtendsInDifferentFolder False Passed
f70eb6bd248a5f2d65b17e2379edc7ea25409999 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Variable True Passed
95212ce665e2e49bd7c60ae6cdd50551ba14232c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Variable False Passed
a25865770fbd40467a7bb8e29deda395a5ac26b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Constant True Passed
0ce71a0726ef67ab3068550cdb7fc19ac6822aba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Constant False Passed
cfb0997da825ff13ffcda3a9fa61e41c8cbdbb03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ConstantRank1 True Passed
bef1808eea67e7fad5ed99cf5eece685bb187516 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 ConstantRank1 False Passed
dc4c34510daec032b3dfb70ae25dd50ba061f662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Instance True Passed
95e7e37308bb28af55bf259e04b75c67a76cb0b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Instance False Passed
c40f6c357e409a629a78aefdecb5e98d9aab3ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWith True Passed
3a6c840ec5551fe89498d18e645c06e1737d4a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWith False Passed
d32069ca6224f9d3011d93c588616a28dd710eae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamed True Passed
bb8d6ce6f5426b66b786b0f30678b9e7b365c1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamed False Passed
0dad74326cbd6083f781983c0f99b2be0ed6aff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWith True Passed
a54da99977355abe812fb09f03f9ffa84c020fea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWith False Passed
72295ace3c8c0f31f8f2fc12137a995579c185a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceInFolder True Passed
45e43d84f56de918e892fe085a4895d8ec30d8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceInFolder False Passed
1b779ef39a7a7c157a8f60cf0ef838b2d54c51bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWithInFolder True Passed
986dc6b0bb2f9af71dc935d3a744d322124a25de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWithInFolder False Passed
d2c9c333202214f4988f3a092ae0c2ea93d64281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedInFolder True Passed
dc5f9d087e7ed48030453b9860b7a6385fb87b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedInFolder False Passed
166118e106b311839ebbac10a1c96f258767120d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWithInFolder True Passed
f5bb4f6af22017d007a0aa072018f1cc7eadbae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWithInFolder False Passed
94ff1eac191dd962b9aa885b04d689f9845a89c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfCond True Passed
5296521b195b67ede25cebff34e3e655dfc49f00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfCond False Passed
4083aff33380496d35d9b2d3f4ca34fcdd6e7bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfThen True Passed
cb613353159bf31f66e8149a7a6670b8aad48280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfThen False Passed
a036d72ddba400d15ae08f8bbd4c536a82da4411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfElse True Passed
c623a80afdcc16c5ce73eeb6a844f3d0af815b65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 IfElse False Passed
06dd60e83c86d04aa4d80c82c2178017f50bde1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqConcat True Passed
a0eb817dcbc2927221e9659e856062b8506905ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqConcat False Passed
a53966667a1836a1b76783e06d6ae24fc754bb2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSelectSeq True Passed
c863ca4dc1fbd1effd6d0d5b292f7ee392c7179e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSelectSeq False Passed
ac94c1c6f663053afe93737d3114c4852667ed2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSubSeq True Passed
aa9e18138c2dbcdb5e1270be0096082903957e46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqSubSeq False Passed
d3c912116b1ab4928dac350ac6cf7d9d21584948 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcSingletonFun True Passed
ba0b556aad11a0a6a5d806e37abca3d22dd4fa18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcSingletonFun False Passed
1e41685c4929df4654d7737a59b014c5457c885d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcExtendFun True Passed
4ff09782be4625c3d5d9563046182a0a0dc20e87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcExtendFun False Passed
713d494bd340fadde9ec482908f18af31984c4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcSortSeq True Passed
32354024bec76dbdaf2a1d88cf9c6bf5cac89867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcSortSeq False Passed
fbb8c712616a356dd1525cbb55dc39728fd8a2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcEval True Passed
c38c33e1152fa089869266c97b79e20200cd11bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcEval False Passed
ee9d2d9b7b62d04c70ee96dac0c9ebedb2873f0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqHead True Passed
32635f5c1028f0bd95b11697a5b970cca0e6e27a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqHead False Passed
690719f2204ce39000e87e7d8f1b8850e8a44ddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqTail True Passed
9c7ae603d96bcfa4fc0a1256d9b69f3720ab1204 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqTail False Passed
a61ff45d427a754acd0c975cee85fca0408a748a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqAppend True Passed
560f7e217f3a726ad3e83946f9155b809d86aee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqAppend False Passed