Re: Toolbox running under Java 1.8

[tkki...@xxxxxxx]

Hi Marcus

The TLC console doesn't seem to appear.  When I select it under Menu: TLC Model Checker I get a docked window displaying the text "No consoles to display at this time".  I have a progress window open as well at it shows some output when I do a parse but nothing at all for Run Model.


The log is:


!SESSION 2015-05-11 16:58:33.723 -----------------------------------------------
eclipse.buildId=1.5.0
java.version=1.8.0_25
java.vendor=Oracle Corporation
BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=en_GB
Command-line arguments:  -os win32 -ws win32 -arch x86_64

!ENTRY org.lamport.tla.toolbox.product.standalone 1 -1 2015-05-11 16:58:37.732
!MESSAGE TLA+ Toolbox started without arguments.

!ENTRY org.lamport.tla.toolbox 1 -1 2015-05-11 16:58:37.826
!MESSAGE footFileName = C:\Users\owner\Documents\Tkwork\Development\TLA\AsynchronousInterface\AsynchInterface.tla

!ENTRY org.lamport.tla.toolbox 1 -1 2015-05-11 16:58:37.841
!MESSAGE footFileName = C:\Users\owner\Documents\Tkwork\Development\TLA\AsynchronousInterface\Channel.tla

!ENTRY org.lamport.tla.toolbox 1 -1 2015-05-11 16:58:37.841
!MESSAGE footFileName = C:\Users\owner\Documents\Tkwork\Development\TLA\HourClock\HourClock.tla

!ENTRY org.lamport.tla.toolbox 1 -1 2015-05-11 16:58:37.857
!MESSAGE footFileName = C:\Users\owner\Documents\Tkwork\Development\TLA\HourClock\HourClock2.tla

!ENTRY org.lamport.tla.toolbox 1 -1 2015-05-11 16:58:38.075
!MESSAGE Spec build invoked on Channel ...

!ENTRY org.lamport.tla.toolbox 1 -1 2015-05-11 16:58:38.559
!MESSAGE Resulting status is:  parsed 
... build invocation finished.

!ENTRY org.lamport.tla.toolbox 1 -1 2015-05-11 16:58:44.430
!MESSAGE Added a parse result listener.There are now 1 listeners.

Thanks for looking at this.

Regards 

Tony