Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
090e18884f807c67e48a0b4b4613cccd4b7d6ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OneLineComment True Passed
d2044b62b2ecfce3ed2063324148ae3879a15381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OneLineComment False Passed
375221f88170b225767c9c57f076ea4da61ba648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine MultiLineComment True Passed
5a33be83cfb7dba0d41305afe56a7340680a52b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine MultiLineComment False Passed
3319e8f979fa91a416649d8cb63020c95f8bbd45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolTrue True Passed
758c560a33cb64452a373787e73d87a2bcfad304 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolTrue False Passed
3fdae96594b76462e6e18f705c842668a2c35fe6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolFalse True Passed
b238be7361462003e85992fd5619bcf5f836d335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BoolFalse False Passed
3d236dabcc8f237e2b732c02caa97ef68c13fa54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine And True Passed
5cbd1098db4dcc53c4cdb98d68b30e670236781c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine And False Passed
ef4f0fac8c45df036aaf4a0c7dc619ca77a9c533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine AndMultiLine True Passed
de0702827941a5031d7eda007ca4ab7384f6d126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine AndMultiLine False Passed
4678d23c92448aed4fb279788b1a5c937ac284b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Imply True Passed
f97789f629ed954c34ee86cadf471466605e41da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Imply False Passed
78fc48be1d8d4115806040317ce0e65808f4d9bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Not True Passed
6b04e61b71c8a389cde5c1d974ac31e7e98a62f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Not False Passed
00db7821c6d1e31410f4d59d97e9aa52e8679634 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Or True Passed
12e9d7d0a8b614ae6712eef21a40f6757d9262f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Or False Passed
8fa33994a7cd79777abbaac61b760982009f6686 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OrMultiLine True Passed
0162fc60ef65bda6d1b3ce2df9eb67e904ef132f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OrMultiLine False Passed
9aa57bd81357559d69e35105bc69bb0be9a71bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Eq True Passed
b19d654b9f2120c185bc07ccaf52a7c79a4de0fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Eq False Passed
6838baf68090e324dbc97de72faa5a17599f2415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Ne True Passed
c292e00d73a16544b1a2ef40a311e33e68f063ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Ne False Passed
61070c0ba9a03bdf3bd9a0d8a68f98d8c86721f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Let True Passed
98d616a7f4ff4f5e1f16a8cc1894c3b02244c24d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Let False Passed
845121bfa6dbbec3dfc344c814636ee88592f619 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine In True Passed
930c1fc92aa856ab338ab2e4d1ab85c2f0503a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine In False Passed
b49315b71343e3202230dba4cf70726aa07c058f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NotIn True Passed
06441cd9a7c41c3f40853180195eb2c42fc09ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NotIn False Passed
6528562107eb98925a8a2b165d232a6efe347170 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Exists True Passed
a9308606db715015f3363701a4779c2f0488180a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Exists False Passed
77e4856dd1b7131069b8a294e50b51ff390e1b44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Forall True Passed
b18139ec8d4ef5252365a536565d1e359d958c04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Forall False Passed
e921f4a7c23c60a33f8d1b772b47df0f7e85bccc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Choose True Passed
93f57c3eff8e8ce517709029a2487c62fe35afae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Choose False Passed
b56d2064bb0aa39eabafb8ebe8a7a76161253213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FunApp True Passed
ade68642a2c311adddefa2a6db09f0575172568d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FunApp False Passed
dff7b9e7f0979151848a0c8de71573e92272efc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Prime True Passed
f8732071f29dc84dc202e18389dad98cbd080042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Prime False Passed
1842070da0cfc073a71eb80562763acbb5c99f97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGt True Passed
ab182ca1c134ea9dbdfcc3afa5e23af266333a59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGt False Passed
d9e9df15c0cd50194fb795264472fbe1e4b6d940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGe True Passed
dc4df035fbdaaf254eb5abab7f181975f625405b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGe False Passed
8d0bff2dcd6ab12291ec83850bf2bc912b4d28f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLt True Passed
a322066ef2852d2fd088189afb1c51c42e3a62a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLt False Passed
c4b2ead3015e0e808d967f373c9526eaad313523 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLe True Passed
cf9fe16e557c8ef4adc0e8c94470cac22e79cfff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumLe False Passed
dcffd463f1e78066ede2c0a3612eff6a4002e282 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def0 True Passed
d8bf8e79a080867e25617dd801bb5fe756804c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def0 False Passed
2a9952ac9672156f1f10e7a355c475390ef9eb77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef0 True Passed
380215a0e261dee5459b5144da7a80ec044b9129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef0 False Passed
ccbc3e8acd32e266c834fb3f936f0beb7275c591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1 True Passed
ac64aded1347115329dc2e72952bfdef3776ff40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1 False Passed
2f4fce4cf47763e274bae7a16cad824bfe2507b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef1 True Passed
89cfd4363416b17503d8ccd492736887c7e99159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef1 False Passed
c3dd68bed56255df23094399c66e2413bc44f446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def2 True Passed
ce5ad224bc77f060e1cf79ee41b24e1e0cd05434 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def2 False Passed
169c3a35ab8978681579a9f456c2b0907bbcba42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef2 True Passed
43a21c3225c147a375928cb66fe211c9a5ea39ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef2 False Passed
20a57016d8b1be3dc5893056918da036c2fb3262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1Recursive True Passed
21c208465c043526b030cd69d6dbb959294065a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1Recursive False Passed
881fb352f0bfb0167a697936d8816a2b6fc451b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef1Recursive True Passed
744d014c2559c86ab085671e4228ef53afe61dc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine LetDef1Recursive False Passed
a404b65d2fc82f486e45ced9231fa3bf1ea7b738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Extends True Passed
39cad26d77c44ccb5e46e4e05d388523a26d8563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Extends False Passed
ca58f9cffd076b7f814e7ad7fd0384afac0bd905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder True Passed
46559e367cd37a93f0c181942161a48859a9893e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ExtendsInDifferentFolder False Passed
bfec835928e86643830bb3d6b155686fcf2c3184 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Variable True Passed
d4ab7b643262f2e3b0d0e3d0fe9adc8fec0d0180 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Variable False Passed
3a61a859222369f378a974043f6cb8409d801fdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Constant True Passed
2ed2e1a7f87b778fc0654e20b486331a032a1a2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Constant False Passed
9f7e8c1b1c72ed5a8fc17a00a07757e2ad427435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ConstantRank1 True Passed
390d9da6a0368278b4ae0cda7b1cb75efcc1d36e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ConstantRank1 False Passed
91b6d9b098dd0ca7571459c22f85144fcdccc454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Instance True Passed
8d0a04d59aed3ad99c6580cbd73b37297e7662ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Instance False Passed
dfab1a26a826c66fed5791e50b4bb5e95a022c9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWith True Passed
1b19d449cc114597e3019f3a68ac4b7b81b9177b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWith False Passed
caba18faaad299dc29c07a1ba16337dfd99c3c06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamed True Passed
a0d90a28f15b7e661327ffbb931ccfde7d23349e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamed False Passed
d27c8574e318d5d3f66deb9bed99594d9db2aa90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWith True Passed
bc392bf6c5c1adfb187851eaa5fdd2e51b5f1211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWith False Passed
f9ca2e3f1e45cad1388072411cc5772427d14ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceInFolder True Passed
3e4024bc52ee1e55e8decda5532439feb67784ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceInFolder False Passed
3cbeecfe16ed794ee7f5879f965384fb5d179bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWithInFolder True Passed
d33a2721b279a5ef71cfc4d91d2d28616822cab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceWithInFolder False Passed
c7daa355126b02a3277c899180322d36d46241c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder True Passed
867c8ab04373e13d6b6bb25d62d630484f7bb9cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder False Passed
fd20bd0c6265ff4278c8dbb710b9602dd2521507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder True Passed
1c42baf329db398e0368ad43a7ab97fd336872b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedWithInFolder False Passed
c3f408ec6baa80495b9f97488de9588a626c07c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Enabled True Passed
b00f28a7f347508d58adf2d59f6f49c562e41ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Enabled False Passed
d9ce57b82fe1d0222c308ea6e49b2db31aaafe69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SubsetEq True Passed
4b2b9f9d82a0ffd79ea68aa4b513bdfb7cdae9b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SubsetEq False Passed
58dcffcbb6e4f9f1bdac070912e726b4898db37d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfCond True Passed
540cfae828a5c70b941868a58ceb4dae5c560c30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfCond False Passed
40a823ce60375289ade81478a2bf739ad3e107ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfThen True Passed
47dc7e99cde8bb7b772a9a743858cb9c5845072f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfThen False Passed
090f1c3274068778689759509b2ca6779a1bfb2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfElse True Passed
a93b395af3abcbe1203ceeaaabd695b1aadf972b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfElse False Passed
6f0d697d431dc398cf8227fb462d75636842c658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Unchanged True Passed
7c044c6134f634a2a76dec42aef41779086aa7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Unchanged False Passed
758f34de04b1864f238e11d8eacf1c0e2ea9c1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Equivalence True Passed
04ba6aeadbd1f51a6acab94e7c780202353a3f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Equivalence False Passed
12ee3af8624a37c4f3acc5c992858b4cc50291df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine TlcEval True Passed
cef476e0ca4917b25e35f489531be940177214e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine TlcEval False Passed
022c000df19c301470bc5dd669523869c1a557e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagBagIn True Passed
8598e44e7e6c06a4d140781ab2a4a7bdffd242a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagBagIn False Passed
d71a6ec448d2db798a058a684b738cc107825a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagSubsetEqBag True Passed
dd1ce7ab464d03c28bd708234dee5b289560001d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine BagSubsetEqBag False Passed
b3c12d1026a5f65692fea727479ade67dd5f502d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet True Passed
a5744358ad8e73f5ee6ff902a14e390edf8717e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet False Passed
7cdf797f77be5fa83422bdbe465764c32656fdf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SeqHead True Passed
517772615fe4f377edb26d09204ce71f82c70d6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine SeqHead False Passed