Move call to runCommands() out of runQuery()

XMLWordPrintableJSON

    • Type: Task
    • Resolution: Done
    • Priority: Minor - P4
    • 3.1.1
    • Affects Version/s: None
    • Component/s: Querying
    • None
    • Fully Compatible
    • Quint 3.1.0, Quint Iteration 3.1.1
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Currently, all commands run through receivedQuery() => runQuery(). We should move the call to runCommands() up one level so that runQuery() and find.cpp are reserved for .find() operations. This way, code for .find() will not participate in the commands code path.

              Assignee:
              David Storch
              Reporter:
              David Storch
              Votes:
              0 Vote for this issue
              Watchers:
              4 Start watching this issue

                Created:
                Updated:
                Resolved: