Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e1f17ba929e4cb80405c00a590514abf80828275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OneLineComment True Passed
e2328d691733187db0434ac57288f0d6e0cf3280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OneLineComment False Passed
9057509ad6544dba4425713da39762fd9c8586a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And MultiLineComment True Passed
c4d9b02be55842a60cc63529a007e03b0fbca409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And MultiLineComment False Passed
e558b62dfedb901d943cca29e0bd5ce744916b59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolTrue True Passed
ea24e40e4504f1dcf94fa12c9fff39f2d24e45c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolTrue False Passed
e07cd7c11645ab63fb560955dc8084122b69b85b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolFalse True Passed
e4d7cfdf26bd093af5451497b03480ff6579f933 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BoolFalse False Passed
89eb3a7d6e1fe827405245676d29f4444d0acb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And And True Passed
1473b646c72b523d96e78b1d2d925c3720c719f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And And False Passed
4e3b602b9e6e686ea72d1572627a9cdcad337399 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And AndMultiLine True Passed
e16653e3669b8a88e6c847ada56e4868d75940d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And AndMultiLine False Passed
504e2ebaa6e0c1d86a86b14bd95820ee693c3932 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Imply True Passed
c85103d68c640cc73a7ba08f3469e3baa134abb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Imply False Passed
03f000fe09ccdbec60d5902841233f24e459786e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Not True Passed
53cb4f25f660fea0f4c84243b82b4c5c7e5289d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Not False Passed
68478fb04d85e17f53e87c4ac08959440454536a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Or True Passed
fb82f73e26f7c2a445cae922d46051b105db031d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Or False Passed
6e85c2f6ad01fdbc88547495f4e1ba84304a5c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OrMultiLine True Passed
a47750fa60303ade888d4ee3c2e2ec35d7c9e276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And OrMultiLine False Passed
749d9b72aa06488161e6e26f822cf3edba69add3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Eq True Passed
7589ab97b94f90ee63dae943f2733c7971b8a3fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Eq False Passed
a6491a1d947d658a178a4669e11d2be87a93255f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Ne True Passed
87a6fcb782c0b53b5fbd1a3c6de8f1dad7a19036 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Ne False Passed
0ed2ff81085155093c192262d2811bd85c75d95a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Let True Passed
4c9397921a7402210b07288646031830923ee103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Let False Passed
5550606103aa73a9502e3ac447a9bd1fe3978d12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And In True Passed
ec08df2ac27488c96856097749a0dc580981c09e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And In False Passed
c483ec20967d79663a42c84072028b7e5952811c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NotIn True Passed
794aaae96f8de9b8b9ca1a115bd74ae642da6b97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NotIn False Passed
90a854e0b88e2be3220a9b465e40fc8f963b48c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Exists True Passed
cc1026c9dcf612310514dbce8f0d90e53b22622a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Exists False Passed
60487fc8a244c5b94c373b263f76a41e1b2bbffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Forall True Passed
ddc0ca0a8fbe98c263ec923d7a76d471233b2a6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Forall False Passed
c77e6c094705b3c3ee268015c41c0f3c7ecfa566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Choose True Passed
f0c86aab1cbdea83460c89dae35f4f3d28ca3ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Choose False Passed
a2d4f8b7d2d97df7c3cabc2432ab4e7022b939d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FunApp True Passed
58925fdaaf88253bb38d3cb7494c3a9c1d5c34e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FunApp False Passed
c019b4b6792f607980e0fd30971151d751128bde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Prime True Passed
9d6c46545025d9f34b388bad74772cf4654a8c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Prime False Passed
9bcb5bd2344b51136ef5e3741966ea4eb48a06a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGt True Passed
b4e6cbfb0a44552dfedee65d4846dc67915e5d92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGt False Passed
3747cbbe5ee01aa59d96451b84f0b0ce68fd18ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGe True Passed
44d2359bc820a235142dde759f06fb013c365718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumGe False Passed
9d742a8569b037328cab86ed73fc06aa0c8dd3db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLt True Passed
a1eb38dce4a93c17c2afc045a3d4f261d5e9c475 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLt False Passed
de337b1f3cc78b7227d8c7669876f8f18a343c7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLe True Passed
2728b754666a3ef4a3ddb591b0366b5599357908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And NumLe False Passed
779166d6c3c0f24cc2911499533825b4ec6d96ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def0 True Passed
e92458189f6a859d53af9580c0d37a0f793d55a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def0 False Passed
e7ddb1d8b33e14a9187414d825a12ede552a6c63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef0 True Passed
e37379ef06e1dab27c27b9218ec4b08d896c1f60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef0 False Passed
895b52c0cc66e02817549cf98a564445848961df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def1 True Passed
b0c372f9383d834927b6980dc95c18f87802b302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def1 False Passed
9575c2b582acfc74e8396a5fbb014eddba7f2210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef1 True Passed
34ae55d1d98472c45fd0aaf93677abaca0d241f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef1 False Passed
7876120b934d05bdf3836678b571bf8fc35f94bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def2 True Passed
af80d625cea70e597f07ccde7e608b0fb9273545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def2 False Passed
105729b19b9ca871368403e2841e5c2717f60d07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef2 True Passed
99e3a3d58459ce1cebe5c7f8c228c35a35984fcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef2 False Passed
69f670ffe5c6f05163ff8c0d5ddda873b128549a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def1Recursive True Passed
d9868c9f44f648d3fe4e963b638d4f08d066c9e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def1Recursive False Passed
832431655c72a3a718e2f4b8656c8fa4b682baa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef1Recursive True Passed
3c58c56ee70fc29c24f79efae7a09f57096b4e7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And LetDef1Recursive False Passed
e78b55c2eb2ad40f6712a235cc7c0751785fd68a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Extends True Passed
6f15cd3907e0c4f6eebd37796c68a6358a269e3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Extends False Passed
ee3aac4507dd23cb70d055099601e669733029f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ExtendsInDifferentFolder True Passed
867b0232d74956f08389f551cbf2311f9e2b6392 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ExtendsInDifferentFolder False Passed
f2b39934ee87db07fc23a46c3c23cbc835a028dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Variable True Passed
1833c2b3507507ffb96d8015543d9a39a0a82eed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Variable False Passed
ac7dc09341cab9dc44efc3dcf239aff44b3ab6bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Constant True Passed
45c2a405a485a9b496610730c36e94428e2b6a53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Constant False Passed
4620d8bd6aaabf94d34c7822ad1d6a07c7cac0c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ConstantRank1 True Passed
1a88014be171022f57b882b5b0911d208f317330 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And ConstantRank1 False Passed
39512d11b506bfd319cddb083aae13e8998be9aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Instance True Passed
cf93bacb7abe11ea20b97bb55a324edf3c6d7a09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Instance False Passed
6e78ecab95baf9a7e7584043794d24832d91a880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWith True Passed
1441f4842e952e47dec01a6600b4b64422d6bf4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWith False Passed
b1f9f84f3d09aca0bcb8f8d4eab25aef51440a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamed True Passed
dc738d429b66af585cc0e749cbb818a812f1f95d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamed False Passed
db2e022df6e716c647e656d49eaf3b8b137fc4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWith True Passed
c31f980367bb2fd9cb1dd0acc1186456ecef5089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWith False Passed
70733ace58de2b38387e49cd5c3050d049ae3204 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceInFolder True Passed
3170645053b3fca71ddf88f3e6dc957e9bcb7ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceInFolder False Passed
a11847db13a91e19f0eadaff9ce6722adbcc8b7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWithInFolder True Passed
52270770103569dcda6bf83e97a02f4c8e68e25e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWithInFolder False Passed
fc886b983f5e5e6fb055cf9f0cb60b6ef7a28baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedInFolder True Passed
a699a859f1e3a0d4e830204bfb3204f988a2e9d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedInFolder False Passed
7efb99a305dbfa21eb06c3e13f50001688168be2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWithInFolder True Passed
0ddfe7b9d083779797445288329e85a434377699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWithInFolder False Passed
361edfed916a64477394d392431ee286d4da1149 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Enabled True Passed
80e0e4eb8eaf3efbf36b23079bf3dfd2e6ee9457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Enabled False Passed
64bdde7e1a6e36e34abccda4344d511f0ed4d3ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SubsetEq True Passed
0c2544b98fb40b1ec64b33b3d2ee39c24c180919 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SubsetEq False Passed
72a3c5b99a693ff57e80f520aebd17cd9f5202c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfCond True Passed
89ed37088276f745eeae29ef30ae9a5c23c4cf04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfCond False Passed
2d57e4a59ab22e8ae8aa867c1312c3ef72dbf201 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfThen True Passed
64251bbcfe5f5e741e13e3989bdaedba7a501042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfThen False Passed
06c0657c11101766e77b2da9067f5c015a68e4bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfElse True Passed
7d6a32b31be9e0a62caeb8bcf44e848aa560e50e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And IfElse False Passed
509d4e15c56a59f996a47414637c23d00fae1221 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Unchanged True Passed
8f91bb099792af1f0b4645e7c47d42cee6fcea09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Unchanged False Passed
204d6f66a50397ef62eb8902584706193dce5083 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Equivalence True Passed
7bfd6846a5069767d7cd02a9316c439fcd0bc633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Equivalence False Passed
7cc1ee619a7afac8666670035d69258e5b6ea054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And TlcEval True Passed
b5b9745073712001ba2d2533a60e18f54ffd40c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And TlcEval False Passed
e388f1f88af6013173fd4e4051c956375e803f5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagBagIn True Passed
15b848ace2ff8bbd2bb558952cbe0040da2b9592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagBagIn False Passed
32abfb5d81390c555c556df8691699fe20af374f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagSubsetEqBag True Passed
68a8c093e9a6ada23084a52b41044d01ab34a1c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And BagSubsetEqBag False Passed
e3d2b236bf289664924e30d91eae51f522189f46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FiniteSetsIsFiniteSet True Passed
4885fbd48eca174d47e385b3310b82b5ae1c4996 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FiniteSetsIsFiniteSet False Passed
34a326d99f8e646d48b23504a66ee8d3caff3de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SeqHead True Passed
ee2912591288f2ba0a737a3b7318731465f47fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SeqHead False Passed