********************************************************************************
Beginning Test:  com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprDoubleTest_from_servlet
********************************************************************************

Undeploying apps...
StandardDeployment14.isDeployed()
Deployed Modules: 

Search for s1as runtime files match:`Lambdaexpression_vehicles.ear`
Valid runtime files after sweep:
Deploying apps for forward rebuildable...
Search for s1as runtime files match:`Lambdaexpression_vehicles.ear`
Valid runtime files after sweep:
StandardDeployment14.deploy()
Starting to distribute:  /home/ec2-user/jakartaee8tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear
file: /home/ec2-user/jakartaee8tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear
plan: java.io.ByteArrayInputStream@5f1f7c46
amd Obtained CACHED DeploymentManager
amd Obtained CACHED DeploymentManager
$$$$$$$$$$ Deployment SUCCEEDED for "/home/ec2-user/jakartaee8tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear"
amd Obtained CACHED DeploymentManager
amd Obtained CACHED DeploymentManager
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
02-08-2022 16:15:49:  Harness - harness.executeMode is set to "0"
02-08-2022 16:15:49:  Harness - keywords (to be passed to tests) set to:  all
02-08-2022 16:15:49:  Harness - sClassPathFromExecProps = ::
command: com.sun.ts.lib.harness.ExecTSTestCmd CLASSPATH=:::/home/ec2-user/jakartaee8tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee8tck/lib/jaxb-core.jar:/home/ec2-user/jakartaee8tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee8tck/lib/jaxb-xjc.jar:/home/ec2-user/jakartaee8tck/lib/tsharness.jar:/home/ec2-user/jakartaee8tck/lib/cts.jar:/home/ec2-user/jakartaee8tck/lib/sigtest.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/javaee-api-8.0-5-tomcat.jar:/home/ec2-user/jdk8u282-b08/jre/lib/rt.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/tomee-tck-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/openejb-core-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/openejb-core-eclipselink-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/activemq-client-5.16.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/activemq-jdbc-store-5.16.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/bval-jsr-2.0.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/commons-cli-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/commons-dbcp2-2.3.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/commons-lang3-3.12.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/commons-pool2-2.11.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/cts-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/dbprocedures-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/derbynet-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/eclipselink-2.7.9.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/geronimo-connector-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/geronimo-javamail_1.6_mail-1.0.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/geronimo-mail-2.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/geronimo-transaction-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/hsqldb-2.3.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/istack-commons-runtime-3.0.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jackson-annotations-2.13.0-rc2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jackson-core-2.13.0-rc2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jackson-databind-2.13.0-rc2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jakarta.xml.bind-api-2.3.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/javaee-api-8.0-5-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jaxb-runtime-2.3.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-core-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-jaxrs-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-jsonb-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-jsonp-strict-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-mapper-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/mbean-annotation-api-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-api-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-core-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-core-eclipselink-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-cxf-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-cxf-rs-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-cxf-transport-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-jee-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-jee-accessors-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-jpa-integration-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-loader-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openjpa-3.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-ee-2.0.26.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-ee-common-2.0.26.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-ejb-2.0.26.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-el22-2.0.26.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-impl-2.0.26.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-spi-2.0.26.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-web-2.0.26.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/quartz-openejb-shade-2.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/slf4j-api-1.7.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/stax-ex-1.8.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/sxc-jaxb-core-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/sxc-runtime-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tomee-catalina-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tomee-security-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tsharness-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/tssv-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/txw2-2.3.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/webdeployer-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/whitebox-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-asm9-shaded-4.20.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-bundleutils-4.20.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-finder-shaded-4.20.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-naming-4.20.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-reflect-4.20.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/eclipselink-2.7.9.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/openejb-client-8.0.10-SNAPSHOT.jar:/home/ec2-user/jakartaee8tck/lib/javatest.jar:/home/ec2-user/jakartaee8tck/lib/tsharness.jar:/home/ec2-user/jakartaee8tck/lib/cts.jar:/home/ec2-user/jakartaee8tck/lib/dbprocedures.jar:/home/ec2-user/jakartaee8tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee8tck/lib/jdom-1.1.3.jar:/home/ec2-user/jakartaee8tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee8tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee8tck/lib/jaxb-xjc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/cxf-shade-8.0.10-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/woodstox-core-6.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/stax2-api-4.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/xmlschema-core-2.2.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/cxf-rt-rs-sse-3.4.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/johnzon-core-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/johnzon-jaxrs-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/johnzon-jsonb-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/johnzon-jsonp-strict-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/johnzon-mapper-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-coyote.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-dbcp.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-cs.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-de.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-es.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-fr.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-ja.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-ko.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-pt-BR.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-ru.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-i18n-zh-CN.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-jdbc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-jni.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/tomcat-websocket.jar:/home/ec2-user/jakartaee8tck/lib/javatest.jar:/home/ec2-user/jakartaee8tck/lib/jdom-1.1.3.jar:/lib/ant.jar:/home/ec2-user/glassfish5/glassfish/modules/admin-cli.jar:/home/ec2-user/jakartaee8tck/lib/http.jar:/home/ec2-user/jakartaee8tck/classes:/home/ec2-user/jdk8u282-b08/jre/../lib/tools.jar:/home/ec2-user/jakartaee8tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee8tck/lib/commons-logging-1.1.3.jar:/home/ec2-user/jakartaee8tck/lib/commons-codec-1.9.jar:/home/ec2-user/jakartaee8tck/lib/cssparser-0.9.25.jar:/home/ec2-user/jakartaee8tck/lib/htmlunit-2.15.jar:/home/ec2-user/jakartaee8tck/lib/htmlunit-core-js-2.15.jar:/home/ec2-user/jakartaee8tck/lib/httpclient-4.5.5.jar:/home/ec2-user/jakartaee8tck/lib/httpmime-4.5.5.jar:/home/ec2-user/jakartaee8tck/lib/httpcore-4.4.9.jar:/home/ec2-user/jakartaee8tck/lib/commons-collections-3.2.1.jar:/home/ec2-user/jakartaee8tck/lib/commons-io-2.4.jar:/home/ec2-user/jakartaee8tck/lib/commons-lang3-3.3.2.jar:/home/ec2-user/jakartaee8tck/lib/jaxen-1.1.6.jar:/home/ec2-user/jakartaee8tck/lib/jaxen-core-1.0.jar:/home/ec2-user/jakartaee8tck/lib/js-1.6R1.jar:/home/ec2-user/jakartaee8tck/lib/nekohtml-1.9.21.jar:/home/ec2-user/jakartaee8tck/lib/sac-1.3.jar:/home/ec2-user/jakartaee8tck/lib/saxpath.jar:/home/ec2-user/jakartaee8tck/lib/xercesImpl-2.11.0.jar:/home/ec2-user/jakartaee8tck/lib/xalan-2.7.2.jar:/home/ec2-user/jakartaee8tck/lib/tssv.jar:/home/ec2-user/jakartaee8tck/lib/xml-apis-1.4.01.jar DISPLAY=:0.0 HOME=/home/ec2-user windir= SYSTEMROOT= PATH=/home/ec2-user/glassfish5/glassfish/nativelib /home/ec2-user/jdk8u282-b08/jre/bin/java -Dcts.tmp=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/harnesstmp/ -Djava.protocol.handler.pkgs=javax.net.ssl -Djavax.net.ssl.keyStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/src/test/keystores/clientcert.jks -Djavax.net.ssl.keyStorePassword=changeit -Djavax.net.ssl.trustStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/src/test/keystores/ssl-truststore -Djavax.net.ssl.trustStorePassword=changeit -Djava.endorsed.dirs=/home/ec2-user/jakartaee8tck/endorsedlib -Dcom.sun.aas.installRoot=/home/ec2-user/glassfish5/glassfish -Dcatalina.base=target/apache-tomee-plume-8.0.10-SNAPSHOT -Dlog.file.location=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/logs -Dservlet.is.jsr115.compatible=false -Dprovider.configuration.file=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/apache-tomee-plume-8.0.10-SNAPSHOT/conf/ProviderConfiguration.xml -Dlogical.hostname.servlet=Catalina/localhost -Dcom.sun.aas.configRoot=/home/ec2-user/glassfish5/glassfish/config -Ddeliverable.class=com.sun.ts.lib.deliverable.cts.CTSDeliverable -Dopenejb.validation.output.level=3 -Djava.security.egd=file:/dev/./urandom -Dbin.dir=/home/ec2-user/jakartaeetck-8.0.2-final/bin com.sun.ts.tests.common.vehicle.VehicleClient -p /home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/harnesstmp//tmp/tstest.jte -t elLambdaExprDoubleTest -vehicle servlet
************************************************************
* props file set to "/tmp/ec2-user-cts-props.txt"
************************************************************
02-08-2022 16:15:49:  TRACE: #######  Value of harness.socket.retry.count is "10"
02-08-2022 16:15:49:  TRACE: #######  Value of harness.log.port is "39163"
02-08-2022 16:15:49:  TRACE: #######  Actual bind value of harness.log.port is "39163"
02-08-2022 16:15:49:  TRACE: in ServiceEETest.run() method
02-08-2022 16:15:49:  TRACE: Vehicle to be used for this test is:  servlet
02-08-2022 16:15:49:  Opened connection to http://localhost:44733/Lambdaexpression_servlet_vehicle_web/servlet_vehicle
02-08-2022 16:15:49:  TRACE: got outputstream
02-08-2022 16:15:49:  TRACE: wrote objects to the servlet vehicle
In doPost!
ServletVehicle - got InputStream
read properties!!!
got outputstream
ran test
02-08-2022 16:15:49:  SVR-TRACE: In doPost
02-08-2022 16:15:49:  SVR-TRACE: ServletVehicle - In doGet
02-08-2022 16:15:49:  SVR-TRACE: ServletVehicle - got InputStream
02-08-2022 16:15:49:  SVR-TRACE: ServletVehicle - read Objects
02-08-2022 16:15:49:  SVR-TRACE: Remote logging set for Servlet Vehicle
02-08-2022 16:15:49:  SVR-TRACE: ServletVehicle - Here are the props
02-08-2022 16:15:49:  SVR-TRACE: --- Property Listing ---nullorb.host=localhostnullharness.log.delayseconds=1nulltestName=elLambdaExprDoubleTestnullharness.log.traceflag=truenulldeployManageruri.2=deployer:Sun:AppServer::localhost:4848nulldeployManageruri.1=openejb:vmnullbin.dir=/home/ec2-user/jakartaee8tck/binnulldeployManageruname.2=adminnulldeployManageruname.1=ignorednullporting.ts.login.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRILoginContextnullporting.ts.login.class.1=org.apache.openejb.cts.LoginContextImplnullporting.ts.HttpsURLConnection.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIHttpsURLConnectionnullporting.ts.HttpsURLConnection.class.1=org.apache.openejb.cts.HTTPSURLConnectionImplnullporting.ts.deploy2.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIDeployment2nulljavax.persistence.jdbc.user=ctsnullwsdlRepository2=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/harnesstmp//wsdlRepository2nullporting.ts.deploy2.class.1=org.apache.openejb.cts.DeploymentImplnullwsdlRepository1=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/harnesstmp//wsdlRepository1nullvi.admin.passwd=adminadminnullvehicle=servletnulljavax.persistence.jdbc.password=ctsnullfinder=ctsnullall.props=falsenulljavaee.level=fullnulljavax.persistence.jdbc.url=jdbc:derby://localhost:39107/derbydb;create=truenullplatform.mode=javaEEnulljavax.persistence.jdbc.driver=org.apache.derby.jdbc.ClientDrivernullpersistence.unit.name.2=JPATCK2nullharness.temp.directory=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8647017142746291220dir/gbuild/work/workspace-1/project-11118/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nullnamingServiceHost2=localhostnullwebServerPort=44733nullporting.ts.url.class.2=com.sun.ts.lib.implementation.sun.common.SunRIURLnullnamingServiceHost1=localhostnullporting.ts.url.class.1=org.apache.openejb.cts.URLImplnullharness.socket.retry.count=10nullvi.admin.user=adminnullharness.log.port=39163nulldeployManagerJarFile.2=/home/ec2-user/glassfish5/glassfish/lib/deployment/sun-as-jsr88-dm.jarnullorb.port=2809nulldeployManagerJarFile.1=target/apache-tomee-plume-8.0.10-SNAPSHOT/lib/openejb-core-8.0.10-SNAPSHOT.jarnullvariable.mapper=org.apache.el.lang.VariableMapperImplnullporting.ts.jms.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIJMSAdminnullporting.ts.jms.class.1=org.apache.openejb.cts.JMSAdminImplnullvehicle_archive_name=Lambdaexpression_vehiclesnulljavax.persistence.provider=org.eclipse.persistence.jpa.PersistenceProvidernullporting.ts.deploy.class.2=com.sun.ts.lib.implementation.sun.javaee.glassfish.AutoDeploymentnullpersistence.second.level.caching.supported=truenulltest_classname=com.sun.ts.tests.el.spec.lambda.ELClientnullporting.ts.deploy.class.1=org.apache.openejb.cts.deploy.StandardDeployment14nulldeployManagerpasswd.2=nullpersistence.unit.name=CTS-EMnulldeployManagerpasswd.1=ignorednullsecuredWebServicePort=45219nulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullcurrent.keywords=allnullwebServerHost=localhostnullharness.host=172.31.94.186null--- End Property Listing ---null
02-08-2022 16:15:49:  SVR-TRACE: in custom vehicle so call on EETest.
02-08-2022 16:15:49:  SVR-TRACE: *** in EETest.run(argv,p)
02-08-2022 16:15:49:  SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient
02-08-2022 16:15:49:  SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient
02-08-2022 16:15:49:  SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprDoubleTest
02-08-2022 16:15:49:  SVR-TRACE: ** GOT RUN METHOD!
02-08-2022 16:15:49:  SVR-TRACE: **runmethod=elLambdaExprDoubleTest
02-08-2022 16:15:49:  SVR-TRACE: ABOUT TO GET SETUP METHOD!
02-08-2022 16:15:49:  SVR-TRACE: No setupMethod annotation present
02-08-2022 16:15:49:  SVR-TRACE: getSetupMethod - checking for testcase specific setup method:  elLambdaExprDoubleTest_setup
02-08-2022 16:15:49:  SVR-TRACE: getSetupMethod - checking for default class specific setup method
02-08-2022 16:15:49:  SVR-TRACE: GOT SETUP METHOD!
02-08-2022 16:15:49:  SVR-TRACE: No cleanupMethod annotation present
02-08-2022 16:15:49:  SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method:  elLambdaExprDoubleTest_cleanup
02-08-2022 16:15:49:  SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method
02-08-2022 16:15:49:  SVR-TRACE: GOT CLEANUP METHOD!
02-08-2022 16:15:49:  SVR-TRACE: ABOUT TO INVOKE SETUP METHOD!
02-08-2022 16:15:49:  SVR: Setup method called
02-08-2022 16:15:49:  SVR-TRACE: INVOKED SETUP METHOD!
02-08-2022 16:15:49:  SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD!
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  Test status from a servlet:  0:
02-08-2022 16:15:49:  SVR: *** Start Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2022 16:15:49:  Test: returning from running in a servlet vehicle
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Byte Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Integer Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2022 16:15:49:  SVR: *** End Double + BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2022 16:15:49:  SVR: *** End Double - BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2022 16:15:49:  SVR: *** End Double * BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2022 16:15:49:  SVR: *** End Double / BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2022 16:15:49:  SVR: *** End Double div BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2022 16:15:49:  SVR: *** End Double % BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod BigInteger Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Double Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Long Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2022 16:15:49:  SVR: *** End Double + Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2022 16:15:49:  SVR: *** End Double - Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2022 16:15:49:  SVR: *** End Double * Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2022 16:15:49:  SVR: *** End Double / Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2022 16:15:49:  SVR: *** End Double div Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2022 16:15:49:  SVR: *** End Double % Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***

...
Output overflow:
JT Harness has limited the test output to the text to that
at the beginning and the end, so that you can see how the
test began, and how it completed.

If you need to see more of the output from the test,
set the system property javatest.maxOutputSize to a higher
value. The current value is 100000
...


02-08-2022 16:15:49:  SVR: expression to be evaluated is z(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Start Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2022 16:15:49:  SVR: *** End Double mod Short Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Skipping Double with Float, Already Tested in Float Test Sequence ***
02-08-2022 16:15:49:  SVR: *** Skipping Double with BigDecimal, Already Tested in BigDecimal Test Sequence ***
02-08-2022 16:15:49:  SVR: Test running in servlet vehicle passed
02-08-2022 16:15:50:  TRACE: SLEPT FOR:  1000
STATUS:Passed.
Passed.
********************************************************************************
Finished Test:  PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprDoubleTest_from_servlet
********************************************************************************