********************************************************************************
Beginning Test:  com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_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@3f0f14a6
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 = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
harness.executeMode is set to "0"
keywords (to be passed to tests) set to:  all
sClassPathFromExecProps = ::
02-08-2023 13:44:27:  Harness - harness.executeMode is set to "0"
02-08-2023 13:44:27:  Harness - keywords (to be passed to tests) set to:  all
02-08-2023 13:44:27:  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/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/jakartaee-api-9.1-M2-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/jakarta.faces-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/taglibs-shade-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/tomee-tck-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/openejb-core-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/openejb-core-eclipselink-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/activemq-client-5.16.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/activemq-jdbc-store-5.16.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/bval-jsr-2.0.6-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/commons-cli-1.5.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/commons-dbcp2-shade-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/commons-lang3-3.12.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/commons-pool2-2.11.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/cts-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/dbprocedures-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/derbynet-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/geronimo-connector-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/geronimo-jms_1.1_spec-1.1.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/geronimo-transaction-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/hsqldb-2.7.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/istack-commons-runtime-4.0.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jackson-annotations-2.14.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jackson-core-2.14.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jackson-databind-2.14.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jakartaee-api-9.1-M2-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jasper.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jaxb-runtime-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jboss-logging-3.5.0.Final.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/mbean-annotation-api-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-api-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-core-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-core-eclipselink-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-cxf-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-cxf-rs-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-cxf-transport-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-jee-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-jee-accessors-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-jpa-integration-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openejb-loader-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openjpa-3.2.2-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openwebbeans-ee-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openwebbeans-ee-common-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openwebbeans-ejb-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openwebbeans-el22-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openwebbeans-impl-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openwebbeans-spi-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/openwebbeans-web-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/quartz-openejb-shade-2.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/slf4j-api-1.7.36.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/stax-ex-1.8.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/sxc-shade-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tomee-catalina-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tomee-security-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tsharness-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/tssv-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/txw2-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/whitebox-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/xbean-asm9-shaded-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/xbean-bundleutils-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/xbean-finder-shaded-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/xbean-naming-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/xbean-reflect-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/yoko-osgi-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/yoko-rmi-impl-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/yoko-rmi-spec-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/lib/yoko-spec-corba-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/openejb-client-9.0.0-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/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/cxf-rt-rs-mp-client-shade-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/cxf-shade-9.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/neethi-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/wsdl4j-1.6.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/woodstox-core-6.4.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/stax2-api-4.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/xmlschema-core-2.2.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/johnzon-core-1.2.19-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/johnzon-jaxrs-1.2.19-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/johnzon-jsonb-1.2.19-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/johnzon-jsonp-strict-1.2.19-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/johnzon-mapper-1.2.19-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-coyote.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-dbcp.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-cs.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-de.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-es.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-fr.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-ja.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-ko.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-pt-BR.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-ru.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-i18n-zh-CN.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-jdbc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-jni.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-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/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/harnesstmp/ -Djava.protocol.handler.pkgs=javax.net.ssl -Djavax.net.ssl.keyStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/src/test/keystores/clientcert.jks -Djavax.net.ssl.keyStorePassword=changeit -Djavax.net.ssl.trustStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/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.0-SNAPSHOT -Dlog.file.location=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-SNAPSHOT/logs -Dservlet.is.jsr115.compatible=false -Dprovider.configuration.file=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/apache-tomee-plume-9.0.0-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/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/harnesstmp//tmp/tstest.jte -t elLambdaExprFloatTest -vehicle jsp
************************************************************
* props file set to "/tmp/ec2-user-cts-props.txt"
************************************************************
02-08-2023 13:44:28:  TRACE: #######  Value of harness.socket.retry.count is "10"
02-08-2023 13:44:28:  TRACE: #######  Value of harness.log.port is "35799"
02-08-2023 13:44:28:  TRACE: #######  Actual bind value of harness.log.port is "35799"
02-08-2023 13:44:28:  TRACE: in ServiceEETest.run() method
02-08-2023 13:44:28:  TRACE: Vehicle to be used for this test is:  jsp
02-08-2023 13:44:28:  Opened connection to http://localhost:46591/Lambdaexpression_jsp_vehicle_web/jsp_vehicle.jsp
02-08-2023 13:44:28:  TRACE: got outputstream
02-08-2023 13:44:28:  TRACE: wrote objects to the jsp vehicle
02-08-2023 13:44:28:  Test status from a jsp:  0:
02-08-2023 13:44:28:  Test: returning from running in a jsp vehicle
02-08-2023 13:44:28:  SVR-TRACE: JSPVehicle - In doJSPGet
02-08-2023 13:44:28:  SVR-TRACE: JSPVehicle - got InputStream
02-08-2023 13:44:28:  SVR-TRACE: JSP Vehicle -read properties!!!
02-08-2023 13:44:28:  SVR-TRACE: JSP Vehicle - list the props 
02-08-2023 13:44:28:  SVR-TRACE: --- Property Listing ---nulljakarta.persistence.provider=org.eclipse.persistence.jpa.PersistenceProvidernullorb.host=localhostnullharness.log.delayseconds=1nulltestName=elLambdaExprFloatTestnullharness.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/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/harnesstmp//wsdlRepository2nullporting.ts.deploy2.class.1=org.apache.openejb.cts.DeploymentImplnullwsdlRepository1=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/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/temp5805382417926583269dir/gbuild/work/workspace-1/project-11189/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nullnamingServiceHost2=localhostnulljakarta.persistence.jdbc.user=ctsnullwebServerPort=46591nullporting.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:33945/derbydb;create=truenullharness.log.port=35799nullorb.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=34425nullcurrent.keywords=allnulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullwebServerHost=localhostnullharness.host=172.31.91.14null--- End Property Listing ---null
02-08-2023 13:44:28:  SVR-TRACE: JSPVehicle - read Objects
02-08-2023 13:44:28:  SVR-TRACE: Remote logging set for JSP Vehicle
02-08-2023 13:44:28:  SVR-TRACE: JSPVehicle - Here are the props
02-08-2023 13:44:28:  SVR-TRACE: in custom vehicle so call on EETest.
02-08-2023 13:44:28:  SVR-TRACE: *** in EETest.run(argv,p)
02-08-2023 13:44:28:  SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient
02-08-2023 13:44:28:  SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient
02-08-2023 13:44:28:  SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprFloatTest
02-08-2023 13:44:28:  SVR-TRACE: ** GOT RUN METHOD!
02-08-2023 13:44:28:  SVR-TRACE: **runmethod=elLambdaExprFloatTest
02-08-2023 13:44:28:  SVR-TRACE: ABOUT TO GET SETUP METHOD!
02-08-2023 13:44:28:  SVR-TRACE: No setupMethod annotation present
02-08-2023 13:44:28:  SVR-TRACE: getSetupMethod - checking for testcase specific setup method:  elLambdaExprFloatTest_setup
02-08-2023 13:44:28:  SVR-TRACE: getSetupMethod - checking for default class specific setup method
02-08-2023 13:44:28:  SVR-TRACE: GOT SETUP METHOD!
02-08-2023 13:44:28:  SVR-TRACE: No cleanupMethod annotation present
02-08-2023 13:44:28:  SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method:  elLambdaExprFloatTest_cleanup
02-08-2023 13:44:28:  SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method
02-08-2023 13:44:28:  SVR-TRACE: GOT CLEANUP METHOD!
02-08-2023 13:44:28:  SVR-TRACE: ABOUT TO INVOKE SETUP METHOD!
02-08-2023 13:44:28:  SVR: Setup method called
02-08-2023 13:44:28:  SVR-TRACE: INVOKED SETUP METHOD!
02-08-2023 13:44:28:  SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD!
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Float Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Short Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Double Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Byte Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Integer Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x + y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2023 13:44:28:  SVR: *** End Float + BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2023 13:44:28:  SVR: *** End Float - BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2023 13:44:28:  SVR: *** End Float * BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2023 13:44:28:  SVR: *** End Float / BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2023 13:44:28:  SVR: *** End Float div BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2023 13:44:28:  SVR: *** End Float % BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod BigInteger Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x + y)(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
...


02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y + a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
02-08-2023 13:44:28:  SVR: *** End Float + Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y - a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
02-08-2023 13:44:28:  SVR: *** End Float - Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y * a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
02-08-2023 13:44:28:  SVR: *** End Float * Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y / a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
02-08-2023 13:44:28:  SVR: *** End Float / Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y div a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
02-08-2023 13:44:28:  SVR: *** End Float div Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y % a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
02-08-2023 13:44:28:  SVR: *** End Float % Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is z(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Start Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
02-08-2023 13:44:28:  SVR: *** End Float mod Long Test Sequence ***
02-08-2023 13:44:28:  SVR: *** Skipping Float with BigDecimal, Already Tested in BigDecimal Test Sequence ***
02-08-2023 13:44:28:  SVR: Test running in jsp vehicle passed
02-08-2023 13:44:29:  TRACE: SLEPT FOR:  1000
STATUS:Passed.
Passed.
********************************************************************************
Finished Test:  PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_jsp
********************************************************************************