Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f558349bfdaf44bffc8e502710624d39e2c2fbfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun OneLineComment True Passed
5b7a20c1e35c0580295b0c4d867fd9ef9e70515d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun OneLineComment False Passed
0fd2477f61d2183d54539f5d0a37befb54a84027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun MultiLineComment True Passed
425a93de4d8dcd62153c89611cc3c804053bd86a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun MultiLineComment False Passed
d0da50d73b7f9b3d81086a79167160dd54dff1bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BoolSet True Passed
c131a2c184e39ac71efe36861036813d0dd073e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BoolSet False Passed
e731367d14d84ca677a4a5f3660a4804a3ce70f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Let True Passed
36419371401244b55751b3d624ff5d06b02fc1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Let False Passed
382ed032ca4a4630bd43255e358ced90ba9cd2b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetEmpty True Passed
585b120eeed3c5e17257244f390b06ff9b7b8347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetEmpty False Passed
ebbcfb9fec0d5add6daf837bcda815e4db881d1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set0 True Passed
ebfac213f10f20e82e36890ce7e8d94a223ea58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set0 False Passed
b936cdf24e588b0b0e9d5d30f9b28aee87565d00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set1 True Passed
8a330be1363e921b0e53a48322bbfe29ea09d31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set1 False Passed
5df7564b4035c8d301bc9424da6a0b7ae643a366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set2 True Passed
1df5b5e096cfa6493272844aebc8f4eae18a0973 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Set2 False Passed
61668fd7e1616871182239c3694b46e2c3e16382 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Choose True Passed
cd58e1d097297905b18b8a18650786c0b56a169d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Choose False Passed
0a3b19b99cfb1db0e4764b99d06679695ad4a477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunApp True Passed
d31996441c2a5c9c108007b02a180f035a687dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunApp False Passed
a4c5f4cc3acadfc28954f6302bb441b76b738e62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Prime True Passed
2f6522d1bf672371b80fd22ab5cf5eb64cc6fdd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Prime False Passed
467e4f13c162e16bb8a585e43e722f139d6dae9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def0 True Passed
6914dfcc8b5db1fdf735edebde3979f61192eeaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def0 False Passed
1c710c139c16a6d0ad0016d831983a8895d00d9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef0 True Passed
e2fa9c5ccc153e55174e97786b50f751f752502c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef0 False Passed
9f7de40630fc3cbea73d371743f61bf6fd33308e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def1 True Passed
ccc28f10085f3f5fc1bed3803be51e1b0342ab87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def1 False Passed
cb16b2879314b514269099ab9624bd272b6a777f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef1 True Passed
283a5a7fb6c7eaed481e99d970b2703723e1c831 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef1 False Passed
e1c6b4a07923fcabf59839e979e84ab8f3881797 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def2 True Passed
56947a6b899070a6fb883946e3e9335b8eeb8bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def2 False Passed
7a998ec3320f516e2ff6ced7a6604450746d03c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef2 True Passed
39174de7dde4977e08ad679ee0a468eb4950d4e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef2 False Passed
3b34c394a8ccfdc097bc968d968888616b69f27d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def1Recursive True Passed
8c9a32609078db4df627f2d26635f4b6b07ef468 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def1Recursive False Passed
669cc078af7d22000175f430197c7e552dce0da1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef1Recursive True Passed
4c8dc1c72c61c4c4b50ecdf1cab5d95d4bb71655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun LetDef1Recursive False Passed
c962b997c9adff716be65b8864d6631156729151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Extends True Passed
c3faabc311845dcda3c0f6550383e167b13ae3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Extends False Passed
94df0e4256b5f2e6e4a7186341c64ee6c27d724d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder True Passed
32d3f9e037312e60130daa9d8a5864be1239b515 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ExtendsInDifferentFolder False Passed
292996125879a79c32a76e6394002d4b4fe0c820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Variable True Passed
cf3d35cfe39eb5fe4e8d56e302a2568b5ace96d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Variable False Passed
6e098061f3bb410a338fbbccc62aa7f89986c585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Constant True Passed
06689dc7668d28aab8959f65de10521b8ae4e681 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Constant False Passed
db893174d68cf71fb72654d30d1893232cbc7783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ConstantRank1 True Passed
a59caa5df73d0e5c30e6182f2dc919ce78271bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun ConstantRank1 False Passed
ed306deff6131e52de7656027e9c38fe4590ec6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Instance True Passed
d256018284411103b64c6b33f38cf27e31191559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Instance False Passed
21eb3b0b34bfe280e7321ee8cbdc54a8d6abde68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWith True Passed
f415178edc2f26692a6053fcef5a0b361b0806a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWith False Passed
114889fa3d2903651693da87ce6a595964858280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamed True Passed
3f7d255046ecb9659d1ac3b332b468cd76b89100 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamed False Passed
dc351279a723167c5d9312edab3f4a588cc13693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith True Passed
d4b966b848e5a1a55f71bd846211b465a3bb51f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith False Passed
9a73aef025672f257d6e318c52155c9a1a8c74fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceInFolder True Passed
f9e6649c862b2cf1ed0cd2687ba849291cee1604 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceInFolder False Passed
a7a58c9c443bafc6568b70a96b8e9723a8bf80ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder True Passed
8df4d644a9dd3c92b69d924b68e73acca3a3eacc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWithInFolder False Passed
c17c6c06015d56e8e8286c6c738aebb3309d83b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder True Passed
5a5944175a88883dfd5e2d6253573a9645605c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder False Passed
08289cf1415f563defc11ed727c818428b1946e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder True Passed
575a4e14a249ab4dcd91ea19a49f708b9546a3a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWithInFolder False Passed
a767d12682ff5e26e501aa161c305be566cce2fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross2 True Passed
b0da0edb8e27602b09364c26e3d550b1a23920c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross2 False Passed
fc5bb7bf894c74b732770c2d80fe3ae327c6fe4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross3 True Passed
d64125fda9dedc4c12d38a98e00ea52bc73b4487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Cross3 False Passed
d3559d93441f2bd3a7857a88a424d2ba26be9e6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunSet True Passed
0e36dfbfb342ff2abd56f2a49afb7acb24e35f58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunSet False Passed
16f6129ca17c975a16b59b2cb1e1d957b477a0d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun RecordSet True Passed
e64a06955bbeb50179dbe360a46b333ca938b143 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun RecordSet False Passed
c827ce58bf8579c1914f48e3325a7e3cd267b834 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetDiff True Passed
5316592ec7210ec8e913ff3d2367f159303653e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetDiff False Passed
b221f6f7e34a7b9927a434f10d8ca1c51459295b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetUnion True Passed
34e18feefdab9180752cd1a70ebc1cfd994641b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetUnion False Passed
669918763c17c7970e2c13b8418a9b36e5793258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetIntersect True Passed
c37fe3bcda5af1703f47c4e3722b1deb97e59845 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SetIntersect False Passed
e060daad2c09efd0b9b3e22a10ffe0ce7dbe0664 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfCond True Passed
b45ac498240b16f15174ee3c3813e6e9cac0e68b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfCond False Passed
3bc07c0f2ff58f3bf7648a66551dfa7ee24e96d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfThen True Passed
621082fb49b725e5af2c14741ad78c08516ff7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfThen False Passed
60317c085a29c89c1d4ccce509b2b29301374b27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfElse True Passed
389ef4b39ded418b4ddea5ca977f3564bb2d142a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun IfElse False Passed
4b3cfbe84471a89163aca7ce7cee54facef797ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Subset True Passed
2a56d0359ba354d769803654d21f6213d8538123 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Subset False Passed
e7b12258ffb1cf097929ee5a7dc6626764a48c20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Domain True Passed
6dadc30c984d0370874aaa63befd014c152a9d47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Domain False Passed
2fd3f34317ddeb07613a0a495cf7236ab240f772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Union True Passed
3ac6d0b10c735eae765fe03d7f3b49b4af25e007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Union False Passed
e92d67d164443d7ae9aecd409cc9ad84ac658ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun NumRange True Passed
b03264f3d9dc97eedf7b6bbe7dd5b630001b643d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun NumRange False Passed
43830d5a8ceed8bc529a1476be4e58ef44834c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun True Passed
f0cc8b36893667603ad7a579920792b147bf75ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun False Passed
253c458613df889dd0c4c323cb00e91fe7faf85b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcEval True Passed
b0889567c91ac684cda0a67c44eee78c8ac81f70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcEval False Passed
5f066b8e5fa22d9d1994e257160234a656034130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagBagToSet True Passed
356c878a6af013522619e5bd68d1dc90ed35701a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagBagToSet False Passed
d49eac76ccb176e13b8886c362b9f52296ffc803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagSubBag True Passed
ce047c55be656477c5fed8bf32f7e16252f6a0c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun BagSubBag False Passed
3da362ae84ff18a15e03c2856e1005740ceb13b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SeqHead True Passed
037b30b79f11d3e3b2c665154d9b95dd2033deac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SeqHead False Passed