Include sparse/attr in explain output

XMLWordPrintableJSON

    • Type: Improvement
    • Resolution: Done
    • Priority: Minor - P4
    • 3.1.5
    • Affects Version/s: None
    • Component/s: Querying
    • Fully Compatible
    • Quint Iteration 5
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Include the index attributes in the cursor line: currently attributes might include "reverse"/"multi" but "sparse" is not added.

        1. test_server_3495.sh
          4 kB

              Assignee:
              Misha Tyulenev (Inactive)
              Reporter:
              Scott Hernandez (Inactive)
              Votes:
              1 Vote for this issue
              Watchers:
              2 Start watching this issue

                Created:
                Updated:
                Resolved: