Index

Tests by plug feature DefFun; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1d8fd0bc21ef2ba2cf5b822bf741c8e2fbfc969f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFun True Passed
4b59d8e9228388806c93899374915f99069c64bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFun False Passed
ad96a24ca2edd7a2ddfc6585762ebd8929adc47f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFun True Passed
41d5b1b9c3af531f59bd5398a89c9d9a79d5aa16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne DefFun False Passed
365ea6e9cd94556c9fadf8aacde8d34144f1a27b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFun True Passed
e0c89007a1ab76916da5e24101b844d1a83edaba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let DefFun False Passed
45b6d5bd7e765361fde2e96f3f9ecd669763280a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 DefFun True Passed
add96a101582b2f08ff4f84f8d19a8a52179287b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 DefFun False Passed
ca0371cb17636c735b7f54c9c6bee6dc55fb298b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFun True Passed
864364693cee290eafc3be3fbaaac582392292f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 DefFun False Passed
0e530a76bb9d88ccd32d851a48ca471d55925539 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFun True Passed
6105c11dba76d3c60c488b911d4aa6b371b5fc43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 DefFun False Passed
8fe3b79478caceb88b1f8d919ee81ffb3b2edc53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFun True Passed
7c3ce41a0afb4beb458f45a7306455e8d88edddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun DefFun False Passed
45343947c5b591939a6d327b6c7411229a2c6ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFun True Passed
5e189073fc93636d87cdb83af875823a005a7dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFun False Passed
9bce18314d4467047616e19cf73567435f2fcbfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFun True Passed
2a9d0a60263b75097b383cb6e835bf3a960371fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFun False Passed
9db89970b7bec579ea0055bd159b9d4b82f51e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFun True Passed
9a89783bcad842e8ddbd7eb134dbaa259fc2ccc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFun False Passed
b0c994f6bd2d79880a60a0c726794cab5c12ccee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple DefFun True Passed
c397abde5f9c1e0e03ae703a6d40a9883aa44e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple DefFun False Passed
110e181038af52f0642a72285a3f1b09cf22649c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFun True Passed
865406d4f42e72626091a43f72daede76a76e4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp DefFun False Passed
7961154536401277ce5a894e017f875af92bf5aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 DefFun True Passed
e59ecdd1c4af775b3594c9652ea848233b3aae4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 DefFun False Passed
7e4d3e68333646db228395c116fdb1644994cac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFun True Passed
9a97bb1f1e9b7b89b854e13c57ac96aa7a60d6c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun DefFun False Passed
03f7d24a6ed770d1803d27019fa4cf2cb1131c01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt DefFun True Passed
08bbc5a00fe11c73d0859c34b1e8f94ce93a1012 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt DefFun False Passed
b4591759a20f891186ab7496dc67aca136c37fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFun True Passed
69931297ec6a1b766c31a6a2018cac1eff34ccae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFun False Passed
e2349ec1f2062885fa690b80931985da836c0486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt DefFun True Passed
7dbb392c0cf340380c1fcaeddb073cc7d8aa6871 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt DefFun False Passed
ac95bd8b5cec114830b5c35090f3add5ee83917a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun DefFun True Passed
e3b18482e8fd653b8f42c13d2a5d6459e364d526 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun DefFun False Passed
de6bde733110efdb211aa0382db3e073693794b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFun True Passed
973c1dbb6bdab5b25e0e8654efc4d639023da397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFun False Passed
cbf64d65e30961527798a0debadca44dc16d968b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFun True Passed
e97b0c8c60bfccde2573ca11b6e8686af3f7c9ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFun False Passed
c5548b436f51601af2f739b72ed56470ee79a25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFun True Passed
50e2618c06209476f3be0b4b9c9679c5fb62bdb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun DefFun False Passed
f5b258d1dbb63b51ed9447beae143e7b0637580e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFun True Passed
bc84103f222a37f039d9a6393b71e0959f66ddcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive DefFun False Passed
4af274c88bc63f91f67cea975ef63d093615c85a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive DefFun True Passed
cbaeedc19773eeeb2ba0e8f437ce7c8a7b463982 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive DefFun False Passed
194916c7ea7cc965067b3efb84cf625c7b9ce603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFun True Passed
c4b6324c1a9cb511794c890e035ea8dec4d24264 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 DefFun False Passed
4dc1a5699475da17d6d8a60f47aca844a3cf51cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 DefFun True Passed
86a45e7c64719055aa527f27dd6e1d2076eb236a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 DefFun False Passed
824f00868b5d5d3fb3d3c7eb25fefa3393ecca67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFun True Passed
f005a2401580c029d654e85dd17713045d23d4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFun False Passed
f27d1cda3afefd6988b9abc98ef0e9be74859e89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 DefFun True Passed
79e880b71407e90dbd37c4a353c0d4f9db0a7bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 DefFun False Passed
5f74aac38d2b140421ec6c08a78a29c44c367b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFun True Passed
987efe192b3353a94bc0e110cd1eb9d4ca60a705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 DefFun False Passed
9caaa9861f1da28e1d162013c69e14badd21da5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 DefFun True Passed
27d47dd05e356a7564e49dec3bbccdb759b7564d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 DefFun False Passed
4844093e3cc71caab2924200f3d6a4b69c3c3421 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFun True Passed
4130b8a9de756b9425161519cc139809da161a2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive DefFun False Passed
5739f6d65c10e82feec50cb5b045a09cf72393a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive DefFun True Passed
308508fb96a2751c034aa7f800e366b474672680 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive DefFun False Passed
5c93c9a5629bf227d800ecad25b56fc8be2fd163 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends DefFun True Passed
13847d478e336cb3ef7bb9e41db48db9d2ee02c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends DefFun False Passed
e77b7d1e85f632e50e28e18affbddf7f9fac7b83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFun True Passed
d32c6f7d5f5d538d49d9a0b6bde73dd066fd30c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFun False Passed
9842eaa5700a96322559afb955ceeb20086bbd05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFun True Passed
6cf3c2ca9a2219b2de44e83839c4d39e2e2079d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFun False Passed
a15215c2f43badc32e9b9ec188dd0a070bd62897 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFun True Passed
ecb205cdba0c4900cb293c42b209a49945893053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude DefFun False Passed
83435dd6df90a7427e41e77a2b3d401e6c24f304 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant DefFun True Passed
5071c00b7cc4ae5ddc8cd6fa75723c5ba3dd2557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant DefFun False Passed
9a29ec9ca86d4bf6397b2701d892c448a9b6b0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFun True Passed
7b45f6faa4533b865695e7ca4e13f657510a297d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 DefFun False Passed
d4fa9894cc810f6bba92948bc76bb3e8162e0a3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFun True Passed
db9f17f79c7bac2bb81b188a8e500fa86f866497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFun False Passed
4d4409fb25b61ec6085992e9fdbbf91fa62189a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFun True Passed
494457959276a2ec5d85dcec91bdbe4b07734c57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith DefFun False Passed
4090fb7c8f4b321341c2070ec6a984f6ea756fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFun True Passed
8ddf21502adbf694029feeff6103b7f2918a56af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed DefFun False Passed
407a485d6ccb319f6dd54cfc46403b0b4ba682a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFun True Passed
6b428a9ef53693880b67b824e35a77e214bec97c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith DefFun False Passed
96c55e91a22d9c989f74e6af0135d6824c4ca13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFun True Passed
c13321d7187901aa154e61bd633681b4dd1668ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder DefFun False Passed
c6b35767eb1d14c5552d40f5e96f51c1dc957a5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFun True Passed
a832d6ab69ccb9bf853ac538aa128c0cf783d92c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder DefFun False Passed
d38a7b3cfe9748ed2110d322262e8646900971b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFun True Passed
bc1adc990d384df1d88a17235afbd860b87432f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder DefFun False Passed
08811b72dbd2cf08088512f1703e46bf87399179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFun True Passed
9eddbed1b4b26fad8f61fd8404792293d84aedc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder DefFun False Passed
c12abbb70feeb4862daf1171f153973a75380088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFun True Passed
04715d0bf271de1556d2a7c174209ac2a2155412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda DefFun False Passed
c75d0671fd6c74ae12a0c0c533da630d6e9405de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFun True Passed
42a9cd6b6a575d080d891841f84bb903509135c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen DefFun False Passed
f58d2d3be1372fabadbaf246c718f32724536338 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFun True Passed
05cfc9f0f6677de9f939683e7530e63fcb1658d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFun False Passed
19ac56a365bfc4b77c4e0662165371fc8aedaa4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFun True Passed
9903b232a8f29b0bd95fb2ad44f7ab952c5c76cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain DefFun False Passed
ef2559d73f006d8a8ed30daa921fa9f8a3939055 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged DefFun True Passed
bffd0b44fa3a7eb55252da6e9eab2ddfe4708b3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged DefFun False Passed
d62a40a4d07c84dd21d88bd62ff590494d84603d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFun True Passed
5957a7f7bf4646cfd5787c0eb9ef88a73019d131 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFun False Passed
68c5ebbaabb222447b9f67ac0b397318f8ea0a6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFun True Passed
719a724f8fd526c9b1ba9ed49d2ec6a47b8dff74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun DefFun False Passed
ff85138f325f5e54d0871e8cdcfb028a6f08c2d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFun True Passed
0a797e37ec93f4abbacc13a6078d68843d1024da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval DefFun False Passed
928001cd59d1c511e5864ed94e0ee7d7736ef875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFun True Passed
3922ff52a8f3c06f14e09fb8a2de321917bdea16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn DefFun False Passed
111432139f7a721e83b2235c6feb9c9c5a9143d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFun True Passed
59b2963d9fd945caa78cdc89f917031448c4348b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFun False Passed
b5add2b87726e5b1b29cc68e01d49ad904b77baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFun True Passed
f01fa8427352930bdce3800b1045c62709767e32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend DefFun False Passed