[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] NullPointer exception in TLC

On 10.07.19 00:32, MK Bug wrote:
> 
> I am facing an error while running TLC 
> 
> An error has occurred. See error log for more details.
> java.lang.NullPointerException.

Hi,

without the log we won't be able to diagnose the problem.  Please check
the .log file for errors and open a GitHub issue [1].

Thanks
Markus

[1]
https://tla.msr-inria.inria.fr/tlatoolbox/ci/doc/trouble/trouble.html#reporting

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/619393cb-592f-a5b6-8446-2f4507dd47c1%40lemmster.de.
For more options, visit https://groups.google.com/d/optout.