******************************************************************************** Beginning Test: com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_jsp ******************************************************************************** Undeploying apps... StandardDeployment14.isDeployed() Deployed Modules: Search for s1as runtime files match:`Lambdaexpression_vehicles.ear` Valid runtime files after sweep: Deploying apps for forward rebuildable... Search for s1as runtime files match:`Lambdaexpression_vehicles.ear` Valid runtime files after sweep: StandardDeployment14.deploy() Starting to distribute: /home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear file: /home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear plan: java.io.ByteArrayInputStream@69538dd0 amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager $$$$$$$$$$ Deployment SUCCEEDED for "/home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear" amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: 03-13-2021 04:21:53: Harness - harness.executeMode is set to "0" 03-13-2021 04:21:53: Harness - keywords (to be passed to tests) set to: all 03-13-2021 04:21:53: Harness - sClassPathFromExecProps = :: command: com.sun.ts.lib.harness.ExecTSTestCmd CLASSPATH=:::/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-core.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/sigtest.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/javaee-api-8.0-5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/tomee-tck-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/openejb-core-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/openejb-core-eclipselink-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/FastInfoset-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/activemq-client-5.16.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/activemq-jdbc-store-5.16.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/bval-jsr-2.0.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-cli-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-collections4-4.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-dbcp2-2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-lang3-3.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-pool2-2.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/cts-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/dbprocedures-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/derbynet-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/eclipselink-3.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-connector-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-javamail_1.6_mail-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-jms_1.1_spec-1.1.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-mail-2.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-transaction-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/hsqldb-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/istack-commons-runtime-3.0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jackson-annotations-2.12.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jackson-core-2.12.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jackson-databind-2.12.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jakarta.xml.bind-api-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/javaee-api-8.0-5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jaxb-runtime-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/mbean-annotation-api-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-api-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-core-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-core-eclipselink-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-jee-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-jee-accessors-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-jpa-integration-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-loader-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openjpa-3.1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-ee-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-ee-common-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-ejb-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-el22-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-impl-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-spi-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-web-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/quartz-openejb-shade-2.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/slf4j-api-1.7.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/stax-ex-1.8.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/sxc-jaxb-core-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/sxc-runtime-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomee-catalina-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomee-security-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tsharness-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tssv-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/txw2-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/whitebox-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm-util-4.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm7-shaded-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm8-shaded-4.17.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm9-shaded-4.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-bundleutils-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-finder-shaded-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-naming-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-reflect-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/eclipselink-3.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/openejb-client-8.0.7-SNAPSHOT.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/dbprocedures.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-rs-client-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-transports-http-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-core-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/woodstox-core-5.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/stax2-api-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/xmlschema-core-2.2.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-frontend-jaxrs-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-rs-sse-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-core-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-jaxrs-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-jsonb-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-jsonp-strict-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-mapper-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-coyote.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-dbcp.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-cs.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-de.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-es.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-fr.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-ja.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-ko.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-pt-BR.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-ru.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-zh-CN.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-jdbc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-jni.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-websocket.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/lib/ant.jar:/home/ec2-user/glassfish6/glassfish/modules/admin-cli.jar:/home/ec2-user/jakartaee91tck/lib/http.jar:/home/ec2-user/jakartaee91tck/lib/glassfishporting.jar:/home/ec2-user/glassfish6/glassfish/modules/jakarta.activation-api.jar:/home/ec2-user/jakartaee91tck/classes:/home/ec2-user/jdk8/jre/../lib/tools.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-logging-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/commons-codec-1.9.jar:/home/ec2-user/jakartaee91tck/lib/cssparser-0.9.25.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-2.15.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-core-js-2.15.jar:/home/ec2-user/jakartaee91tck/lib/httpclient-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpmime-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpcore-4.4.9.jar:/home/ec2-user/jakartaee91tck/lib/commons-collections-3.2.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-io-2.4.jar:/home/ec2-user/jakartaee91tck/lib/commons-lang3-3.3.2.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-1.1.6.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-core-1.0.jar:/home/ec2-user/jakartaee91tck/lib/js-1.6R1.jar:/home/ec2-user/jakartaee91tck/lib/nekohtml-1.9.21.jar:/home/ec2-user/jakartaee91tck/lib/sac-1.3.jar:/home/ec2-user/jakartaee91tck/lib/saxpath.jar:/home/ec2-user/jakartaee91tck/lib/xercesImpl-2.11.0.jar:/home/ec2-user/jakartaee91tck/lib/xalan-2.7.2.jar:/home/ec2-user/jakartaee91tck/lib/tssv.jar:/home/ec2-user/jakartaee91tck/lib/xml-apis-1.4.01.jar DISPLAY=:0.0 HOME=/home/ec2-user windir= SYSTEMROOT= PATH=/home/ec2-user/glassfish6/glassfish/nativelib /home/ec2-user/jdk8/jre/bin/java -Dcts.tmp=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp/ -Djava.protocol.handler.pkgs=javax.net.ssl -Djavax.net.ssl.keyStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/src/test/keystores/clientcert.jks -Djavax.net.ssl.keyStorePassword=changeit -Djavax.net.ssl.trustStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/src/test/keystores/ssl-truststore -Djavax.net.ssl.trustStorePassword=changeit -Djava.endorsed.dirs=/home/ec2-user/glassfish6/glassfish/modules/endorsed:/home/ec2-user/jakartaee91tck/endorsedlib -Dcom.sun.aas.installRoot=/home/ec2-user/glassfish6/glassfish -Dcatalina.base=target/apache-tomee-plume-9.0.0-M5-SNAPSHOT -Dlog.file.location=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/logs -Dservlet.is.jsr115.compatible=false -Dprovider.configuration.file=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/conf/ProviderConfiguration.xml -Dlogical.hostname.servlet=Catalina/localhost -Dcom.sun.aas.configRoot=/home/ec2-user/glassfish6/glassfish/config -Ddeliverable.class=com.sun.ts.lib.deliverable.cts.CTSDeliverable -Dopenejb.validation.output.level=3 com.sun.ts.tests.common.vehicle.VehicleClient -p /home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//tmp/tstest.jte -t elLambdaExprFloatTest -vehicle jsp ************************************************************ * props file set to "/tmp/ec2-user-cts-props.txt" ************************************************************ 03-13-2021 04:21:54: TRACE: ####### Value of harness.socket.retry.count is "10" 03-13-2021 04:21:54: TRACE: ####### Value of harness.log.port is "33467" 03-13-2021 04:21:54: TRACE: ####### Actual bind value of harness.log.port is "33467" 03-13-2021 04:21:54: TRACE: in ServiceEETest.run() method 03-13-2021 04:21:54: TRACE: Vehicle to be used for this test is: jsp 03-13-2021 04:21:54: Opened connection to http://localhost:35795/Lambdaexpression_jsp_vehicle_web/jsp_vehicle.jsp 03-13-2021 04:21:54: TRACE: got outputstream 03-13-2021 04:21:54: TRACE: wrote objects to the jsp vehicle 03-13-2021 04:21:55: SVR-TRACE: JSPVehicle - In doJSPGet 03-13-2021 04:21:55: SVR-TRACE: JSPVehicle - got InputStream 03-13-2021 04:21:55: SVR-TRACE: JSP Vehicle -read properties!!! 03-13-2021 04:21:55: SVR-TRACE: JSP Vehicle - list the props 03-13-2021 04:21:55: SVR-TRACE: --- Property Listing ---nulljakarta.persistence.provider=org.eclipse.persistence.jpa.PersistenceProvidernullorb.host=localhostnullharness.log.delayseconds=1nulltestName=elLambdaExprFloatTestnullharness.log.traceflag=truenullbin.dir=nullporting.ts.login.class.2=com.sun.ts.lib.implementation.sun.javaee.GlassFishLoginContextnullporting.ts.login.class.1=org.apache.openejb.cts.LoginContextImplnullporting.ts.HttpsURLConnection.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIHttpsURLConnectionnullporting.ts.HttpsURLConnection.class.1=org.apache.openejb.cts.HTTPSURLConnectionImplnullporting.ts.deploy2.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIDeployment2nullwsdlRepository2=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//wsdlRepository2nullporting.ts.deploy2.class.1=org.apache.openejb.cts.DeploymentImplnullwsdlRepository1=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//wsdlRepository1nulljakarta.persistence.jdbc.driver=org.apache.derby.jdbc.ClientDrivernullvi.admin.passwd=adminadminnullvehicle=jspnullfinder=ctsnullall.props=falsenulljavaee.level=fullnulljakarta.persistence.jdbc.password=ctsnullplatform.mode=jakartaEEnullpersistence.unit.name.2=JPATCK2nullharness.temp.directory=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nulljakarta.persistence.jdbc.user=ctsnullnamingServiceHost2=localhostnullwebServerPort=35795nullnamingServiceHost1=localhostnullporting.ts.url.class.2=com.sun.ts.lib.implementation.sun.common.SunRIURLnullporting.ts.url.class.1=org.apache.openejb.cts.URLImplnullharness.socket.retry.count=10nullvi.admin.user=adminnulljakarta.persistence.jdbc.url=jdbc:derby://localhost:45935/derbydb;create=truenullharness.log.port=33467nullorb.port=2809nullvariable.mapper=org.apache.el.lang.VariableMapperImplnullporting.ts.jms.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIJMSAdminnullporting.ts.jms.class.1=org.apache.openejb.cts.JMSAdminImplnullvehicle_archive_name=Lambdaexpression_vehiclesnullporting.ts.deploy.class.2=com.sun.ts.lib.implementation.sun.javaee.glassfish.AutoDeploymentnulltest_classname=com.sun.ts.tests.el.spec.lambda.ELClientnullpersistence.second.level.caching.supported=truenullporting.ts.deploy.class.1=org.apache.openejb.cts.deploy.StandardDeployment14nullpersistence.unit.name=CTS-EMnullsecuredWebServicePort=42033nullcurrent.keywords=allnulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullwebServerHost=localhostnullharness.host=172.31.84.7null--- End Property Listing ---null 03-13-2021 04:21:55: SVR-TRACE: JSPVehicle - read Objects 03-13-2021 04:21:55: SVR-TRACE: Remote logging set for JSP Vehicle 03-13-2021 04:21:55: SVR-TRACE: JSPVehicle - Here are the props 03-13-2021 04:21:55: SVR-TRACE: in custom vehicle so call on EETest. 03-13-2021 04:21:55: SVR-TRACE: *** in EETest.run(argv,p) 03-13-2021 04:21:55: SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient 03-13-2021 04:21:55: SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient 03-13-2021 04:21:55: SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprFloatTest 03-13-2021 04:21:55: SVR-TRACE: ** GOT RUN METHOD! 03-13-2021 04:21:55: SVR-TRACE: **runmethod=elLambdaExprFloatTest 03-13-2021 04:21:55: SVR-TRACE: ABOUT TO GET SETUP METHOD! 03-13-2021 04:21:55: SVR-TRACE: No setupMethod annotation present 03-13-2021 04:21:55: SVR-TRACE: getSetupMethod - checking for testcase specific setup method: elLambdaExprFloatTest_setup 03-13-2021 04:21:55: SVR-TRACE: getSetupMethod - checking for default class specific setup method 03-13-2021 04:21:55: SVR-TRACE: GOT SETUP METHOD! 03-13-2021 04:21:55: SVR-TRACE: No cleanupMethod annotation present 03-13-2021 04:21:55: SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method: elLambdaExprFloatTest_cleanup 03-13-2021 04:21:55: SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method 03-13-2021 04:21:55: SVR-TRACE: GOT CLEANUP METHOD! 03-13-2021 04:21:55: SVR-TRACE: ABOUT TO INVOKE SETUP METHOD! 03-13-2021 04:21:55: SVR: Setup method called 03-13-2021 04:21:55: SVR-TRACE: INVOKED SETUP METHOD! 03-13-2021 04:21:55: SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD! 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:55: SVR: *** End Float + BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:55: SVR: *** End Float - BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: Test status from a jsp: 0: 03-13-2021 04:21:55: Test: returning from running in a jsp vehicle 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:55: SVR: *** End Float * BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:55: SVR: *** End Float / BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:55: SVR: *** End Float div BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:55: SVR: *** End Float % BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:55: SVR: *** End Float mod BigInteger Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:55: SVR: *** End Float + Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:55: SVR: *** End Float - Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:55: SVR: *** End Float * Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:55: SVR: *** End Float / Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:55: SVR: *** End Float div Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:55: SVR: *** End Float % Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Short Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:55: SVR: *** End Float + Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:55: SVR: *** End Float - Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:55: SVR: *** End Float * Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:55: SVR: *** End Float / Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:55: SVR: *** End Float div Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:55: SVR: *** End Float % Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Double Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:55: SVR: *** End Float + Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:55: SVR: *** End Float - Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:55: SVR: *** End Float * Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:55: SVR: *** End Float / Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:55: SVR: *** End Float div Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:55: SVR: *** End Float % Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Integer Test Sequence *** 03-13-2021 04:21:55: SVR: *** Skipping Float with BigDecimal, Already Tested in BigDecimal Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:55: SVR: *** End Float + Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:55: SVR: *** End Float - Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:55: SVR: *** End Float * Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:55: SVR: *** End Float / Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:55: SVR: *** End Float div Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:55: SVR: *** End Float % Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Float Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:55: SVR: *** End Float + Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:55: SVR: *** End Float - Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:55: SVR: *** End Float * Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:55: SVR: *** End Float / Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:55: SVR: *** End Float div Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:55: SVR: *** End Float % Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Long Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) ... Output overflow: JT Harness has limited the test output to the text to that at the beginning and the end, so that you can see how the test began, and how it completed. If you need to see more of the output from the test, set the system property javatest.maxOutputSize to a higher value. The current value is 100000 ... 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:55: SVR: *** End Float + Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:55: SVR: *** End Float - Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:55: SVR: *** End Float * Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:55: SVR: *** End Float / Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:55: SVR: *** End Float div Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:55: SVR: *** End Float % Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: *** Start Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:55: SVR: *** End Float mod Byte Test Sequence *** 03-13-2021 04:21:55: SVR: Test running in jsp vehicle passed 03-13-2021 04:21:56: TRACE: SLEPT FOR: 1000 STATUS:Passed. Passed. ******************************************************************************** Finished Test: PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_jsp ********************************************************************************