Skip to content

Expose Apalache integration via CLI

Closed Jan 9, 2024 92% complete

Now that we have integration plumbing to convert the quint IR into the apalache IR, we want to expose this functionality vial quint's CLI interface.

This milestone will be completed once we have a satisfactory implementation of some subcommand(s) that let us modelcheck Apalche specs relatively transparently.

Now that we have integration plumbing to convert the quint IR into the apalache IR, we want to expose this functionality vial quint's CLI interface.

This milestone will be completed once we have a satisfactory implementation of some subcommand(s) that let us modelcheck Apalche specs relatively transparently.

Loading