Slave:
ubuntu 14.04 LTS
openjdk version:
zte@ubu-server:~/Downloads$ java -version
openjdk version "10" 2018-03-20
OpenJDK Runtime Environment 18.3 (build 10+44)
OpenJDK 64-Bit Server VM 18.3 (build 10+44, mixed mode)
zte@ubu-server:~/Downloads$ java -Djava.rmi.server.hostname=10.40.80.25 -cp tla2tools.jar tlc2.tool.distributed.TLCWorker 10.40.171.63
TLC Worker Version 2.13 of 18 July 2018
Parsing file /tmp/1567591008068/MC.tla
Parsing file /tmp/1567591008068/InnerSerial.tla
Parsing file /tmp/1567591008068/TLC.tla
Parsing file /tmp/1567591008068/RegisterInterface.tla
Parsing file /tmp/1567591008068/Naturals.tla
Parsing file /tmp/1567591008068/Sequences.tla
Parsing file /tmp/1567591008068/FiniteSets.tla
Semantic processing of module RegisterInterface
Semantic processing of module Naturals
Semantic processing of module Sequences
Semantic processing of module FiniteSets
Semantic processing of module InnerSerial
Semantic processing of module TLC
Semantic processing of module MC
Starting... (2019-09-04 17:56:48)
TLC worker with 4 threads ready at: Wed Sep 04 17:56:49 CST 2019
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by tlc2.tool.distributed.TLCWorker (file:/home/zte/Downloads/tla2tools.jar) to method sun.rmi.server.UnicastRef.getLiveRef()
WARNING: Please consider reporting this to the maintainers of tlc2.tool.distributed.TLCWorker
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
Master:
Windows7
C:\Users\00041831>java -version
openjdk version "1.8.0_163"
OpenJDK Runtime Environment (Zulu 8.28.0.1-win64) (build 1.8.0_163-b01)
OpenJDK 64-Bit Server VM (Zulu 8.28.0.1-win64) (build 25.163-b01, mixed mode)
