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