Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
053c02b0f31747d629c316d575d441874bc77b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod OneLineComment True Passed
d1d57a1858a46917150027e4fdbf9d971e13bc27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod OneLineComment False Passed
7995e160c746ef11be532957bde58e297eedb2af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod MultiLineComment True Passed
3873431b2e8fa5861f0fe911aad5c8cf3a1a0571 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod MultiLineComment False Passed
a45976d2abc87d7d969f596f38913f5d4526c39e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Let True Passed
5ba5b18a4b6b77bd6e81dde92a774d4fb477d093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Let False Passed
3d61b533a99650d6f24d3c650b9799d58e86b7ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Choose True Passed
7cde47ffc2cc53faf1ef1393488548e829f9bc95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Choose False Passed
fd4a090d1bf84ec78a136ff915215c7cba9622bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FunApp True Passed
34e67c3caf8a0dbfa1adaedf4aa918d5a8d50fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FunApp False Passed
f3051c63099c942457a2edf78b3fc45551aa7f5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Prime True Passed
50a51e0bc7d82e13eea3a69343a7118a2fdb998b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Prime False Passed
6150f17cd0a8e4daf69694b2626d2ea2c5c36366 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumZero True Passed
512266163dd8799d9b982aef7c2cd7153f94b697 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumZero False Passed
22b7400475559399d84c7f715361a97fbe2fd33a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumOne True Passed
ffc8139bbf99249eb86f781f6335d8a9d95156f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumOne False Passed
299caa8c35a96c9c58b8336cf7b8e7c703c52d69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMaxInt True Passed
5cbbaea5a782430a0f9760c5a24b6781e90aaaf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMaxInt False Passed
2a17ca25b8b8e5752db910fc104bababec5c5555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumUnaryMinus True Passed
62a36169988da8fd658e8f304fba3c8b11191cfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumUnaryMinus False Passed
f7f8413d3e95eb66dbef2e8604f3168da981f35c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPlus True Passed
17c8f33eb1d5e5d6896b1aa5299fd56234ff8b0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPlus False Passed
be5930171e85e7a207d7755a19c64632faac7030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMinus True Passed
7af57f6ae25684266f3e563fde5f1df27ec3ccaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMinus False Passed
ea2809de5c622c7bd71698309d3f0817fb857051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMul True Passed
a5bc8a37f36fe4723c06a53b57d7809e1ba2d4fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMul False Passed
39fdf4a81b0d3680bc68e63a88458ac30a1356d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumDiv True Passed
8ec7341ec4d9a78b7fbbe44286ecadf96fc9e408 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumDiv False Passed
a82ce8cbea90893a14cf55905d953da4b8d5019e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMod True Passed
c2c9112494c028edb005d1296d5e6e555ad18bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumMod False Passed
5e5de67a19ecf76714e4a898524e3c57890705e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPow True Passed
f4a27d1eb6262ff3c818edc7b3bf91ce642e4981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod NumPow False Passed
688ec4a321d1f9b8f17df6ce545488ac862dd426 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def0 True Passed
9d26e1eaad48a8a34f05b21bb8a0fa76081bd45b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def0 False Passed
5e9ebb7d8d93124088e1674beffae48e746a704c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef0 True Passed
01a8db478aa8cf63564f8adcbf5acb24f006e7dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef0 False Passed
ccc162221378313a2c8e15fca4b71adbd142efb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1 True Passed
891ebc89a966378d4b2a3f930a4651a6d019a2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1 False Passed
2727d07820358f070b845dcbd46e682df408e3d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef1 True Passed
d9c32c056acb2647b88809461af13d09ee788161 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef1 False Passed
9df3a4dad9e0d65a60d48179b319ce398960c219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def2 True Passed
8bd8ba07316cb1133baa806dd8cd0c3cc0c58412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def2 False Passed
6fc3e6a0322e37d3b469cfbc646b56e17e5f7e0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef2 True Passed
4f9695f1454fdc2561053938e7232023cc621872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef2 False Passed
5a73d3715528cecfb9555f33fcf1881515dd9179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1Recursive True Passed
e68c285a7ea5acdf88d9d74a7faa044054cc11f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1Recursive False Passed
54729168adfc3798bb9a99a5566367cbd6ba20db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef1Recursive True Passed
2d51f59b17e99204530817beecd56760e62aac3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod LetDef1Recursive False Passed
2b0198762b3ac33519fa6130c756e6b002024d92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Extends True Passed
62e9018e4cdcd3c18e977c3318786aa1dbe83242 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Extends False Passed
f2b3f558f6ae839dc0637da2b8e261da423af896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ExtendsInDifferentFolder True Passed
8152d38c5ed9b0370bc27a3352f95eb79e7080d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ExtendsInDifferentFolder False Passed
ba67f1f34ad3c055a580d6be2159718eda8144a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Variable True Passed
e63c134d9c8022d03840d8ecca75776087f2b65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Variable False Passed
ad378a2b13ac004ac9ecb26fed4228d39e50fa45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Constant True Passed
e7cf588b5a03c2b3f927c77435615fdd1bf02eaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Constant False Passed
2010141ba639b0a9dd187831729703bc8c8d9a44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ConstantRank1 True Passed
ecbb174bd2d10956bf56ee1e6b882ef4906596fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ConstantRank1 False Passed
414b3836e3331bc959263221967ebdcbf17db6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Instance True Passed
ca2742ac7a146f67578bfa6781395cf139956448 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Instance False Passed
ab01d5b41dbe1f9f159e4d3773181e1a69483009 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWith True Passed
43208d29e84434249c83377141088781caafcb43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWith False Passed
ce44497f3bf59d5649a4d85d3ab8d6384eee7e35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamed True Passed
35238002eee3e2c990a6dd356561d301a12ba013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamed False Passed
3c411b575171a9d36255a049ba8c62b49b0a7c6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWith True Passed
36de33fb97427f1ccfee5420a5d758a985f3cd27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWith False Passed
7fb90553671f2f4f04e84f8e9fd752f03400c56d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceInFolder True Passed
6c740cf0b4303f22b93cf65f58f7c65983b5ae61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceInFolder False Passed
f9578f28c71dd03f66d033a418386271b10ae74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWithInFolder True Passed
a5cd2ab47cfe1ca00b62dcb7be8854f37de30be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceWithInFolder False Passed
a0ee7936d744d5bc7e1e835dc8c38f0c27b2121a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedInFolder True Passed
3256330d9a96a05cc16a8e8dafff32c1302d4ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedInFolder False Passed
755e956a9eef759ac1cb3ea7463c7cf786645fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWithInFolder True Passed
c5079cc7bf83f8e0d20e85e22d5588d9f2d17bce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedWithInFolder False Passed
bd3515360d1c44a52362d47ba47ba85f6ea89701 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfCond True Passed
d247e261707e9ee823b27fc06a2b81016611f58b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfCond False Passed
a9b72bbec6b5eb6aeafa54fb87b084ceaf88f2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfThen True Passed
92cc3c884766578691a35ccc9a4a93eec5610324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfThen False Passed
c0d35edd79d6db0fc2be17ebdad834b9482dda41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfElse True Passed
ed8ea58852c4f4d664ac4541c93a6e532f1a8ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfElse False Passed
8d0897c92117315190824077f19bba017dd37b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqLen True Passed
36abdb6d212c2ebab71cf29e79c480c8021eb7bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqLen False Passed
d92bbf52c8d9f91a1ccbfad38766fd2c353f1c96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod TlcEval True Passed
50840fe073f8ff44f0c90ee55e73b12cb5e01ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod TlcEval False Passed
bb3028ac885f4fca186be7aed68f8d61ea68ecb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagCopiesIn True Passed
ad4ccf300cfb6394703b9b0955b4d081a94a6c80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagCopiesIn False Passed
607d26da426ca0a5a77e100462ea90b96162da7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagBagCardinality True Passed
ef93aff35c9dc01405dac36d211d74b0b700c86f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod BagBagCardinality False Passed
43ba6d2af086bd4dcb99bc2a81d409ec394f085c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FiniteSetsCardinality True Passed
0f73140f8a8b808bcb44caee90f9c5388bfe7be9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FiniteSetsCardinality False Passed
eda1df00370a8d00587aa4f84ca0b7980e157f20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqHead True Passed
f02ac6bd5bb0727453e761f3f1f555b65666667c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod SeqHead False Passed