Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3cb3a646f16f8f73fcada4a957ba54c99203c3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange OneLineComment True Passed
d42f2a3d3ab606932e41e81752a8925dbc260ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange OneLineComment False Passed
348a30718e57c939d5441b2eb923f732594193ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange MultiLineComment True Passed
44be62b847da945e1d4ac6f1e20fd67735b8bda4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange MultiLineComment False Passed
b453ae80897a3ea47376d11d0d7cabea7737e810 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Let True Passed
d118e457f973364cce2d56c302690ebfd12c6162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Let False Passed
7ffabc45195e4fa50ab6a755393e3123ec4da5ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Choose True Passed
3d70907514e9817a512fde8cc67bf40576f05ba6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Choose False Passed
58560f68f2e15e580da144cce724067aba780e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FunApp True Passed
e79009c48d6ce292dab1ee6e6a2edc0923976e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FunApp False Passed
07e84a4769a6e0181aba00fd003eaa38403f7273 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Prime True Passed
918fc65d8d611a5222b9d263881329c7d4fe092b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Prime False Passed
77c9a5e1822f7b4e15b63b58f32f0c4e2fdcdef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumZero True Passed
680a79b605ab158b05d6cb3d3b94f61269971402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumZero False Passed
a51035e7463f2fa728fb3e3b825464fcc96f352a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumOne True Passed
64ef22dd49dfe6168879e24de9ec6a88e8a5ed08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumOne False Passed
9f95063be3771a37a5a3fae6121d0c14d7222799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMaxInt True Passed
eb161eb19d71f2d2952c672333d479b0402747ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMaxInt False Passed
8a02e34fc77b547c6fc96b03b81348539621262b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumUnaryMinus True Passed
10a9e5816f55ebadd5013d2c6fe68b1523fb41bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumUnaryMinus False Passed
bef22c83d28153e36654720360d4509fa6de6436 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPlus True Passed
e59cb3cec0215bfd57a39bc738d9a3b33abf5d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPlus False Passed
a0aad4a70025fbf325fb8594d16cbfdc7f16488c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMinus True Passed
4b7af47496201b7ffcdab40ffa8b3628c46c674c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMinus False Passed
7ec98d543741a9c25a27f8c4019c1e43924fd7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMul True Passed
a0d6e5a26059bb870f45c1eb5e6bcf04ed020f02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMul False Passed
22bbe0d465ff113c8fbd5a4d30f241f769e84618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumDiv True Passed
11db7e7c8ce6f9370c7e197702e15fcc584e5cd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumDiv False Passed
c678714e601a87cdb4d0d19f245aeafa7ddbc3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMod True Passed
9eaa4dfb4f2df1c5d5968a19c84841d74fc21e98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumMod False Passed
b01c72c86fc5a766754d25a473bcf4dec453ba72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPow True Passed
cbec9e4848828a56da8c6968442135cf9bd4a262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange NumPow False Passed
ae02877a94a32a99811c6c27506878e80fb67d37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def0 True Passed
21e3a097eaa08b69642ce531d80109d4e76375dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def0 False Passed
fb456d6da2787fe9778aaa822a45da1efa988a04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef0 True Passed
cbdaa9a9bd11c4f58819c8c362eae0250242a0dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef0 False Passed
5cd88c9af7cc0deb9e957f56998d5e4bb107182e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1 True Passed
6aed4b4073d0ee50d7d250baff4365858459fad9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1 False Passed
15e7dfbde8532e2fe199508b7a5cdc7256b19b6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef1 True Passed
e430d49b9026d65d6315463536b92953cd4b468b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef1 False Passed
4818925da3a38e098a4e8dce4dce08e4eed38247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def2 True Passed
489c1b6d2b7db2a63d50fe693380c385d73ed2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def2 False Passed
1e31cccc00fa8d1af6cd19f9c6a1126bbfe5704c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef2 True Passed
08f351ad7aa050bd6f32967f1e39cfa96f3a8fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef2 False Passed
253ac1f30c918a62abe0b609589d5e5ab1273bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1Recursive True Passed
560793fac499ac14f8c6a2d57373f5201747d7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1Recursive False Passed
5f400c37411a4f4982414ea7e1a1ff9b9b3c6beb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef1Recursive True Passed
f6441bdd917f7f95f2ff3dab25ecfc5904fc0589 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange LetDef1Recursive False Passed
3251f7827a3561db90ec41745787273fa5797bf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Extends True Passed
953295a4c67fc1c76d67a0548ab2551c818dcf97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Extends False Passed
ed41406a715735fedd13e13eff26efd8f2d6e6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ExtendsInDifferentFolder True Passed
21a100d1a11cd55c0173510f83be8da7fafb0557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ExtendsInDifferentFolder False Passed
66c5fd8f6d4217b7d89e23017104f7770618c912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Variable True Passed
3671a98e4460c42d34cd56e2e6289e645f924ac0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Variable False Passed
cbed39b2b8ccdec1cb08431cf556ec071dbc7440 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Constant True Passed
2450318aee7e7832a8d5f609d4d372219a852774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Constant False Passed
806039e86d8adf5cab6a410f651de2b06cd7ba6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ConstantRank1 True Passed
b877ceab99e3466bf91bbe4237244d6054939566 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ConstantRank1 False Passed
2eef6bd4563a6bb5586207a607c1dc478d3bac47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Instance True Passed
7a92f14c52b3522de9adc4dd4d8fc8dffbd4ec01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Instance False Passed
c910d0102a764f1d2eb5229af2d5384fdea56c82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWith True Passed
a9d404ec89d684a9a6b81e5c0000dc4e222d2ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWith False Passed
98d6f0a5bd5aa7d9b58360cd9f7af1a88d03a9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamed True Passed
73ab31cb9628b7192ca81173918ba0cdd6bc1c82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamed False Passed
e7bec460880c1bf3d8643f70b68f0875e5888981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWith True Passed
888fdb6aab54b6b25704976451e51a96d747bdb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWith False Passed
e0a9385620f66d840fd356629f83eba112558b3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceInFolder True Passed
593cee9df60871b5881f680ff04d8f15bbe88752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceInFolder False Passed
bbf9bd2e260df8f228ab29fc5857ddcc0fad6361 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWithInFolder True Passed
24f0058f462f782445ac305b45a410ab05f6933d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceWithInFolder False Passed
9c00d0e4f72d7776313c741b1e7187714047b78b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedInFolder True Passed
1ef3e8570844a728e026e4a4adb66c71ca781d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedInFolder False Passed
cb9c87e1bd523fbecd7c78f91f9a1b0a3f357340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWithInFolder True Passed
1f6a83eb25dc110fa19da23c614c7e2d64e64a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedWithInFolder False Passed
21cfffd33b5c27d7207d68396d1463d4eb958036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfCond True Passed
e9226a83c48690bb3215c687887ec0a4aab23293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfCond False Passed
e2e2cd2a4ca4f23cceb47db149aabd1241ae3bfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfThen True Passed
823d4a8e22f15d6ef5738c09e0ddce5c84fa4b78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfThen False Passed
1be0bfdb8c4c2cd9b7b07a9166f17393854ccd4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfElse True Passed
dbdbb397b0f0301865cc7ba585253dbacf165fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfElse False Passed
bfdee855a5bfd71f8adf9b54e3458e786ef7929f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqLen True Passed
6150a9d4d847150cce6d56ac6dcba15da6e7c93f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqLen False Passed
bbfb2224c9060a973f6aae2096338b785c6df416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange TlcEval True Passed
8bc359a396373e68019170fcfe46bb23c39231f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange TlcEval False Passed
a1a66ec15802b550a2155a925d74f738acb6886c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagCopiesIn True Passed
6238a42291916e3a3a5bddacc8d905d1e2223f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagCopiesIn False Passed
e2b348ccaacd22c0324a0357a6191dcb55493288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagBagCardinality True Passed
c46d2c0bc77edd53e49905ab2df490d2fc83fca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange BagBagCardinality False Passed
9a41a7cd7d29754bb6c4c06a5131025868fe5ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FiniteSetsCardinality True Passed
8edc6670d11a76777a15c173bb43690a8e9b5c8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FiniteSetsCardinality False Passed
0f2f919e7060849f7934a2f50c2107fd7c197ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqHead True Passed
c583a9d0d55d0cea0a7cf0b99e53a76d657a8950 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange SeqHead False Passed