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

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

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

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

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


07-07-2022 08:15:38:  SVR: *** Start Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = ()->y->y + a; f()(b)
07-07-2022 08:15:38:  SVR: *** End Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (((x, y)-> x + y)(a, b))
07-07-2022 08:15:38:  SVR: *** End Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is z(a, b)
07-07-2022 08:15:38:  SVR: *** End Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b)
07-07-2022 08:15:38:  SVR: *** End Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a)
07-07-2022 08:15:38:  SVR: *** End Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a)
07-07-2022 08:15:38:  SVR: *** End Float + BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (x->(y->x - y)(a))(b)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (()->y->y - a)()(b)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = ()->y->y - a; f()(b)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (((x, y)-> x - y)(a, b))
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is z(a, b)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a)
07-07-2022 08:15:38:  SVR: *** End Float - BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (x->(y->x * y)(a))(b)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (()->y->y * a)()(b)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = ()->y->y * a; f()(b)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (((x, y)-> x * y)(a, b))
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is z(a, b)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a)
07-07-2022 08:15:38:  SVR: *** End Float * BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (x->(y->x / y)(a))(b)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (()->y->y / a)()(b)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = ()->y->y / a; f()(b)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (((x, y)-> x / y)(a, b))
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is z(a, b)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a)
07-07-2022 08:15:38:  SVR: *** End Float / BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (x->(y->x div y)(a))(b)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (()->y->y div a)()(b)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = ()->y->y div a; f()(b)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (((x, y)-> x div y)(a, b))
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is z(a, b)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a)
07-07-2022 08:15:38:  SVR: *** End Float div BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (x->(y->x % y)(a))(b)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (()->y->y % a)()(b)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = ()->y->y % a; f()(b)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (((x, y)-> x % y)(a, b))
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is z(a, b)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a)
07-07-2022 08:15:38:  SVR: *** End Float % BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (x->(y->x mod y)(a))(b)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (()->y->y mod a)()(b)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = ()->y->y mod a; f()(b)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b))
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is z(a, b)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Start Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a)
07-07-2022 08:15:38:  SVR: *** End Float mod BigInteger Test Sequence ***
07-07-2022 08:15:38:  SVR: *** Skipping Float with BigDecimal, Already Tested in BigDecimal Test Sequence ***
07-07-2022 08:15:38:  SVR: Test running in servlet vehicle passed
07-07-2022 08:15:39:  TRACE: SLEPT FOR:  1000
STATUS:Passed.
Passed.
********************************************************************************
Finished Test:  PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_servlet
********************************************************************************