Feedback: WorkerStatus - siegebell/vscoq GitHub Wiki

Indicates the status of an asynchronous worker (used to check proofs).

<feedback object="state" route="0">
  <state_id val="${stateId}"/>
  <feedback_content val="workerstatus">
    <pair>
      <string>${workerName}</string>
      <string>${status}</string>
    </pair>
  </feedback_content>
</feedback>

Example values:

Worker identifier: workername = "proofworker:0"
Worker status: status = "Idle" or status = "proof: myLemmaName" or status = "Dead"

⚠️ GitHub.com Fallback ⚠️