Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3cdfb0dd5dcd8def59e7d7ca8581fbd891dde7f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BoolSet True Passed
be68bc0656710b1aa5812395a80ff3b0d7f64424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BoolSet False Passed
af932c0cdea994defadf0cbe6a890e0e9295cace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Let True Passed
0c8a40f520ae1bd38dedce698cba4a95994228bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Let False Passed
0c3ee9f972f1a736e55356654153dd0b3d474883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetEmpty True Passed
61343f15e1cb4d8954ae28090a3415e7119e6160 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetEmpty False Passed
5f43aa0c5a08ff3a30669bdaf4e9bc673e8b1b10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set0 True Passed
ea2a637417485ab5ef48610d224509c045b63580 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set0 False Passed
5ea93e813b9325d34f432f3fcd2979e81939e714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set1 True Passed
cbd76830a804445ccf4fd5db12ca918fac77c108 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set1 False Passed
58b497b994c26d88604f03e9dd16ecf2b5a81b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set2 True Passed
f59d88cfccd81bd33fc123abd98e0e585259489c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Set2 False Passed
6efe1847097ef633bb893d373ec072d6e8fd3b56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Choose True Passed
7d6362391e1f7dc6caae9809c67db4c7c3f899ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Choose False Passed
859ef70d203b92fa987c9bc8e5fe729b66004d30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunApp True Passed
33ec56f02923bcb143a56eda223a8ee083a642a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunApp False Passed
fcf5b62e4d9115e96710df643d532a2c0a46f9db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Prime True Passed
37ac8051c22e63694eae2fedbc8702766dddebee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Prime False Passed
7bf6981e26c855dce9ee72dadfd3477b809b43a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def0 True Passed
55685ec9d167873a4fbba11a950a4a457dd4aa43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def0 False Passed
e7d3da74e99e511c9106110c902ee9d84b2551af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef0 True Passed
7e7659af22540da8137d2fc15558900b7ad6ab0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef0 False Passed
29547a4f56112ca9c4df09fb7816e0a4865843f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def1 True Passed
438c606b88420cf5f99545091e5eb91e365a7895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def1 False Passed
24bff107c3d5387c8f36e6f997a4cf9c081482a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef1 True Passed
d46bf74b4ade0989fe1b50894100d624d0c555c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef1 False Passed
4d6cc3fa68c1fb2536e61a38a019e0907d2aa787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def2 True Passed
506ffef4c173433ffe5c8aff426f7d544cd8ba43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def2 False Passed
0573bd1219371d9052bf877e425d175a297e091d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef2 True Passed
d361bbc483ba7cf8d170631d43ab7bf2ed3e5ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef2 False Passed
8c92d5549821ced872168cb6c6dcdba5749714da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def1Recursive True Passed
366b140455c7880d8cf25a8334807f8fce0dcfa8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def1Recursive False Passed
27e542f59d4951074a56c596785e6d39109dc52e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef1Recursive True Passed
c0d336dbba99247f76313c55a2cb5f66aa4ca325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet LetDef1Recursive False Passed
45b299a2a5903d6d762fb45799ee9fca8bea2a53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Extends True Passed
df95f14b6c8e3c1371637f93b7f1cba1ee7463df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Extends False Passed
7f55e652daebf574d62d58a2c2ffdf972b977c13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder True Passed
6c30f9dd0e06899ce68b9e5ed2d723c057f81a1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ExtendsInDifferentFolder False Passed
4987a85ec1ff929c9883a6f11aa4f7aa52c6669d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Variable True Passed
d87e6c3ca5bba882a0df89709aa95dabaf6075c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Variable False Passed
950539e5b0cdbd4132d92c8eca3b45991b26c317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Constant True Passed
f4971d29970cb91b97385bcddea9db29b4895358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Constant False Passed
ad53686cf1d8fad933e55a8d593aed6cde6b61c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ConstantRank1 True Passed
2e36ebad742c8de6ae3bca8fac7b3b3796d4ba8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet ConstantRank1 False Passed
77ec70b7481e02afef0f13d0d028289f9fd21987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Instance True Passed
21577b74a2b24ac2cfd2b7ce88fc2344d9556cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Instance False Passed
981a06f4eb90736d4b257bb8d385e771513b9884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWith True Passed
c7e08b9728895aca1b74dc2198ac3fc8e40948a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWith False Passed
b882d9ee6cda1971cb06d537b3e7ee5cc8ba5113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamed True Passed
6d86315fd42bac5dbd60ce76b20d895b7920cf59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamed False Passed
389696e189589b2e9791d07a84441ece27ceec73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWith True Passed
521abcf650c74368ebdc5aaa87a15c2796809248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWith False Passed
b996be9db1d825aff9a95994d4c585a57bf16adf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceInFolder True Passed
aae13df865de3586799b430b670229b599f18ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceInFolder False Passed
42ac5eb0ec440534122df26865e6453fb0687c1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWithInFolder True Passed
4e595624289987e9d57d22761f0757a226cb5c1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWithInFolder False Passed
9c40e9fa35d016dbae9b14ff4928ed3011105054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedInFolder True Passed
31d3b8d7d9dd0a9882539ba0c8cc38c5db928675 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedInFolder False Passed
27506b29857733cc081a199365286b4c34bd3c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder True Passed
78a7b3768c8f53bf40b217f9ce3b80ec6d22f457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWithInFolder False Passed
dac9271913fdc841df95ac978ebda922e0eb59f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross2 True Passed
f72605fb1a67c6b323ed7c79667b6ac05a137317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross2 False Passed
9901694bb803ca4e5fa9065f46d3877f4b2205f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross3 True Passed
9e128928555809f2e2eeeda7abbaddbf0453154b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Cross3 False Passed
4a6459cfd6e01bc220d4bfdd85abee92d6860309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunSet True Passed
12d51cf6e3bfe56c7e6dbbb5c9514001fb3c2393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunSet False Passed
48798bd5a69b3d9de430c2ad88fbb5fb9e4badda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet RecordSet True Passed
d3e454f549393b2dedf42f75aea1277672c8f6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet RecordSet False Passed
9e56dfdb6bf7281c1b922be9847898098a9dc71c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetDiff True Passed
40fb5df5f84b67f02afd51b1b91003297d9e688e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetDiff False Passed
7792f0118c6f360e4f6afaa6676ebcd12eff6b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetUnion True Passed
b82fc3bf2e500df7be3fb08cef44f4c4331210fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetUnion False Passed
a2d26bf2855ebcc268579bad56badae3b3b9abf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetIntersect True Passed
8a975796113bc3645eb17b8587207acea50d6a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SetIntersect False Passed
6b0240cb12d738beeeb7034030d9af77333a3c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfCond True Passed
aaaec1d081bb0795223598d89c4f36a59e2006d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfCond False Passed
db26a65596f7667c22067a46842fcfb18933577f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfThen True Passed
9d2460ae6a2b17bf718decde4356d823101bc078 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfThen False Passed
d9edba3c0de0325a5a53cd3c26080769605a1550 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfElse True Passed
e0e1a50adf729203727d04d3ccc63086dad0fa9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IfElse False Passed
119892ca079065348d0b8b96f51eff76e4f4d03d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Subset True Passed
7dbcb4ffc7d674dc9e7a05e21fdb01351d52b4ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Subset False Passed
665aac1ec262433a26436e8316262492a36f9917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Domain True Passed
82731c2f9ba5e2d7ecbeab1e00a2aae1e1ea9486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Domain False Passed
4e230df0a99e5d522b1aece3b1fe90d1e9bbdd7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Union True Passed
dac24979b5892e121f7a8c7c0e19c5e713e4df7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Union False Passed
73edbefa9dbedac8bad466ac468abb8721004b68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SeqSeq True Passed
02934553b6d61b10097fe9be99c6f0714c1118be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SeqSeq False Passed
8c4c08d58b0c01822a9aa8fb4b43dbf303a3cc74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NatSet True Passed
26eacaa40682d07f8b34cab9fb164d653249db8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NatSet False Passed
8c23c34df313c03943ec70ff35376ff51e8cd427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IntSet True Passed
206c8c70bdc569724662c1e6a7fa4ee8521a4fec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet IntSet False Passed
bc740eeb7d4f34a977e5fe0dcde419fe882e347f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet StringSet True Passed
5984405b24640fbcbc34a8b48fda86bfe5cc0f1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet StringSet False Passed
e6220c5f57da0bc252aac19f2ec718652409ab29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NumRange True Passed
dd5ef4d9a521ef9a4be62fdac0c37b4ef804e420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NumRange False Passed
e7241811b3dc4e7a048ded2390e1277c2a571c0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcPermuteFun True Passed
4524f2a6faf3cfbec28c3e5979649c8d8149a04b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcPermuteFun False Passed
6d1543dca041730b2f0c5f1930b6d24615c3f4b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcEval True Passed
0ec3b8c625e944b66e13ef073f26c6d83b599b83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcEval False Passed
693b86d1ed73881bbfbd1c382c27b6622cdd0d39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagBagToSet True Passed
d06cace99d11c09ab86df0e87dbbff71d4bd2203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagBagToSet False Passed
ce7842c5259f5845d2aca94af7bafb2d565d46b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagSubBag True Passed
4348703c895f66d4f3ca168197a532f8023e382c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet BagSubBag False Passed
13ed06e4c510a4ea7936edaad69eb19f3aef5530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SeqHead True Passed
913fc768fcc051a4e9cfe02da840134f573a06bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SeqHead False Passed