Ecdar / j-Ecdar

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
MIT License
4 stars 9 forks source link

Logging printStackTrace and err output #91

Open Brandhoej opened 1 year ago

Brandhoej commented 1 year ago

In some cases System.err.println and printStackTrace is being used instead of a log function (See InProcessServer, GrpcServer and probably more).

Also we have to consider when we should use System.err.println```for ouput instead ofstdio``.