/home/travis/build/icyphy/ptII/ptolemy/domains/petrinet/test/PetriNetDirector.tcl testDefs.tcl: setting time out to 9000 seconds at Mon Jun 06 02:12:13 UTC 2022 36 ms. Memory: 129024K Free: 94109K (73%) 32 ms. Memory: 129024K Free: 83355K (65%) 06/06/22 02:12:13 Failed: 0 Total Tests: 2 ((Passed: 2, Newly Passed: 0) Known Failed: 0) /home/travis/build/icyphy/ptII/ptolemy/domains/petrinet/test No auto/knownFailedTests/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/petrinet/test No auto/linux-amd64/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/petrinet/test AutoTests.java: About to close Vertx. AutoTests.java: Vertx closed. No auto/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/petrinet/test AutoTests.java: About to close Vertx. AutoTests.java: Vertx closed.