Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9340b6a2c800b85287c72ad1cf876e13d1f4a933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OneLineComment True Passed
ca1483bfbe692af22ea1f7a54eaa3e9aaa29c267 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OneLineComment False Passed
6605d753e87df9eadb35d7247e9a21d377a32860 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine MultiLineComment True Passed
ea02b897c821932f7157716b055893a85167a335 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine MultiLineComment False Passed
3a606fb8d602eac4860a1aa56986a16795248f32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolTrue True Passed
b62bae9c517c03b1894e62e1fa087a99f709babf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolTrue False Passed
3240a8dd9d3dd5c3625ab7f552fd0a26551c0b00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolFalse True Passed
5c4c8af26062b80cac9ae8c40b9c698e02cbf4df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BoolFalse False Passed
4bb53e45b268e358541e23f08dc32417e3881acc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine And True Passed
d35a9e47a6b9e9235dadee4b9c994691526a8956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine And False Passed
876664bca6c451d1caa92e7719f4bedf3b600dbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine AndMultiLine True Passed
9aeb752eb76b87fbe2316413ea259b7af536e011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine AndMultiLine False Passed
f3bbca3f3a88c6ac0f38f12f6aada7390293ba8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Imply True Passed
b2fb5ed6807615a72add77e899dc68692a87bf89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Imply False Passed
37846d8ab4bce8b2149ad0d436967c521bf3ecc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Not True Passed
1a37ecd36a94b1f3c4eb6ac65e9b62148b6e094c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Not False Passed
4f065252dd3b45ea7f4eb49500b901a73b9af5ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Or True Passed
7e31f6a7140b2990f0d77026a439f904bd11a749 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Or False Passed
4aeca7404b56265fc35e2e93350b8c18a650a709 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OrMultiLine True Passed
854fdf76c61473db3f1b496a603597fab7cebded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine OrMultiLine False Passed
5e02cf3e06b04ec02a0bceedfe144321674be7ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Eq True Passed
152c9e4be828ffcee457ab23b0f3dfb33cd46d8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Eq False Passed
d6f170005126d08cca89e19cb543fc91c80bd4c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Ne True Passed
8d237e219cb2de9e1092062e0f74a038b8590e11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Ne False Passed
20da956840373975485f0e75459f291d97dd0c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Let True Passed
73a7c0a4f99aa2753b1b140dc07ec3ab8a5b54e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Let False Passed
a4f54a754738f735f7fe71e71fa1667ae697c940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine In True Passed
d29eb4469ff6df858d5cc9c7ca8858990fbc916c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine In False Passed
7f9002192cb8728bb46970a44abd53b621551433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NotIn True Passed
5620843d63c2ed6bbdff47fa4cd7549b46991618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NotIn False Passed
795d8d5d6d612e8791a887ba332a72c8250adbd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Exists True Passed
7f8d6a331dfb90313b3b0cd874aa2a21064420e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Exists False Passed
00a8fdfc23013dd444943e2226fef2c406949fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Forall True Passed
5ff81c2d0494d004aa0fcfa9562177879b720058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Forall False Passed
b58c81520db81d37a9e44ee4dafd700164b170f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Choose True Passed
64ff95f851f5c68a9563add18fe3069919edbd76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Choose False Passed
117438ffd5c54d0a016deb243f0f020da0c92d8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FunApp True Passed
a17dab24c8fc6e2312a22c3fa55c9106e7fdea17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FunApp False Passed
3388bbeff06a44af6a09a6257bb6d3427f8e5a3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Prime True Passed
71c2180857f7b2a2b70830f89c2e82da1be07863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Prime False Passed
ab2728363ca900b2f7a3e7a1bcfbf6fcac022d80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGt True Passed
2b825180107e5078d237ee2e86d89e80c5c35aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGt False Passed
641511159ed3847fa60319905917b506137df702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGe True Passed
bfe07a3114683438490aec073d58a1f39af3178f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumGe False Passed
bb1f778efb2d660a32274712de690ea670361bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLt True Passed
be1327706448b6d6e2699b1d3d3a0edb09ceaa20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLt False Passed
016a88ec1b7eabc3cfe22cceebff8353a83ea970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLe True Passed
b195af63b8c4b8fdc3807ccdff589b18b7fa08b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine NumLe False Passed
2f7e6060538d37c64f7b1e4f31e3b25eb0d7ae53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def0 True Passed
87bb574814e5be4fda3cbc7760647fdccdaa8b4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def0 False Passed
588a989abbf74a825b2d8bfec13d4d831042ecfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef0 True Passed
b2f0ca060dcc1eac266e2708a7922b00d9e3b2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef0 False Passed
bcbec42c3a34c8dbb6c91a18d3f26cc0dd36b1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def1 True Passed
e62e9849f3faf625030783f1ce2543047a68fe33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def1 False Passed
813fc96bb08b9ed4b776229e1c0d42643411ecd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef1 True Passed
0faa6938be7cac503ce71ce53dd2b2b9b60a4ad9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef1 False Passed
f4ddad7a443db6c3f2375329d9b66a2e40108148 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def2 True Passed
e4ab295745150541404e8554c89556365f0b9ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def2 False Passed
e319a1c65e8678569ebb9cc44b588fb6487d8f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef2 True Passed
44d5f3f811260bd55b13dc22f772781fa3216c7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef2 False Passed
c9fd348ae6078054660b17bd4885d6b3673ebe9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def1Recursive True Passed
7573aeca7ec93339f18af9b03a518bde2ac025d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def1Recursive False Passed
31da201ad51ff9c17d08ec6590f52e90884307bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef1Recursive True Passed
b8198b9472fa6ebaf8c6716939cdbc3f163d5c3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine LetDef1Recursive False Passed
851190afd8fb5668ec9001c9cdf8f541e6e8fd4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Extends True Passed
89adbdc74def30db9b41574a2e4649212d3ae9fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Extends False Passed
b5e5b364f759768b7dd60718bded923d1c2c2b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder True Passed
1a30e0fc564cde4bcdbcb32b6d01b1b727ee2df5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder False Passed
3ee62c9bf74fc5675be337ad413debae1053e722 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Variable True Passed
a72492cb10ae1654950985bce453b80e6017a6af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Variable False Passed
e1cb133969f7c7ccfdf71e66b06877cc2dc3bc3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Constant True Passed
66753b0e3dba60409a38f621d56b7315c9a1874f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Constant False Passed
35732ebcd600026799691f38e02005116e639f3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ConstantRank1 True Passed
23bea4310d03c2df00c4f936caf745933517d184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine ConstantRank1 False Passed
ca7d1bd84bfb813513bedbf7d17cfef5dc4db157 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Instance True Passed
e65fb35487bf8b0b04481f8b441797a8b88c676d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Instance False Passed
83716dc9986ab4e34962057947111efcacd466b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWith True Passed
b585752a9575b8090852c3ed783523512d7dbd2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWith False Passed
2491933fcbec5a9888f374fbd3b1f893880e8906 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamed True Passed
8e196170b0530b4a370119d7be91bcd6458ddfd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamed False Passed
5a043d749d088d57a6585070f0d0bf104cee0c0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWith True Passed
9e159053071e1408e78af85a20a9e142410ddcc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWith False Passed
e5c989d4fd79a32695838a82f8c6d62912dd6546 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceInFolder True Passed
0b72cfb826a8d469fb1d5719a3a29c7ff092d19b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceInFolder False Passed
d72a4d1496410a13ad7c6df90f7707103925b3ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWithInFolder True Passed
bc4c870f2c922f690a37ad05e539bd31ba1ec2b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWithInFolder False Passed
829fe012aa45baafcf45d9776a4b5248e2adea35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder True Passed
859dc1db39756b2c76df4dfc820228f7e8447836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder False Passed
ec02e1a0ac6266af306514e7f2816eb2ceed5136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder True Passed
86d51370b7b06c5e102a05891809a864e6231302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder False Passed
b7875b6ee273cb2dd1938b568d4d45d195f7e6b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Enabled True Passed
88ffa7f5a62d5685c9a2e8e711f3766cc525acf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Enabled False Passed
096e47015464e6e4cbc6d6adff03dbb29ae926b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SubsetEq True Passed
ae6d6f8253c8e2b33dd87d3adeaf5abe14b65669 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SubsetEq False Passed
87733032378ae7f87fead9f7f1218310bebe0da4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfCond True Passed
5c1a639a0327add99179cdc2f3b7a82f17f02559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfCond False Passed
756ba3578a685b8235c3743228db4ffa81762552 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfThen True Passed
a8e8001a9cf8696d9d8131843c088b078fa4059c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfThen False Passed
101bdbec3ee9b96a536ed3fd8a2e3517171c9f2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfElse True Passed
0cacd567301f60072725c1892b54958eb61ae218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine IfElse False Passed
fb3f8ba80738dd6e2da735249d38d2df8ca45637 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Unchanged True Passed
bb29029e71fc16294c7215b47aef93eb847c3bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Unchanged False Passed
26fbff4516f7774f01c86ee88086d6b8d8ea0dab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Equivalence True Passed
1489dfb7ade333a231208ab45b5b22125bb9ec7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Equivalence False Passed
1f67337b9821f4832dda09c3f76e681bde4b196c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine TlcEval True Passed
ef9b6c9ccda202b1c8a91b73217d0667d4a923ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine TlcEval False Passed
8f2c2d923796a720fba9dda73e43cd48c247938a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagBagIn True Passed
394af5cc106464d2ffbdeb75e967c01e32978b18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagBagIn False Passed
e4e0c786dfc2f3f3b52c9e81829004ab3c08459c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagSubsetEqBag True Passed
2cc260b8db3e451d6282df84d5ad9b48f30cc926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine BagSubsetEqBag False Passed
a796ef56a2628e41143e0fcdbdc5ad8c8b494884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet True Passed
9776ed60a9d5d411fbfa8b36b5a0a5cc9e4cceec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet False Passed
35cfdac6f1f9f2dc845da2be98b7c3c4bc515ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SeqHead True Passed
f887082c993f9cdd87ca6ac0dec2c47bae923f25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SeqHead False Passed