In reply to verif_learner:
A look to the source code answers your questions. There is no analysis port either in the agent or the monitor.
It is up to you to make your implementations.
In reply to verif_learner:
A look to the source code answers your questions. There is no analysis port either in the agent or the monitor.
It is up to you to make your implementations.