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
    • 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: