[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
parsing invariant string during tlc run
I'm trying to develop an interactive simulator for TLA,
In the simulator I want let the user to interactively add invariants (something like watch expressions in traditional debuggers)
is there a way to parse an user supplied _expression_ and link it to a running Tool instance (tlc2.tool.Tool) ?