Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
91eee12e82c8a6d0c73098084920bab37dca7c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq ConstantModelValue True Passed
11734d8280d45e0f1c85c470eaf6bcffe6a29b90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq ConstantModelValue False Passed
6f881a45f8234c0172f6d5f8bc665f3330e4243b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantModelValue True Passed
fe91df64d05029b8a0aa22d20056ed0546e286f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne ConstantModelValue False Passed
c1aed1cc8eb249a3998ba4f0b13910f19480b255 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantModelValue True Passed
aaa3fe5421531bce87f7060c1f821426f65d9313 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let ConstantModelValue False Passed
7829ab7d7f4c86f881182dc9256a9bdc0d0b3652 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 ConstantModelValue True Passed
e7f8c8748aecaf8c4ad69e44c8bf6f448d2ae607 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 ConstantModelValue False Passed
30b98775ca591e98870aa5d9254545d0506d4559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantModelValue True Passed
38638e687c5911cdc75546ad8f05d5dd4332187d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 ConstantModelValue False Passed
bfcf60ad06068dae6f8035dbad5821fc387c1b07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantModelValue True Passed
14aaccc9980aafadb2ecca2fbf30c27151cca0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantModelValue False Passed
ab0f058b61e94520bf8122ce1e938356d34999c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantModelValue True Passed
88f8f8b9aff7a683c6227fb0ea763a0231efcb62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun ConstantModelValue False Passed
fef63d2c8c07a1dce44c33bb60174e27ab8b58e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantModelValue True Passed
ebb2f7b983ce371827016ee4ba7681a5d293ed70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In ConstantModelValue False Passed
836b91dee6050e24b7c19d2446f38c2d3b49b592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn ConstantModelValue True Passed
3f806945888f19c0a43a373f615fb20890357263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn ConstantModelValue False Passed
b926bf55d440671ee9c051143c6bed7c8c6218c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record ConstantModelValue True Passed
b750826488baa12e4defa29a25221ac20ca27ffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record ConstantModelValue False Passed
d128457eb6188fdcfffeeb83f35ba77167d0265c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple ConstantModelValue True Passed
cdce289990499291a909ed3174bbcba753359c78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple ConstantModelValue False Passed
f8528ff2b5a1e471cca6668ba196a0c2c9191306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantModelValue True Passed
82000522c897629926cc54b7d5c3196f19a8750e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantModelValue False Passed
655329fcbc9ff37bceb56a6d30bddfbba93ed5ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime ConstantModelValue True Passed
4c44fe9549f0d3b4489935cb2be584bd47a6580b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime ConstantModelValue False Passed
25d5dc1a7079615229ee0d3aa681ac905a62d9f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantModelValue True Passed
50a6d089a4e588d77148ece98f87f45a6716ba89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun ConstantModelValue False Passed
43e85cebd75e5919e8d2e44a31f969bc2bbf8612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantModelValue True Passed
2a3ae8918c09c4d63597de3ed1f396e3f55b0ede TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun ConstantModelValue False Passed
1562609a25b1539a1b0c17f07f46e0d0bf7ea72e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantModelValue True Passed
2b9e3739895fc166a302f74eb59091afa4fd5241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive ConstantModelValue False Passed
38c0074ee1435601da744f8f65665737f97bea26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive ConstantModelValue True Passed
26b6be0c284c18b2539264860455ad2256f9b12d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive ConstantModelValue False Passed
ca12701b5e5517caf007bca006327e5ebc61621e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 ConstantModelValue True Passed
ad3ae20449790486002e0229e9b10576538bc169 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 ConstantModelValue False Passed
fd39babd23fb18aa2f449f825ce092740ea316c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 ConstantModelValue True Passed
5352726a78c2000c0ffa0c3746c701b7652ffbb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 ConstantModelValue False Passed
98666a05a7fc883b63d4307a07bfd0fd9efe8732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantModelValue True Passed
1a8fb5a40f7a4c19acccbffc26faf9de2cd1dd37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantModelValue False Passed
1a3204e905dbb45ef8da821e2b6872bc5d8778a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantModelValue True Passed
6ae8b523c627fc4b9b2e072560d80dbdafe4a80f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 ConstantModelValue False Passed
2049404859c66a8cb3be0f5514bb4808d6b54351 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 ConstantModelValue True Passed
6cb0777a732f729b6d94b8919d26ced7ff3241e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 ConstantModelValue False Passed
9a5a5f660ed5467a7faaebab34ed1a74b25aa534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 ConstantModelValue True Passed
4843048317dcc66484f372795e7ea21e600fdfbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 ConstantModelValue False Passed
074953ea6ae7e1f04e479b1120111ae8dc8f22b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantModelValue True Passed
58ad7969825484e978f75422b0d70ed3b791e306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantModelValue False Passed
237cdf2aec47dd9aa11bce6809d7d84f764a6176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive ConstantModelValue True Passed
0da8b4842bce24f1a8320404408168aecb204d01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive ConstantModelValue False Passed
3166f8b4fd29f6e6652cf996e3571783df614895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends ConstantModelValue True Passed
947ed49e8ca7014a81f3d794eb90d20e4d62ed75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends ConstantModelValue False Passed
8c43cd586d4f0d46f7c7fd916696265f757eeeac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue True Passed
e923a42208a912b57a5fcbfba82acba0fed746e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue False Passed
ef03cb6e03785987b5b4ca0c08988de3fcadb5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant ConstantModelValue True Passed
1ee8f0174190194b368c42cd22da05237b6d198d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant ConstantModelValue False Passed
3830ddaddd8e907c412c22ab14513c3727af3182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantModelValue True Passed
8dcc066fb16151f4e6c8a56f0bfd894e70d11a03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantModelValue False Passed
fad1672419244fd64555ce4b8327533d7a546c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance ConstantModelValue True Passed
dd2b85e639e7a27962b037e85cddc05cebecd9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance ConstantModelValue False Passed
68032510f3de825ba012f7d845338c8c151dbd30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantModelValue True Passed
6fb2841f06a3b8bc8202eacc9fe79aea3b836ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantModelValue False Passed
3a1c58da130a4caee58f2cffee8a48fbe54f73ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantModelValue True Passed
f43604bb6d42b3e1b944cb73f7b9c5a473e44c13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantModelValue False Passed
0b04cee4aff54cd4d21c80cdbea68f5527b527f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantModelValue True Passed
001ad664662d2a25283a568218cde2cfb7eb2ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith ConstantModelValue False Passed
3c4ded6668fc9b1b31fa09dc77a9d1dc5dc4e739 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantModelValue True Passed
4b88e19b4be1cde18dc9449f54e23322f8baa181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantModelValue False Passed
88d555b21faadf291cc3f8cae653daa9c36bf138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue True Passed
9cee8db209c18bf1f9e200ecd2dd3a26113b999d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue False Passed
aa3b7e21036219e8a3c89298d97ca270b9808d6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue True Passed
812a38af0a7f4c3decd8056b507947937f574cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue False Passed
7ad38cba3d3bd75721943fe495212568848f7af0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue True Passed
39ae8db511ffacc945ee7cb5419605898f88d038 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue False Passed
d661ae138120e11d998a5e10c37cbaba8eee4ef1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda ConstantModelValue True Passed
05f2c966bfbd387741daf1e52776fd8175bba1bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda ConstantModelValue False Passed