/home/travis/build/icyphy/ptII/ptolemy/vergil/basic/imprt/g4ltl/test/G4LTL.tcl
testDefs.tcl: setting time out to 9000 seconds at Mon Jun 06 02:13:37 UTC 2022
Rewritten as : ( ( true ) U ( ( ( "req1" ) /\ ( ( false ) V ( ! ( "grant1" ) ) ) ) \/ ( ( ( "grant1" ) /\ ( "grant2" ) ) \/ ( ( "req2" ) /\ ( ( false ) V ( ! ( "grant2" ) ) ) ) ) ) )
***********************
Total elapsed time in execution of method formulaToBA() is : 38
Total elapsed time in execution of method createGameArena() is : 1
Total elapsed time in execution of method createReductionGraph() is: 3
Total elapsed time in execution of method analyzeSafetyGame() is: 51
140 ms. Memory: 156672K Free: 7137K (5%)
==== $PTII/ptolemy/vergil/basic/imprt/g4ltl/test/G4LTL.tcl: G4LTL-2.1 Synthesize from ArbitorLTL.txt using CoBuechi and unrollSteps 1 and merge it into the ArbitorTest.xml
==== Contents of test case:
$parser resetAll
set toplevel [java::cast ptolemy.actor.TypedCompositeActor [$parser parseFile ArbitorTest.xml]]
# Import using CoBuechi with unrollstep == 1
set result [generateMoML $PTII/ptolemy/vergil/basic/imprt/g4ltl/demo/Arbitor/ArbitorLTL.txt $toplevel 0 1]
set request [java::new ptolemy.moml.MoMLChangeRequest $toplevel $toplevel {
<entity name=".ArbitorTest" class="ptolemy.actor.TypedCompositeActor">
<entity name="model1" class="ptolemy.domains.modal.kernel.FSMActor">
<property name="seed" class="ptolemy.actor.parameters.SharedParameter" value="1L">
</property>
<property name="resetSeedOnEachRun" class="ptolemy.actor.parameters.SharedParameter" value="true">
</property>
</entity>
<relation name="relation4" class="ptolemy.actor.TypedIORelation">
</relation>
<relation name="relation5" class="ptolemy.actor.TypedIORelation">
</relation>
<link port="model1.req1" relation="relation2"/>
<link port="model1.req2" relation="relation"/>
<link port="model1.grant1" relation="relation4"/>
<link port="model1.grant2" relation="relation5"/>
<link port="Grant1.input" relation="relation4"/>
<link port="Grant2.input" relation="relation5"/>
</entity>
}]
set manager [java::new ptolemy.actor.Manager [$toplevel workspace] myManager]
$toplevel setManager $manager
$manager requestChange $request
#puts [$toplevel exportMoML]
createBasicModelErrorHandler $toplevel
$manager execute
# This should not fail
$manager execute
$manager execute
.... Test generated KNOWN error:
Test fails in iteration 0.
Value was: false. Should have been: true
in .ArbitorTest.Grant1
while executing
ptolemy.kernel.util.IllegalActionException: Test fails in iteration 0.
Value was: false. Should have been: true
in .ArbitorTest.Grant1
at ptolemy.actor.lib.Test.fire(Test.java:268)
at ptolemy.actor.AtomicActor.iterate(AtomicActor.java:512)
at ptolemy.actor.sched.StaticSchedulingDirector.fire(StaticSchedulingDirector.java:216)
at ptolemy.domains.sdf.kernel.SDFDirector.fire(SDFDirector.java:500)
at ptolemy.actor.CompositeActor.fire(CompositeActor.java:455)
at ptolemy.actor.Manager.iterate(Manager.java:851)
at ptolemy.actor.Manager.execute(Manager.java:369)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at tcl.lang.reflect.PkgInvoker.invokeMethod(PkgInvoker.java:129)
at tcl.lang.JavaInvoke.call(JavaInvoke.java:253)
at tcl.lang.JavaInvoke.callMethod(JavaInvoke.java:116)
at tcl.lang.ReflectObject.cmdProc(ReflectObject.java:727)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.eval(Interp.java:1841)
at tcl.lang.UplevelCmd.cmdProc(UplevelCmd.java:93)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.eval(Interp.java:1841)
at tcl.lang.CatchCmd.cmdProc(CatchCmd.java:42)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Parser.evalTokens(Parser.java:930)
at tcl.lang.Parser.eval2(Parser.java:1125)
at tcl.lang.Procedure.cmdProc(Procedure.java:175)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.evalFile(Interp.java:1880)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at ptolemy.util.test.junit.TclTests.RunTclFile(TclTests.java:233)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)
at junitparams.internal.InvokeParameterisedMethod.evaluate(InvokeParameterisedMethod.java:102)
at junitparams.internal.ParameterisedTestMethodRunner.runMethodInvoker(ParameterisedTestMethodRunner.java:47)
at junitparams.internal.ParameterisedTestMethodRunner.runTestMethod(ParameterisedTestMethodRunner.java:41)
at junitparams.internal.ParameterisedTestClassRunner.runParameterisedTest(ParameterisedTestClassRunner.java:143)
at junitparams.JUnitParamsRunner.runChild(JUnitParamsRunner.java:237)
at junitparams.JUnitParamsRunner.runChild(JUnitParamsRunner.java:215)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:31)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:24)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at junit.framework.JUnit4TestAdapter.run(JUnit4TestAdapter.java:39)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.run(JUnitTestRunner.java:535)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.launch(JUnitTestRunner.java:1182)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:1033)
while executing
ptolemy.kernel.util.IllegalActionException: Test fails in iteration 0.
Value was: false. Should have been: true
in .ArbitorTest.Grant1
while executing
"$manager execute"
("uplevel" body line 32)
invoked from within
"uplevel $contents_of_test"
Rewritten as : ( ( true ) U ( ( ( "req1" ) /\ ( ( ! ( "grant1" ) ) /\ ( X ( ! ( "grant1" ) ) ) ) ) \/ ( ( ( "req2" ) /\ ( ( false ) V ( ! ( "grant2" ) ) ) ) \/ ( ( ( "req3" ) /\ ( ( false ) V ( ! ( "grant3" ) ) ) ) \/ ( ( ( "grant1" ) /\ ( "grant2" ) ) \/ ( ( ( "grant2" ) /\ ( "grant3" ) ) \/ ( ( "grant1" ) /\ ( "grant3" ) ) ) ) ) ) ) )
***********************
Total elapsed time in execution of method formulaToBA() is : 20
Total elapsed time in execution of method createGameArena() is : 1
Total elapsed time in execution of method createReductionGraph() is: 251
Total elapsed time in execution of method analyzeSafetyGame() is: 123
32 ms. Memory: 188416K Free: 119309K (63%)
==== $PTII/ptolemy/vergil/basic/imprt/g4ltl/test/G4LTL.tcl: G4LTL-2.2 Synthesize from PriorityArbitorLTL.txt using CoBuechi and unrollSteps 3 and merge it into the PriorityArbitorTest.xml
==== Contents of test case:
$parser resetAll
set toplevel [java::cast ptolemy.actor.TypedCompositeActor [$parser parseFile PriorityArbitorTest.xml]]
# Import using CoBuechi with unrollstep == 3
set result [generateMoML $PTII/ptolemy/vergil/basic/imprt/g4ltl/demo/PriorityArbitor/PriorityArbitorLTL.txt $toplevel 0 3]
set request [java::new ptolemy.moml.MoMLChangeRequest $toplevel $toplevel {
<entity name=".PriorityArbitorTest" class="ptolemy.actor.TypedCompositeActor">
<entity name="model1" class="ptolemy.domains.modal.kernel.FSMActor">
<property name="seed" class="ptolemy.actor.parameters.SharedParameter" value="1L">
</property>
<property name="resetSeedOnEachRun" class="ptolemy.actor.parameters.SharedParameter" value="true">
</property>
</entity>
<relation name="relation0" class="ptolemy.actor.TypedIORelation">
</relation>
<relation name="relation2" class="ptolemy.actor.TypedIORelation">
</relation>
<relation name="relation4" class="ptolemy.actor.TypedIORelation">
</relation>
<link port="model1.req1" relation="relation4"/>
<link port="model1.req2" relation="relation"/>
<link port="model1.req3" relation="relation2"/>
<link port="model1.grant1" relation="relation5"/>
<link port="model1.grant2" relation="relation6"/>
<link port="model1.grant3" relation="relation7"/>
</entity>
}]
set manager [java::new ptolemy.actor.Manager [$toplevel workspace] myManager]
$toplevel setManager $manager
$manager requestChange $request
#puts [$toplevel exportMoML]
createBasicModelErrorHandler $toplevel
$manager execute
# This should not fail
$manager execute
$manager execute
.... Test generated KNOWN error:
Test fails in iteration 0.
Value was: false. Should have been: true
in .PriorityArbitorTest.Test5
while executing
ptolemy.kernel.util.IllegalActionException: Test fails in iteration 0.
Value was: false. Should have been: true
in .PriorityArbitorTest.Test5
at ptolemy.actor.lib.Test.fire(Test.java:268)
at ptolemy.actor.AtomicActor.iterate(AtomicActor.java:512)
at ptolemy.actor.sched.StaticSchedulingDirector.fire(StaticSchedulingDirector.java:216)
at ptolemy.domains.sdf.kernel.SDFDirector.fire(SDFDirector.java:500)
at ptolemy.actor.CompositeActor.fire(CompositeActor.java:455)
at ptolemy.actor.Manager.iterate(Manager.java:851)
at ptolemy.actor.Manager.execute(Manager.java:369)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at tcl.lang.reflect.PkgInvoker.invokeMethod(PkgInvoker.java:129)
at tcl.lang.JavaInvoke.call(JavaInvoke.java:253)
at tcl.lang.JavaInvoke.callMethod(JavaInvoke.java:116)
at tcl.lang.ReflectObject.cmdProc(ReflectObject.java:727)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.eval(Interp.java:1841)
at tcl.lang.UplevelCmd.cmdProc(UplevelCmd.java:93)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.eval(Interp.java:1841)
at tcl.lang.CatchCmd.cmdProc(CatchCmd.java:42)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Parser.evalTokens(Parser.java:930)
at tcl.lang.Parser.eval2(Parser.java:1125)
at tcl.lang.Procedure.cmdProc(Procedure.java:175)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.evalFile(Interp.java:1880)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at ptolemy.util.test.junit.TclTests.RunTclFile(TclTests.java:233)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)
at junitparams.internal.InvokeParameterisedMethod.evaluate(InvokeParameterisedMethod.java:102)
at junitparams.internal.ParameterisedTestMethodRunner.runMethodInvoker(ParameterisedTestMethodRunner.java:47)
at junitparams.internal.ParameterisedTestMethodRunner.runTestMethod(ParameterisedTestMethodRunner.java:41)
at junitparams.internal.ParameterisedTestClassRunner.runParameterisedTest(ParameterisedTestClassRunner.java:143)
at junitparams.JUnitParamsRunner.runChild(JUnitParamsRunner.java:237)
at junitparams.JUnitParamsRunner.runChild(JUnitParamsRunner.java:215)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:31)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:24)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at junit.framework.JUnit4TestAdapter.run(JUnit4TestAdapter.java:39)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.run(JUnitTestRunner.java:535)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.launch(JUnitTestRunner.java:1182)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:1033)
while executing
ptolemy.kernel.util.IllegalActionException: Test fails in iteration 0.
Value was: false. Should have been: true
in .PriorityArbitorTest.Test5
while executing
"$manager execute"
("uplevel" body line 34)
invoked from within
"uplevel $contents_of_test"
Rewritten as : ( ( ( false ) V ( ( true ) U ( "operator" ) ) ) /\ ( ( true ) U ( ( ( "error" ) /\ ( ( ! ( "stop" ) ) V ( ! ( "operator" ) ) ) ) \/ ( ( ( "stop" ) /\ ( ( "grant1" ) \/ ( "grant2" ) ) ) \/ ( ( ( "req1" ) /\ ( ( false ) V ( ! ( "grant1" ) ) ) ) \/ ( ( ( "grant1" ) /\ ( "grant2" ) ) \/ ( ( "req2" ) /\ ( ( false ) V ( ! ( "grant2" ) ) ) ) ) ) ) ) ) )
***********************
Total elapsed time in execution of method formulaToBA() is : 20
Total elapsed time in execution of method createGameArena() is : 4
Total elapsed time in execution of method createReductionGraph() is: 1047
Total elapsed time in execution of method analyzeSafetyGame() is: 510
105 ms. Memory: 384000K Free: 278424K (73%)
==== $PTII/ptolemy/vergil/basic/imprt/g4ltl/test/G4LTL.tcl: G4LTL-2.3 Synthesize from ErrorHandlingLTL.txt using CoBuechi and unrollSteps 3 and merge it into the ErrorHandlingTest.xml
==== Contents of test case:
$parser resetAll
set toplevel [java::cast ptolemy.actor.TypedCompositeActor [$parser parseFile ErrorHandlingTest.xml]]
# Import using CoBuechi with unrollstep == 3
set result [generateMoML $PTII/ptolemy/vergil/basic/imprt/g4ltl/demo/ErrorHandling/ErrorHandlingLTL.txt $toplevel 0 3]
set request [java::new ptolemy.moml.MoMLChangeRequest $toplevel $toplevel {
<entity name=".ErrorHandlingTest" class="ptolemy.actor.TypedCompositeActor">
<entity name="model1" class="ptolemy.domains.modal.kernel.FSMActor">
<property name="seed" class="ptolemy.actor.parameters.SharedParameter" value="1L">
</property>
<property name="resetSeedOnEachRun" class="ptolemy.actor.parameters.SharedParameter" value="true">
</property>
</entity>
<relation name="relation16" class="ptolemy.actor.TypedIORelation">
</relation>
<relation name="relation17" class="ptolemy.actor.TypedIORelation">
</relation>
<relation name="relation18" class="ptolemy.actor.TypedIORelation">
</relation>
<relation name="relation19" class="ptolemy.actor.TypedIORelation">
</relation>
<link port="SetVariable.output" relation="relation16"/>
<link port="SetVariable2.output" relation="relation17"/>
<link port="SetVariable7.output" relation="relation18"/>
<link port="SetVariable6.output" relation="relation19"/>
<link port="model1.error" relation="relation16"/>
<link port="model1.operator" relation="relation17"/>
<link port="model1.req1" relation="relation18"/>
<link port="model1.req2" relation="relation19"/>
<link port="model1.stop" relation="relation13"/>
<link port="model1.grant1" relation="relation9"/>
<link port="model1.grant2" relation="relation10"/>
</entity>
}]
set manager [java::new ptolemy.actor.Manager [$toplevel workspace] myManager]
$toplevel setManager $manager
$manager requestChange $request
#puts [$toplevel exportMoML]
createBasicModelErrorHandler $toplevel
$manager execute
# This should not fail
$manager execute
$manager execute
.... Test generated KNOWN error:
Test fails in iteration 0.
Value was: false. Should have been: true
in .ErrorHandlingTest.NonStrictTest2
while executing
ptolemy.kernel.util.IllegalActionException: Test fails in iteration 0.
Value was: false. Should have been: true
in .ErrorHandlingTest.NonStrictTest2
at ptolemy.actor.lib.NonStrictTest.postfire(NonStrictTest.java:328)
at ptolemy.actor.sched.FixedPointDirector._postfireActor(FixedPointDirector.java:1027)
at ptolemy.actor.sched.FixedPointDirector.postfire(FixedPointDirector.java:520)
at ptolemy.domains.sr.kernel.SRDirector.postfire(SRDirector.java:417)
at ptolemy.actor.CompositeActor.postfire(CompositeActor.java:1668)
at ptolemy.actor.Manager.iterate(Manager.java:852)
at ptolemy.actor.Manager.execute(Manager.java:369)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at tcl.lang.reflect.PkgInvoker.invokeMethod(PkgInvoker.java:129)
at tcl.lang.JavaInvoke.call(JavaInvoke.java:253)
at tcl.lang.JavaInvoke.callMethod(JavaInvoke.java:116)
at tcl.lang.ReflectObject.cmdProc(ReflectObject.java:727)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.eval(Interp.java:1841)
at tcl.lang.UplevelCmd.cmdProc(UplevelCmd.java:93)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.eval(Interp.java:1841)
at tcl.lang.CatchCmd.cmdProc(CatchCmd.java:42)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Parser.evalTokens(Parser.java:930)
at tcl.lang.Parser.eval2(Parser.java:1125)
at tcl.lang.Procedure.cmdProc(Procedure.java:175)
at tcl.lang.Parser.evalObjv(Parser.java:740)
at tcl.lang.Parser.eval2(Parser.java:1138)
at tcl.lang.Interp.eval(Interp.java:1782)
at tcl.lang.Interp.evalFile(Interp.java:1880)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at ptolemy.util.test.junit.TclTests.RunTclFile(TclTests.java:233)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)
at junitparams.internal.InvokeParameterisedMethod.evaluate(InvokeParameterisedMethod.java:102)
at junitparams.internal.ParameterisedTestMethodRunner.runMethodInvoker(ParameterisedTestMethodRunner.java:47)
at junitparams.internal.ParameterisedTestMethodRunner.runTestMethod(ParameterisedTestMethodRunner.java:41)
at junitparams.internal.ParameterisedTestClassRunner.runParameterisedTest(ParameterisedTestClassRunner.java:143)
at junitparams.JUnitParamsRunner.runChild(JUnitParamsRunner.java:237)
at junitparams.JUnitParamsRunner.runChild(JUnitParamsRunner.java:215)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.internal.runners.statements.RunAfters.evaluate(RunAfters.java:31)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at org.junit.runners.Suite.runChild(Suite.java:128)
at org.junit.runners.Suite.runChild(Suite.java:24)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)
at org.junit.runners.ParentRunner.run(ParentRunner.java:236)
at junit.framework.JUnit4TestAdapter.run(JUnit4TestAdapter.java:39)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.run(JUnitTestRunner.java:535)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.launch(JUnitTestRunner.java:1182)
at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:1033)
while executing
ptolemy.kernel.util.IllegalActionException: Test fails in iteration 0.
Value was: false. Should have been: true
in .ErrorHandlingTest.NonStrictTest2
while executing
"$manager execute"
("uplevel" body line 41)
invoked from within
"uplevel $contents_of_test"
06/06/22 02:13:44
Failed: 0 Total Tests: 4 ((Passed: 1, Newly Passed: 0) Known Failed: 3) /home/travis/build/icyphy/ptII/ptolemy/vergil/basic/imprt/g4ltl/test
No auto/knownFailedTests/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/vergil/basic/imprt/g4ltl/test
No auto/linux-amd64/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/vergil/basic/imprt/g4ltl/test
AutoTests.java: About to close Vertx.
AutoTests.java: Vertx closed.
No auto/*.xml tests in /home/travis/build/icyphy/ptII/ptolemy/vergil/basic/imprt/g4ltl/test
AutoTests.java: About to close Vertx.
AutoTests.java: Vertx closed.