******************************************************************************** Beginning Test: com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_servlet ******************************************************************************** Undeploying apps... StandardDeployment14.isDeployed() Deployed Modules: Search for s1as runtime files match:`Lambdaexpression_vehicles.ear` Valid runtime files after sweep: Deploying apps for forward rebuildable... Search for s1as runtime files match:`Lambdaexpression_vehicles.ear` Valid runtime files after sweep: StandardDeployment14.deploy() Starting to distribute: /home/ec2-user/jakartaee8tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear file: /home/ec2-user/jakartaee8tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear plan: java.io.ByteArrayInputStream@a4a84df amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager $$$$$$$$$$ Deployment SUCCEEDED for "/home/ec2-user/jakartaee8tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear" amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: 06-23-2022 13:06:18: Harness - harness.executeMode is set to "0" 06-23-2022 13:06:18: Harness - keywords (to be passed to tests) set to: all 06-23-2022 13:06:18: 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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/tomee-tck-8.0.13-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/activemq-client-5.16.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/bval-jsr-2.0.6.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/commons-cli-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/commons-dbcp2-2.3.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/commons-lang3-3.12.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/commons-pool2-2.11.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/cts-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/dbprocedures-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/derbynet-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/eclipselink-2.7.9.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/geronimo-connector-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/geronimo-mail-2.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/geronimo-transaction-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/hsqldb-2.5.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/jackson-annotations-2.13.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/jackson-core-2.13.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/jaxb-runtime-2.3.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-core-1.2.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-jaxrs-1.2.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-jsonb-1.2.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/johnzon-mapper-1.2.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openjpa-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-ee-2.0.27.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-ejb-2.0.27.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-el22-2.0.27.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-impl-2.0.27.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-spi-2.0.27.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/openwebbeans-web-2.0.27.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/slf4j-api-1.7.36.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/stax-ex-1.8.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/sxc-jaxb-core-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/sxc-runtime-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/tsharness-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/tssv-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/txw2-2.3.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/webdeployer-8.0.13-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/whitebox-8.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-asm9-shaded-4.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-bundleutils-4.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-finder-shaded-4.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-naming-4.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/lib/xbean-reflect-4.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/harnesstmp//tmp/tstest.jte -t elLambdaExprFloatTest -vehicle servlet ************************************************************ * props file set to "/tmp/ec2-user-cts-props.txt" ************************************************************ 06-23-2022 13:06:18: TRACE: ####### Value of harness.socket.retry.count is "10" 06-23-2022 13:06:18: TRACE: ####### Value of harness.log.port is "40485" 06-23-2022 13:06:18: TRACE: ####### Actual bind value of harness.log.port is "40485" 06-23-2022 13:06:19: TRACE: in ServiceEETest.run() method 06-23-2022 13:06:19: TRACE: Vehicle to be used for this test is: servlet 06-23-2022 13:06:19: Opened connection to http://localhost:36965/Lambdaexpression_servlet_vehicle_web/servlet_vehicle 06-23-2022 13:06:19: TRACE: got outputstream 06-23-2022 13:06:19: TRACE: wrote objects to the servlet vehicle In doPost! ServletVehicle - got InputStream read properties!!! got outputstream ran test 06-23-2022 13:06:19: SVR-TRACE: In doPost 06-23-2022 13:06:19: SVR-TRACE: ServletVehicle - In doGet 06-23-2022 13:06:19: SVR-TRACE: ServletVehicle - got InputStream 06-23-2022 13:06:19: SVR-TRACE: ServletVehicle - read Objects 06-23-2022 13:06:19: SVR-TRACE: Remote logging set for Servlet Vehicle 06-23-2022 13:06:19: SVR-TRACE: ServletVehicle - Here are the props 06-23-2022 13:06:19: 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/temp2727630797579766247dir/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/harnesstmp//wsdlRepository1nullvi.admin.passwd=adminadminnullvehicle=servletnulljavax.persistence.jdbc.password=ctsnullfinder=ctsnullall.props=falsenulljavaee.level=fullnulljavax.persistence.jdbc.url=jdbc:derby://localhost:42403/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/temp2727630797579766247dir/gbuild/work/workspace-1/project-11118/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nullnamingServiceHost2=localhostnullwebServerPort=36965nullporting.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=40485nulldeployManagerJarFile.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=40381nulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullcurrent.keywords=allnullwebServerHost=localhostnullharness.host=172.31.88.229null--- End Property Listing ---null 06-23-2022 13:06:19: SVR-TRACE: in custom vehicle so call on EETest. 06-23-2022 13:06:19: SVR-TRACE: *** in EETest.run(argv,p) 06-23-2022 13:06:19: SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient 06-23-2022 13:06:19: SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient 06-23-2022 13:06:19: SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprFloatTest 06-23-2022 13:06:19: SVR-TRACE: ** GOT RUN METHOD! 06-23-2022 13:06:19: SVR-TRACE: **runmethod=elLambdaExprFloatTest 06-23-2022 13:06:19: SVR-TRACE: ABOUT TO GET SETUP METHOD! 06-23-2022 13:06:19: Test status from a servlet: 0: 06-23-2022 13:06:19: SVR-TRACE: No setupMethod annotation present 06-23-2022 13:06:19: SVR-TRACE: getSetupMethod - checking for testcase specific setup method: elLambdaExprFloatTest_setup 06-23-2022 13:06:19: SVR-TRACE: getSetupMethod - checking for default class specific setup method 06-23-2022 13:06:19: SVR-TRACE: GOT SETUP METHOD! 06-23-2022 13:06:19: SVR-TRACE: No cleanupMethod annotation present 06-23-2022 13:06:19: SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method: elLambdaExprFloatTest_cleanup 06-23-2022 13:06:19: SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method 06-23-2022 13:06:19: SVR-TRACE: GOT CLEANUP METHOD! 06-23-2022 13:06:19: SVR-TRACE: ABOUT TO INVOKE SETUP METHOD! 06-23-2022 13:06:19: SVR: Setup method called 06-23-2022 13:06:19: SVR-TRACE: INVOKED SETUP METHOD! 06-23-2022 13:06:19: SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD! 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y + a)()(b) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 06-23-2022 13:06:19: SVR: *** End Float + BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y - a)()(b) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 06-23-2022 13:06:19: SVR: *** End Float - BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y * a)()(b) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: Test: returning from running in a servlet vehicle 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 06-23-2022 13:06:19: SVR: *** End Float * BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y / a)()(b) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 06-23-2022 13:06:19: SVR: *** End Float / BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y div a)()(b) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 06-23-2022 13:06:19: SVR: *** End Float div BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y % a)()(b) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 06-23-2022 13:06:19: SVR: *** End Float % BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y mod a)()(b) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 06-23-2022 13:06:19: SVR: *** End Float mod BigInteger Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y + a)()(b) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 06-23-2022 13:06:19: SVR: *** End Float + Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y - a)()(b) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 06-23-2022 13:06:19: SVR: *** End Float - Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y * a)()(b) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 06-23-2022 13:06:19: SVR: *** End Float * Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y / a)()(b) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 06-23-2022 13:06:19: SVR: *** End Float / Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y div a)()(b) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 06-23-2022 13:06:19: SVR: *** End Float div Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y % a)()(b) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 06-23-2022 13:06:19: SVR: *** End Float % Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y mod a)()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Byte Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y + a)()(b) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 06-23-2022 13:06:19: SVR: *** End Float + Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y - a)()(b) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 06-23-2022 13:06:19: SVR: *** End Float - Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y * a)()(b) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 06-23-2022 13:06:19: SVR: *** End Float * Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y / a)()(b) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 06-23-2022 13:06:19: SVR: *** End Float / Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y div a)()(b) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 06-23-2022 13:06:19: SVR: *** End Float div Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y % a)()(b) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 06-23-2022 13:06:19: SVR: *** End Float % Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y mod a)()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Integer Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y + a)()(b) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 06-23-2022 13:06:19: SVR: *** End Float + Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y - a)()(b) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 06-23-2022 13:06:19: SVR: *** End Float - Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y * a)()(b) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 06-23-2022 13:06:19: SVR: *** End Float * Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y / a)()(b) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 06-23-2022 13:06:19: SVR: *** End Float / Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y div a)()(b) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 06-23-2022 13:06:19: SVR: *** End Float div Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y % a)()(b) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 06-23-2022 13:06:19: SVR: *** End Float % Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y mod a)()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Double Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y + a)()(b) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 06-23-2022 13:06:19: SVR: *** End Float + Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y - a)()(b) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 06-23-2022 13:06:19: SVR: *** End Float - Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y * a)()(b) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 06-23-2022 13:06:19: SVR: *** End Float * Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y / a)()(b) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 06-23-2022 13:06:19: SVR: *** End Float / Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y div a)()(b) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 06-23-2022 13:06:19: SVR: *** End Float div Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y % a)()(b) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 06-23-2022 13:06:19: SVR: *** End Float % Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y mod a)()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Long Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y + a)()(b) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 06-23-2022 13:06:19: SVR: *** End Float + Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y - a)()(b) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 06-23-2022 13:06:19: SVR: *** End Float - Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y * a)()(b) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 06-23-2022 13:06:19: SVR: *** End Float * Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y / a)()(b) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 06-23-2022 13:06:19: SVR: *** End Float / Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y div a)()(b) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 06-23-2022 13:06:19: SVR: *** End Float div Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y % a)()(b) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 06-23-2022 13:06:19: SVR: *** End Float % Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y mod a)()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Short Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 06-23-2022 13:06:19: 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-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y + a)()(b) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 06-23-2022 13:06:19: SVR: *** End Float + Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y - a)()(b) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 06-23-2022 13:06:19: SVR: *** End Float - Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y * a)()(b) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 06-23-2022 13:06:19: SVR: *** End Float * Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y / a)()(b) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 06-23-2022 13:06:19: SVR: *** End Float / Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y div a)()(b) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 06-23-2022 13:06:19: SVR: *** End Float div Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y % a)()(b) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 06-23-2022 13:06:19: SVR: *** End Float % Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (()->y->y mod a)()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is z(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Start Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 06-23-2022 13:06:19: SVR: *** End Float mod Float Test Sequence *** 06-23-2022 13:06:19: SVR: *** Skipping Float with BigDecimal, Already Tested in BigDecimal Test Sequence *** 06-23-2022 13:06:19: SVR: Test running in servlet vehicle passed 06-23-2022 13:06:20: TRACE: SLEPT FOR: 1000 STATUS:Passed. Passed. ******************************************************************************** Finished Test: PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_servlet ********************************************************************************