On 7/5/25 8:00 PM, Igor Konnov wrote:
Thanks - I wasn't aware of this at all. I'll have a look at how I could go about integrating this when I find some time. Python may already be enough for my purposes, though a Rust client would likely make my life easier.Apalache has the server mode, which was designed exactly for model-based testing and avoiding the repetitive startup costs. A client can interact with the server with GRPC. There is a Python client [1]. I believe that developing a client for another language would not be hard.
And since you're here :) I take it extending Apalache to just check the conformance of a state pair with a formula isn't really trivial?
Ognjen -- You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion visit https://groups.google.com/d/msgid/tlaplus/05596433-e0d3-4527-ad40-3c7070750ec2%40gmail.com.