Kenneth Lausdahl

I fixed the patch and applied it to the specified git hash in https://github.com/lausdahl/AltSoftSerial/tree/parity I haven't had time to merge it with head of this repo yet. I tested it...

We have here tried to summarize the issue above into two categories: - [ ] Make sure that the wiki properly describes the current features of the framework - [...

First system exit is not good in any case as it will terminate the JVM. I have other code running that loads VDMJ, so just because someting is not found...

Yes this seems to work. Can you make another constructor where the (error) stream you write to can be set from the outside having the default being what you use...

ok yes that sounds sensible. Forgot about the getInstance so the method above is fine

hmm how to do I call `setErrStream` without calling `getInstance`. Its `getInstance` which writes to the stream?

ok :-) no rush

Yes that sounds correct I will try it out once added

ok it works. Whenever you make a new release let me know then I will try out the new release process I'm setting up for https://github.com/INTO-CPS-Association/FMI-VDM-Model

Can you push a snapshot? so the other tool can build