Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
98283987467f02d85b7bc1b6e096467f81b89c8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange OneLineComment True Passed
bce5eb580e77277b4d8bfeadccecb086a8246686 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange OneLineComment False Passed
c38cda8c9978772d484fc185a774c93f226b57da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange MultiLineComment True Passed
b830354d67ae0017b398499c8ed2f76d7dffdfda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange MultiLineComment False Passed
642b7417388eb6d018a7d7fb1ac80e4037f07db5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Let True Passed
0686e1c4bcdd79ed319b3f6a4cd21c2050ddbf9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Let False Passed
eaaef729d49cad8989131fbc26fb009e75a6aa6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Choose True Passed
07e1c651402305daf8d0efc8d1e95387be476135 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Choose False Passed
15865c6e66a95f772cf9668290a42825e9b0388d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FunApp True Passed
86a8b4ce5c99092a043447d2830791055e3687a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FunApp False Passed
dce057f054f3825c0af2550c04975f04fe0c8704 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Prime True Passed
64c25d77e9d1788c1d9cfce1c7c3abccd34ed9be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Prime False Passed
0d0a8f258f4b3f9dfc76b933ee1ad5df08e784f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumZero True Passed
dfc02434edbe6df72bef4c04d9b6f7b647cc9789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumZero False Passed
49baac0ac772299ef88f4f291e1a49a253c31259 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumOne True Passed
ca8a6681ac43811eb7beca902ec4a141a89129d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumOne False Passed
d6d6d0f91ca6fe67a52a2408ba15eeb76f513541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMaxInt True Passed
1e8b626b27fd5a40d3f8ef62f9f9ce3470ded843 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMaxInt False Passed
48e7bdb6c61ba6624cc3e2da1862540016442141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumUnaryMinus True Passed
613b8ecae5eba807620fcc76f7c911f69f32b314 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumUnaryMinus False Passed
c234e905a69eb2b4019158aa085951706c2af494 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPlus True Passed
985b5bc124edabb8d3cf1073249d110d49957136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPlus False Passed
571280e5bca5e1f74d3d63f20348b3ee901abab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMinus True Passed
8e2088d6d9c173a52c8b13c2f0b3f6c32c0209d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMinus False Passed
e8f210b6e7e09a04c41857caa92430feb7c99e1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMul True Passed
1b0f7569677c265f1c6f8ee41056e84c365948a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMul False Passed
5c526d763b12a932441f9013420c2a6a61b18408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumDiv True Passed
f74ed45040129b16226caa8029b4b0945663a759 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumDiv False Passed
fd7c06c7e23d5adb58d05ee45bb79d4a0d3e0c33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMod True Passed
aab16ca56670aab73e4893cc6990dca4a550bec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumMod False Passed
207961261d37e9db1e3f2b5422fc673e67eb2905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPow True Passed
22405fed7e9aaca4916c83bc78bf3bb75f2a810f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange NumPow False Passed
10843436ed2085c13efc15332ad260b39195cbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def0 True Passed
9785cd283503e002268483562bad1eecee4a8fba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def0 False Passed
1ffa5d63486c06a3dba54ef898041aa509ec581c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef0 True Passed
1299af04a209aa33cef2a8aabff73607b648ea54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef0 False Passed
ab42bc3e68f23d6090f0cc24b7e6740f12384455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def1 True Passed
ac2d1ede008152532add5dbbf7d1a6d062140a0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def1 False Passed
5a7fe91f515e7ae4064723d2afac6df051289745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef1 True Passed
01e53b7681eb3de268bb6e2d6c3091bb2fd47d0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef1 False Passed
c99aa86961b8bcd0f6d7e778cae7690858b3db2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def2 True Passed
b9577c090b435f3af8af94ba75252fbda925a585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def2 False Passed
687457f95de7ebfb7c9a31bb3c649bd41b86fbd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef2 True Passed
05a5d08946fc050c05f7d650985191a15bbc00b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef2 False Passed
0a107fe1b6a4c8ab3054672c2045791ef58a8ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def1Recursive True Passed
cebcf9ddc5a229c1ff1b3fe30894d059f5880bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def1Recursive False Passed
03a87fd08b123ee33274331e814e6eb887f88b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef1Recursive True Passed
65d047093b96b270de6223e5bbae0aaa5f21e9bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange LetDef1Recursive False Passed
c676a8935ab09068f8da0e4ca84e4d44f81e640e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Extends True Passed
387391f50079ef5f9d8f4fa121d80dc4e9edea0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Extends False Passed
d84f0da9369689169073e723c8157645ee90e3b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ExtendsInDifferentFolder True Passed
d4b9eaf385011c19b6449f3a16b603ace7a0567b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ExtendsInDifferentFolder False Passed
fb0b7d64f1e4f8dca35d64db64f160f96850b9ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Variable True Passed
a4a3f477565847cec3036e150a1986f117f3f365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Variable False Passed
d4746e1827a394cba35d7c1f4f73f51ff269481b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Constant True Passed
3b5c8e5c5c9435c9b606002362a5645740716fc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Constant False Passed
a32d091cbcf57b08a7db987a076c4ea51eed2794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ConstantRank1 True Passed
c786b7f07b7c50c63727a873a18be6eaa9cc7be0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange ConstantRank1 False Passed
c5298ecef9b6e35c1af7485fe325981c668e6b76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Instance True Passed
c311003e55510291401c95a2245330638a17888b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Instance False Passed
87996a1b44d211197abe998fa6f6f3eacf905e06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWith True Passed
5d5e0dbe5d1b3c18670b2193f250dd9c312d0490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWith False Passed
c3f91350bd8cc8eed46f8d1cdabbe9c2ebe9f5e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamed True Passed
e3293073f29d86a5750fd60ac63017545325173c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamed False Passed
e725088c1fec330ab543a70e4c7d7518aa90f2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWith True Passed
d82f4381e669a0deb5a8995a863b616aa202aec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWith False Passed
f598600ba5c124bd37a0f55ed10fbf9d236ab88d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceInFolder True Passed
b1e94b3ac57d09b1bfce8b19807411aa60e14874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceInFolder False Passed
76e14ed8e8a04a4d3dda8d62cf38303293d200e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWithInFolder True Passed
33674b38325bc78276800a787758f4b8e65d2849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWithInFolder False Passed
6d64891d1d84b1d82b6f549e11cddcf3ed74ff58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedInFolder True Passed
45df9d5324c75d1192ffb7291a7e94dd649c5203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedInFolder False Passed
71a195e01373dc81faaa9b938fc24b5c7471ee71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWithInFolder True Passed
04d67c72aff79e460c51083b60f99a5b27cca5be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWithInFolder False Passed
f0203aa6ff6f7947afe3cae2f0e0a086e5e3349a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfCond True Passed
0d58ebde86e6b90e1959eda5ed9089b23e20cf53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfCond False Passed
c37b4e98e758012297b4c824852b6bb32d507374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfThen True Passed
58463931b2c74f8257a160cc31f705f26e9c3fcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfThen False Passed
5f22f1ef147b480abbcca7aafc5d53bc4b8f3c95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfElse True Passed
c66a229e22a6023cba24713b3e1b89f5f0a7be90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange IfElse False Passed
6cf2b5fb6a5cb723df79ee8cd39844e9616c5e93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqLen True Passed
936ddfb8e3131084ec34e88c4eb8e4f2a35a8eac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqLen False Passed
975cb8e75b5d13ad2bd7ce081883de9a14441b6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange TlcEval True Passed
9a275d58403a5b7c7cc1622f26b58193a378dacb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange TlcEval False Passed
7b7386c9fa658a145fd7c9749bf7db20cf8fcbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagCopiesIn True Passed
eed6f0e0ed1c8811e3d976d4e3694bf289ac193f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagCopiesIn False Passed
35efb7d57feadcb20fb5a39d99d1122c3c4ffba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagBagCardinality True Passed
5ec675d04eda613567d2d9ed8b891d19b99ea376 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange BagBagCardinality False Passed
ac364adb10aa40a3b34a961c1ebd8cd5d47b44c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FiniteSetsCardinality True Passed
ea6277d3d766b68ea764f14471019bc8c7a9aa30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FiniteSetsCardinality False Passed
45dc3052fe2f59e4cd0b87bb55f3e0b315cd9477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqHead True Passed
03c79d0aa0caa4c2a8650bc052615931f73f5b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqHead False Passed