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

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/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear
file: /home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear
plan: java.io.ByteArrayInputStream@778af236
amd Obtained CACHED DeploymentManager
amd Obtained CACHED DeploymentManager
$$$$$$$$$$ Deployment SUCCEEDED for "/home/ec2-user/jakartaee91tck/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 = ::
05-22-2023 23:56:57:  Harness - harness.executeMode is set to "0"
05-22-2023 23:56:57:  Harness - keywords (to be passed to tests) set to:  all
05-22-2023 23:56:57:  Harness - sClassPathFromExecProps = ::
command: com.sun.ts.lib.harness.ExecTSTestCmd CLASSPATH=:::/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-core.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/sigtest.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jakartaee-api-9.1.1-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jakarta.faces-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/taglibs-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/tomee-tck-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/openejb-core-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/openejb-core-eclipselink-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/activemq-client-5.18.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/activemq-jdbc-store-5.18.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/bval-jsr-2.0.6-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-cli-1.5.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-dbcp2-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-lang3-3.12.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-pool2-2.11.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/cts-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/dbprocedures-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derby-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbyclient-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbynet-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbyshared-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbytools-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-connector-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-jms_1.1_spec-1.1.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-transaction-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/hsqldb-2.7.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/istack-commons-runtime-4.0.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jackson-annotations-2.15.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jackson-core-2.15.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jackson-databind-2.15.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jakartaee-api-9.1.1-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jasper.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jaxb-runtime-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jboss-logging-3.5.0.Final.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/mbean-annotation-api-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-api-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-core-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-core-eclipselink-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-cxf-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-cxf-rs-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-cxf-transport-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-jee-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-jee-accessors-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-jpa-integration-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-loader-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openjpa-3.2.2-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-ee-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-ee-common-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-ejb-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-el22-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-impl-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-spi-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-web-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/quartz-openejb-shade-2.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/slf4j-api-1.7.36.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/stax-ex-1.8.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/sxc-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomee-catalina-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomee-security-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tsharness-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tssv-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/txw2-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/whitebox-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-asm9-shaded-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-bundleutils-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-finder-shaded-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-naming-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-reflect-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-osgi-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-rmi-impl-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-rmi-spec-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-spec-corba-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derby-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbyclient-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbynet-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbyshared-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbytools-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/openejb-client-9.0.1-SNAPSHOT.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/dbprocedures.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/cxf-rt-rs-mp-client-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/cxf-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/neethi-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/wsdl4j-1.6.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/woodstox-core-6.4.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/stax2-api-4.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/xmlschema-core-2.2.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-core-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-jaxrs-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-jsonb-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-jsonp-strict-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-mapper-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-coyote.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-dbcp.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-cs.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-de.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-es.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-fr.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-ja.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-ko.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-pt-BR.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-ru.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-zh-CN.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-jdbc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-jni.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-websocket.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/lib/ant.jar:/home/ec2-user/glassfish6/glassfish/modules/admin-cli.jar:/home/ec2-user/jakartaee91tck/lib/http.jar:/home/ec2-user/jakartaee91tck/lib/glassfishporting.jar:/home/ec2-user/glassfish6/glassfish/modules/jakarta.activation-api.jar:/home/ec2-user/jakartaee91tck/classes:/home/ec2-user/jdk-11.0.10+9/../lib/tools.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-logging-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/commons-codec-1.9.jar:/home/ec2-user/jakartaee91tck/lib/cssparser-0.9.25.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-2.15.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-core-js-2.15.jar:/home/ec2-user/jakartaee91tck/lib/httpclient-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpmime-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpcore-4.4.9.jar:/home/ec2-user/jakartaee91tck/lib/commons-collections-3.2.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-io-2.4.jar:/home/ec2-user/jakartaee91tck/lib/commons-lang3-3.3.2.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-1.1.6.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-core-1.0.jar:/home/ec2-user/jakartaee91tck/lib/nekohtml-1.9.21.jar:/home/ec2-user/jakartaee91tck/lib/sac-1.3.jar:/home/ec2-user/jakartaee91tck/lib/saxpath.jar:/home/ec2-user/jakartaee91tck/lib/xercesImpl-2.11.0.jar:/home/ec2-user/jakartaee91tck/lib/xalan-2.7.2.jar:/home/ec2-user/jakartaee91tck/lib/tssv.jar:/home/ec2-user/jakartaee91tck/lib/xml-apis-1.4.01.jar DISPLAY=:0.0 HOME=/home/ec2-user windir= SYSTEMROOT= PATH=/home/ec2-user/glassfish6/glassfish/nativelib /home/ec2-user/jdk-11.0.10+9/bin/java -Dcts.tmp=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp/ -Djava.protocol.handler.pkgs=javax.net.ssl -Djavax.net.ssl.keyStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/src/test/keystores/clientcert.jks -Djavax.net.ssl.keyStorePassword=changeit -Djavax.net.ssl.trustStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/src/test/keystores/ssl-truststore -Djavax.net.ssl.trustStorePassword=changeit -Dcom.sun.aas.installRoot=/home/ec2-user/glassfish6/glassfish -Dcatalina.base=target/apache-tomee-plume-9.0.1-SNAPSHOT -Dlog.file.location=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/logs -Dservlet.is.jsr115.compatible=false -Dprovider.configuration.file=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/conf/ProviderConfiguration.xml -Dlogical.hostname.servlet=Catalina/localhost -Dcom.sun.aas.configRoot=/home/ec2-user/glassfish6/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-9.1.0-2021-04-20.1739/bin com.sun.ts.tests.common.vehicle.VehicleClient -p /home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//tmp/tstest.jte -t elLambdaExprDoubleTest -vehicle jsp
************************************************************
* props file set to "/tmp/ec2-user-cts-props.txt"
************************************************************
05-22-2023 23:56:58:  TRACE: #######  Value of harness.socket.retry.count is "10"
05-22-2023 23:56:58:  TRACE: #######  Value of harness.log.port is "34195"
05-22-2023 23:56:58:  TRACE: #######  Actual bind value of harness.log.port is "34195"
05-22-2023 23:56:58:  TRACE: in ServiceEETest.run() method
05-22-2023 23:56:58:  TRACE: Vehicle to be used for this test is:  jsp
05-22-2023 23:56:58:  Opened connection to http://localhost:40869/Lambdaexpression_jsp_vehicle_web/jsp_vehicle.jsp
05-22-2023 23:56:58:  TRACE: got outputstream
05-22-2023 23:56:58:  TRACE: wrote objects to the jsp vehicle
05-22-2023 23:56:58:  SVR-TRACE: JSPVehicle - In doJSPGet
05-22-2023 23:56:58:  SVR-TRACE: JSPVehicle - got InputStream
05-22-2023 23:56:58:  SVR-TRACE: JSP Vehicle -read properties!!!
05-22-2023 23:56:58:  SVR-TRACE: JSP Vehicle - list the props 
05-22-2023 23:56:58:  SVR-TRACE: --- Property Listing ---nulljakarta.persistence.provider=org.eclipse.persistence.jpa.PersistenceProvidernullorb.host=localhostnullharness.log.delayseconds=1nulltestName=elLambdaExprDoubleTestnullharness.log.traceflag=truenullbin.dir=/home/ec2-user/jakartaee91tck/binnullporting.ts.login.class.2=com.sun.ts.lib.implementation.sun.javaee.GlassFishLoginContextnullporting.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.SunRIDeployment2nullwsdlRepository2=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//wsdlRepository2nullporting.ts.deploy2.class.1=org.apache.openejb.cts.DeploymentImplnullwsdlRepository1=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//wsdlRepository1nulljakarta.persistence.jdbc.driver=org.apache.derby.jdbc.ClientDrivernullvi.admin.passwd=adminadminnullvehicle=jspnullfinder=ctsnullall.props=falsenulljavaee.level=fullnulljakarta.persistence.jdbc.password=ctsnullplatform.mode=jakartaEEnullpersistence.unit.name.2=JPATCK2nullharness.temp.directory=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nullnamingServiceHost2=localhostnulljakarta.persistence.jdbc.user=ctsnullwebServerPort=40869nullporting.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=adminnulljakarta.persistence.jdbc.url=jdbc:derby://localhost:40971/derbydb;create=truenullharness.log.port=34195nullorb.port=2809nullvariable.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_vehiclesnullporting.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.StandardDeployment14nulljimage.dir=/home/ec2-user/jakartaee91tck/tmp/jdk-bundlesnullpersistence.unit.name=CTS-EMnullsecuredWebServicePort=39115nullcurrent.keywords=allnulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullwebServerHost=localhostnullharness.host=172.31.84.193null--- End Property Listing ---null
05-22-2023 23:56:58:  SVR-TRACE: JSPVehicle - read Objects
05-22-2023 23:56:58:  SVR-TRACE: Remote logging set for JSP Vehicle
05-22-2023 23:56:58:  SVR-TRACE: JSPVehicle - Here are the props
05-22-2023 23:56:58:  SVR-TRACE: in custom vehicle so call on EETest.
05-22-2023 23:56:58:  SVR-TRACE: *** in EETest.run(argv,p)
05-22-2023 23:56:58:  SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient
05-22-2023 23:56:58:  SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient
05-22-2023 23:56:58:  SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprDoubleTest
05-22-2023 23:56:58:  SVR-TRACE: ** GOT RUN METHOD!
05-22-2023 23:56:58:  SVR-TRACE: **runmethod=elLambdaExprDoubleTest
05-22-2023 23:56:58:  SVR-TRACE: ABOUT TO GET SETUP METHOD!
05-22-2023 23:56:58:  SVR-TRACE: No setupMethod annotation present
05-22-2023 23:56:58:  SVR-TRACE: getSetupMethod - checking for testcase specific setup method:  elLambdaExprDoubleTest_setup
05-22-2023 23:56:58:  SVR-TRACE: getSetupMethod - checking for default class specific setup method
05-22-2023 23:56:58:  SVR-TRACE: GOT SETUP METHOD!
05-22-2023 23:56:58:  SVR-TRACE: No cleanupMethod annotation present
05-22-2023 23:56:58:  SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method:  elLambdaExprDoubleTest_cleanup
05-22-2023 23:56:58:  SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method
05-22-2023 23:56:58:  SVR-TRACE: GOT CLEANUP METHOD!
05-22-2023 23:56:58:  SVR-TRACE: ABOUT TO INVOKE SETUP METHOD!
05-22-2023 23:56:58:  SVR: Setup method called
05-22-2023 23:56:58:  SVR-TRACE: INVOKED SETUP METHOD!
05-22-2023 23:56:58:  SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD!
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y + a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
05-22-2023 23:56:58:  SVR: *** End Double + BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y - a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
05-22-2023 23:56:58:  SVR: *** End Double - BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y * a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
05-22-2023 23:56:58:  SVR: *** End Double * BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y / a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
05-22-2023 23:56:58:  SVR: *** End Double / BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y div a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
05-22-2023 23:56:58:  SVR: *** End Double div BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y % a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
05-22-2023 23:56:58:  SVR: *** End Double % BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod BigInteger Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y + a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y - a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y * a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y / a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  Test status from a jsp:  0:
05-22-2023 23:56:58:  Test: returning from running in a jsp vehicle
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y div a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y % a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Byte Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y + a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y - a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y * a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y / a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y div a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y % a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Integer Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y + a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y - a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y * a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y / a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y div a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y % a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Double Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y + a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y - a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y * a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y / a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y div a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y % a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Long Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y + a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
05-22-2023 23:56:58:  SVR: *** End Double + Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y - a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
05-22-2023 23:56:58:  SVR: *** End Double - Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y * a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
05-22-2023 23:56:58:  SVR: *** End Double * Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y / a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
05-22-2023 23:56:58:  SVR: *** End Double / Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y div a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
05-22-2023 23:56:58:  SVR: *** End Double div Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y % a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
05-22-2023 23:56:58:  SVR: *** End Double % Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is z(a, b)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)

...
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
...


05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Start Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
05-22-2023 23:56:58:  SVR: *** End Double mod Short Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Skipping Double with Float, Already Tested in Float Test Sequence ***
05-22-2023 23:56:58:  SVR: *** Skipping Double with BigDecimal, Already Tested in BigDecimal Test Sequence ***
05-22-2023 23:56:58:  SVR: Test running in jsp vehicle passed
05-22-2023 23:56:59:  TRACE: SLEPT FOR:  1000
STATUS:Passed.
Passed.
********************************************************************************
Finished Test:  PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprDoubleTest_from_jsp
********************************************************************************