This function was modified to send requests in the JSON-RPC format, including the function arguments (method and params) and the ID, which is incremented with each request. The response message is ...
Why? Because now you can write your own test harnesses and symbolic search tools that interact with TLA + and Quint specifications. Use it with an AI agent, and you have got superpowers! Minimalistic.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback