Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5a397972e6c726325fae0930fb6cca991e435f65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain OneLineComment True Passed
bd995d50a12129f750689121fd03068d98c88af8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain OneLineComment False Passed
30edcffe2dddf3ecd9538dea1d2fa33d144a02e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain MultiLineComment True Passed
940cc95dc8ccda7eb54b6c23641426569a23242f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain MultiLineComment False Passed
345d756cf6840ffd1657c1ac4890ce2afae48a73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Let True Passed
24b84d41b4f10498f727a23f1ef13eb69bfbf1f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Let False Passed
5b779f6067af6e61ffcd03be28a98b553210d5a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Fun True Passed
88873b8709ec7b6721407a9b211af016044a7a77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Fun False Passed
536cb586f5722f426ffc909bdf2a71052cfa8b72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Choose True Passed
25c9991af2d72aefd3993dc7ed40422ce00009ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Choose False Passed
e49126f8bb152c7936396a9865bc3d7920b0bdc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain FunApp True Passed
4c1648a37bd094c12e83d9206ae36401bdf1ee42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain FunApp False Passed
eb684c6dbc8b7b52ea87ea70de28e19b8df6d285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Prime True Passed
c879eb53ace385869807f2378a06f31e980d6abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Prime False Passed
6378ebc8c660706ec640de38ea3b4126b2f50763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFun True Passed
75704837a68416a79f5e5a755623a8418a044fbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFun False Passed
3c292b1f38bb9e311147fb0b6ca2a9e25e650cce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDefFun True Passed
887685ea2dcefaac6fb299fca1592773e3afd753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDefFun False Passed
dc787a205c39b78144770ed5962f02dbba814fdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFunRecursive True Passed
20fff7a3e4168499daf4b3691656d63caac8e7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain DefFunRecursive False Passed
d1861366347855a79969696421f5b11cf3063c34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDefFunRecursive True Passed
54dfba01ba93951fb37216ad911b5fc673bf6a93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDefFunRecursive False Passed
3288fe0ed367ce242baf782076454aba637eda25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def0 True Passed
330e5d58e5344d1edd71393f1adb65d11cc2ae7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def0 False Passed
5cf69100206b2b2c64fb4bc8fe7fdf5a8f632ecc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef0 True Passed
9f74f7bf04c4db56e1a868b0b04b31396b9e88a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef0 False Passed
3a425a16b514763a30184f9d5616db99cd194aa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def1 True Passed
7e14f0faa030593cbd6a75a5ea39b7b62103901c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def1 False Passed
843fa296638b12b89f01530879641693d59bbb4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef1 True Passed
d7b983f1722516fef121ee25c960f5c9ad06351b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef1 False Passed
b4672c6f0a4949e58626abb4799bc7537d10175b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def2 True Passed
b6f1c7a967f18d20a84eedbea7f4c55ee54bd32c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def2 False Passed
4ea8ff477bc8af52190255ff6611b9f78481ed47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef2 True Passed
4bbec0a1d56ada86ad8f541e4625348420caded0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef2 False Passed
d27a96cd3abceeb4e411e8f173e4361f11eedf45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def1Recursive True Passed
f18951b3d2c06682b6f0be3734cc235afc3e0a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def1Recursive False Passed
bdebdf1cc273c840380b93b8357fbff9e660e6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef1Recursive True Passed
56e246107abf5937823dd11c0080e6cf21f704dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain LetDef1Recursive False Passed
b6569a440dfa0f297442647a46762da0f1fb9d8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Extends True Passed
e31899076067a5435e14c3195e8bc2288ae29662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Extends False Passed
5df04a5c538dc14828a920874ece65729a63e93a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ExtendsInDifferentFolder True Passed
fe2c7971a9670196bc89f919a4ef2f0a0a274911 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ExtendsInDifferentFolder False Passed
ee1b1921606b8af328e08515f1ebf3e68ae3acb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Variable True Passed
af135e00ae68a45d3445bdc66bc0a7cb25b4eab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Variable False Passed
d6ba7d358996a7f25e1a4b2fca3c355d01e82078 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Constant True Passed
5ef842a1e4c0e7ca49ff4dc7d3feef4bd7b8be72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Constant False Passed
fa701a6f38ee02a29b1921e57d740ce742eaa671 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ConstantRank1 True Passed
48d087f650313b3ad8f0fa487d194e5af1b3a6c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain ConstantRank1 False Passed
82326b7b5213a2cba029d666f8129b5723dfa8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Instance True Passed
54bed3452742987a5673773997214e414fa356d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Instance False Passed
8d69dd0e831c68be592063e827250dc749c3e8f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWith True Passed
ad2d5e0d2651b5d145b256f5db00b5ef638d63ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWith False Passed
42ed3ed3e39e86feaf46744d416366cc4e890b98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamed True Passed
223b6e78543098e93700b78e6683d834e88a7301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamed False Passed
4f1af56b76f2aaafe5682bbc65c0d58d42852a9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWith True Passed
a9fdbc450e5f65adf0ae6bc108251269830cb3dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWith False Passed
67ad8f4a477cb90dcb92d4d2bfe374d61f66c775 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceInFolder True Passed
e550a62f34877d1f27ba52be59ce0f770d75dc4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceInFolder False Passed
2cd2e33615a87ae6e21874b6aa472263ce6d2176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWithInFolder True Passed
2d7501d7714ec79fe5ea96c9323ed65995e8e05e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWithInFolder False Passed
8bddd81b55929b9828330c8959ecda9225ff4910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedInFolder True Passed
3825e58a43c8a76fb3883552a54293907cde4c0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedInFolder False Passed
52ac5a4d3ef3bc2176f0a51fbcf11ebe662f549c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWithInFolder True Passed
5d56f258634d0be8beca2b708b287b60ae7337c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWithInFolder False Passed
3dfa6679d373b075fee8f2fcc1f85bd22bca246d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfCond True Passed
d17a137ea5a801ad916aed0c947c5dd7c4fdb404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfCond False Passed
3eb2e031bb1e8eb2c4e241839d38fb4152409187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfThen True Passed
31f3136aaa1a2bc541192465e73259c1a7758697 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfThen False Passed
7152133bc2b5ac47c70ed7de323b133329503820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfElse True Passed
08d46291150134378db763d5db3067698a552fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain IfElse False Passed
3cb2721c1391eeb64deabe04ee727597cb6d1873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcSingletonFun True Passed
3684b5c60cea0cec5eeff151048578cb65f53343 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcSingletonFun False Passed
7c77f274585a2778df1143bfed3e3802bacf0761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcExtendFun True Passed
880d58eb6477818b839c0a293e7aa8af44bbbb9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcExtendFun False Passed
3f244c8bdeb115aaf03a288e55e5ad09f2cc1689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcEval True Passed
1512067aec7f0dba5cdbcc7337a18098534e6dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcEval False Passed
9693ef9062f09827b06808529b1ae479010fbc5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain SeqHead True Passed
bc1bab9b3bd68f9833a09cf9067d3b986426e08e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain SeqHead False Passed