/home/travis/build/icyphy/ptII/ptolemy/domains/modal/kernel/ia/test/InterfaceAutomaton.tcl testDefs.tcl: setting time out to 9000 seconds at Mon Jun 06 02:11:52 UTC 2022 06/06/22 02:11:52 Failed: 0 Total Tests: 13 ((Passed: 13, Newly Passed: 0) Known Failed: 0) /home/travis/build/icyphy/ptII/ptolemy/domains/modal/kernel/ia/test No auto/knownFailedTests/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/modal/kernel/ia/test No auto/linux-amd64/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/modal/kernel/ia/test AutoTests.java: About to close Vertx. AutoTests.java: Vertx closed. No auto/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/domains/modal/kernel/ia/test AutoTests.java: About to close Vertx. AutoTests.java: Vertx closed.