ATCConsole.println don't print messages to console

lesunb / CRGMToPRISM

In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.

2 stars 6 forks source link

ATCConsole.println don't print messages to console #7

Closed gabrielsr closed 9 years ago

gabrielsr commented 9 years ago

When generating a model should be printed in console, for info purpose things such as:

Generating DTMC model for: Actor 1 DTMC model created in 77082ms.

But ATCConsole.println don't print anything.

Tested on Luna 4.4. Running the in debug mode.

danilomendonca commented 9 years ago

I'm back!

Esse log sai no workspace de teste e não no workspace de desenvolvimento. Você olhou no console certo?

gabrielsr commented 9 years ago

Opa! Provavelmente não. Valeu!