Index

Tests by plug feature TlcSingletonFun; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f3d1c72b0216f9a21bc65d7f52cd44d367745e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcSingletonFun True Passed
5fee6924d0149518814a882bbeb24774e3e39476 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcSingletonFun False Passed
4cb44612d79a9f0c189d0ed42ac8702e707af44e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSingletonFun True Passed
acb778e8e3934639bc32a605ccc9e07195276256 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcSingletonFun False Passed
f79fa71cb347deaf0897b3c1e1f91f326cb4111b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSingletonFun True Passed
eb97379e5522e24735b781e657a3dd52789544b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcSingletonFun False Passed
dd3a46287ec74206cef7894e50e2a5bd9e04bf18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcSingletonFun True Passed
bba76d51aec5b611538970bc3103486ed383cde6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcSingletonFun False Passed
dc0140cdb3a45985996cdc966ec37379b98fa5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSingletonFun True Passed
0038c39b4da91b8490c479c2ede0090a6f11e342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcSingletonFun False Passed
4d50e3f95527e73bf4b50b9f456bdacb2456c055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSingletonFun True Passed
a5d7e0643fd9d297f52d55fda157d814be942424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSingletonFun False Passed
d0b731595fdd00acb29f17e2c58db3b1ff5fa3ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSingletonFun True Passed
68f15c88fdc3dd65138c9a4b48db152bda542686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcSingletonFun False Passed
e77c5fdb522fc04addd0cd883b70355007b7ae02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSingletonFun True Passed
eb0fceac079eb726bf95f11d216599eb5557d689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcSingletonFun False Passed
d4b6b505cb8440552cf63e293efe5e821ec243e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcSingletonFun True Passed
a10b0834561285ed11389c6f2eb01096ed92ab60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcSingletonFun False Passed
a5fafdac8320865a6d957b3fe9b730170fdae19e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcSingletonFun True Passed
78881c19dc55190a2f0daf65a3c11774f32ebdec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcSingletonFun False Passed
610acd4af44d91214ef8ce581b36e85320a9eaec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcSingletonFun True Passed
1e61806229f79ac2839feb22f1a35d9238f39a11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcSingletonFun False Passed
f5a640afcc0fe7e743a0dcb2a54f9ee8284647ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSingletonFun True Passed
19056a75153e8b75913421ccefabf4212291bbe6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSingletonFun 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
cc0d4af7a26799f90cb73e85c797c06310b26ddb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSingletonFun True Passed
5f02c8dc5d6feaa82332efd4cda543842cf5360d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcSingletonFun False Passed
e4c8606c34b1c3c6b93f6c60b9db96a671616a87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcSingletonFun True Passed
d53a7c2dbb93b9eba53bf02555903d5ad968abf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcSingletonFun False Passed
ce81c6b226a00f88a4b18297c42da6b3cd612d9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSingletonFun True Passed
7945b8276f11f5db0add9e1c403e7cb812b81873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSingletonFun False Passed
be66656b7cbd7b68ae0166939fa6ee008e44868a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcSingletonFun True Passed
a6cdf5223f31e6baf29f72c01bfba265213f031e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcSingletonFun False Passed
c6dc3d63d9102fbcab87d500999c365925f3ff92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSingletonFun True Passed
f3f1fcd9a5811da2c110766fdba9109dd64f616e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSingletonFun False Passed
4a285d01fbfedd0da9c29c04823fd0312b02c9d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcSingletonFun True Passed
b4465e02cbe09acbbff08e75ee57c3211f2fb758 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcSingletonFun False Passed
9e005a39c1c1393d2f585a59a1d09efa534daa54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSingletonFun True Passed
302eac5c0cc8fc32795e05efb5780f788178769a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcSingletonFun False Passed
18e3cfb37315a91cddbcc29d6ca062c53c048822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSingletonFun True Passed
0c7d3e8217cf2c9c9b682257ddc907a43585d6ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcSingletonFun False Passed
79a8ffd0e85a188f4497ae464f9f184fe42de340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSingletonFun True Passed
ce9bd58933ee02983724c0f44494f2602e082228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcSingletonFun False Passed
f1b1b810bd22b042c2815ce2fc47183ad327d9d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcSingletonFun True Passed
457baac881d997a4376d7e8327ff46d9bf04bed1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcSingletonFun False Passed
b3ac781f25abf7b3da20aa7e1ac060f6ac1d7ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcSingletonFun True Passed
8b01a621ae5f02bcea045ca282d06eb975859a88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcSingletonFun False Passed
8cf9490af4c1982b3a0123a5c19c019e8268f78c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcSingletonFun True Passed
f541cf0b6afcf4dd0c0671abcd3b3e4b88a1f425 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcSingletonFun False Passed
a4ab1831fa7033b11237712939c79a935dedb50b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSingletonFun True Passed
09346f035ff966eac83363eb63cfb04c16638b6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSingletonFun False Passed
f85d3ebbcaab97e25c473d5ec32c17f251bd0ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSingletonFun True Passed
98bce06dd7714cab7bce0729bd8b9425c2ed95da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcSingletonFun False Passed
bf8b1a88d1b85ba4fe93974b26eb2a685ce2105f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcSingletonFun True Passed
3adaae0ef1e4cd5a3db617c47004f98d489ed4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcSingletonFun False Passed
976eb61a8cef0c443f2dcbf2a70fd06e51782386 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcSingletonFun True Passed
889acece08c28d47d980a9643d3a099535526d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcSingletonFun False Passed
ef8ff38942778901beec45c985360b4a09ea0b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSingletonFun True Passed
cedfb18da804f4038a0205c560ea340f2a5f7a78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSingletonFun False Passed
92a6c157ea6ec9374abf12206080ec4c34ab9446 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcSingletonFun True Passed
9ca3c92a2ad044549c87ca5df9d11d60d04680ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcSingletonFun False Passed
716fea599a3f87a9deacf12b12515485d88d3548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcSingletonFun True Passed
e4f9c335adb1f89e166b575756873bffe84d219e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcSingletonFun False Passed
48d7352eaee8a5ae7275b619ad963c3bbf919e67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun True Passed
4ff54e93c24dd5afe06072756612b6e720bbb6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun False Passed
bb1168553cd518144b7bdd5a48dd9c7bb228835a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSingletonFun True Passed
c36d89919b22f4e1ea26a8bdad8085726a37dc65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcSingletonFun False Passed
5eb896fd91fd31a6403b898253bb69cd7fb49dce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSingletonFun True Passed
fd81e825ec9e7c89d8e57b2c624d618452ef2942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcSingletonFun False Passed
b48bafe0e57177749435a3163f0f70aa0c309c22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcSingletonFun True Passed
bb153d6094f5887de8e3b5b99175f6313dd5735b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcSingletonFun False Passed
3c18cdaa39833fc95f86864029582f35dda117d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSingletonFun True Passed
6d15cf27445154a6360a790e1a3e86ed4cb88d94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSingletonFun False Passed
9c73e4e88d47db9878f1e5e1dc7b03829e09e676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcSingletonFun True Passed
cf3bdac89d4dac7f32abfaaa317d28d2f2b012f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcSingletonFun False Passed
14319398b05321798e31a1d54ce9ed8ce8087f39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSingletonFun True Passed
989a777c02c6d99f03a38135b0986a53b33fe91e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSingletonFun False Passed
d64939352503882a66d4139b10887721d3934e65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSingletonFun True Passed
4984a92cddd743274b4fa15926c9efdc648fcf75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSingletonFun False Passed
97018cbaae7042e80c6fa0f43219b0c4e7d4c89d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun True Passed
eb538d836a3aa193acfd9f21e5d3d87b62938e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcSingletonFun False Passed
334aa35570b3314fca9407e2f05c4777bf416ce8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSingletonFun True Passed
ece268e7afaefe7ef17026b8dfc0ed7817dc8114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSingletonFun False Passed
3d32a47bff5613c1bd952a9c2842bba0ae1af504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun True Passed
99abe7193eb9826a2958a0421d79f0f5ccdc5bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcSingletonFun False Passed
b6f737647bf96765f90a59349bb6b85b0e5b19cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun True Passed
52bc0cc1cfeddc51e9be3f0d6be9a97c4943dcef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcSingletonFun False Passed
87b43f5a236b7ef48a04b02b3d0fe5bd4039f808 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun True Passed
b1a3f815670888235668740005a4b85c69c2aeda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcSingletonFun False Passed
4416917ff8a30c2dfe6d6d508e7c269e98c165d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcSingletonFun True Passed
c790da0fa4f3c899687a386f0c42ca0897bc71f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcSingletonFun False Passed
9fcd6e18df2f31016c96cd31b2e38b043d070a21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSingletonFun True Passed
2fd0ef48e39403e3e8761aba3579b5c10438f21d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSingletonFun False Passed
0c5b7eeb35a0b1dc9f1a81de3117088921b2edc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSingletonFun True Passed
a6b92f22f306e3b2bc34e09cf421645e9a547dab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcSingletonFun 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
7fa5957b6a28fb05dd9876ec1364f79bd33c64a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSingletonFun True Passed
d58eac84b8c65a046ba8ea5a5194898616d46004 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcSingletonFun False Passed
f1dfb61dd756ff67144fd4d875b76391db0e1561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun True Passed
8f7a1db0d6593dc83baeb02eb46f63dc795a003d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun False Passed
cfe2d72d31f18316cbdbe450bd96f97415f24aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcSingletonFun True Passed
d04aeb57132447469dfea744263e740473401a02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcSingletonFun False Passed
445794ab6a4f6fa767628af649cf53d774127c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSingletonFun True Passed
5ab8c31bffe6781ca283841678b675453b22316d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcSingletonFun False Passed
e3a571e80d319e27349a24358b549dd6d809280c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSingletonFun True Passed
01d623f2f4ae0a8df68bfa5f4e58433a415e37bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcSingletonFun False Passed
79447a26c6017d77ae23634abae75b379e7bf8cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSingletonFun True Passed
1d1b8dee04ddc98e50ed476aa0a0f0b786ab59c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcSingletonFun False Passed
eea5e1e8ca47304718f0237acbd63a1ccc682fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSingletonFun True Passed
e01d9b7ca4296585bd5fca1ede82008f3ea301f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcSingletonFun False Passed