******************************************************************************** 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/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear file: /home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear plan: java.io.ByteArrayInputStream@778af236 amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager $$$$$$$$$$ Deployment SUCCEEDED for "/home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear" amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: 05-22-2023 23:57:03: Harness - harness.executeMode is set to "0" 05-22-2023 23:57:03: Harness - keywords (to be passed to tests) set to: all 05-22-2023 23:57:03: Harness - sClassPathFromExecProps = :: command: com.sun.ts.lib.harness.ExecTSTestCmd CLASSPATH=:::/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-core.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/sigtest.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jakartaee-api-9.1.1-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jakarta.faces-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/taglibs-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/tomee-tck-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/openejb-core-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/openejb-core-eclipselink-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/activemq-client-5.18.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/activemq-jdbc-store-5.18.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/bval-jsr-2.0.6-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-cli-1.5.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-dbcp2-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-lang3-3.12.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/commons-pool2-2.11.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/cts-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/dbprocedures-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derby-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbyclient-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbynet-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbyshared-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/derbytools-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-connector-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-jms_1.1_spec-1.1.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/geronimo-transaction-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/hsqldb-2.7.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/istack-commons-runtime-4.0.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jackson-annotations-2.15.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jackson-core-2.15.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jackson-databind-2.15.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jakartaee-api-9.1.1-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jasper.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jaxb-runtime-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jboss-logging-3.5.0.Final.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/mbean-annotation-api-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-api-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-core-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-core-eclipselink-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-cxf-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-cxf-rs-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-cxf-transport-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-jee-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-jee-accessors-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-jpa-integration-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openejb-loader-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openjpa-3.2.2-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-ee-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-ee-common-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-ejb-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-el22-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-impl-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-spi-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/openwebbeans-web-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/quartz-openejb-shade-2.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/slf4j-api-1.7.36.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/stax-ex-1.8.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/sxc-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomee-catalina-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tomee-security-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tsharness-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/tssv-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/txw2-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/whitebox-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-asm9-shaded-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-bundleutils-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-finder-shaded-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-naming-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/xbean-reflect-4.22.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-osgi-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-rmi-impl-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-rmi-spec-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/lib/yoko-spec-corba-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derby-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbyclient-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbynet-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbyshared-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/derbytools-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/openejb-client-9.0.1-SNAPSHOT.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/dbprocedures.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/cxf-rt-rs-mp-client-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/cxf-shade-9.0.1-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/neethi-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/wsdl4j-1.6.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/woodstox-core-6.4.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/stax2-api-4.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/xmlschema-core-2.2.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-core-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-jaxrs-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-jsonb-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-jsonp-strict-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/johnzon-mapper-1.2.20-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-coyote.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-dbcp.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-cs.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-de.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-es.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-fr.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-ja.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-ko.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-pt-BR.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-ru.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-i18n-zh-CN.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-jdbc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-jni.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/lib/tomcat-websocket.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/lib/ant.jar:/home/ec2-user/glassfish6/glassfish/modules/admin-cli.jar:/home/ec2-user/jakartaee91tck/lib/http.jar:/home/ec2-user/jakartaee91tck/lib/glassfishporting.jar:/home/ec2-user/glassfish6/glassfish/modules/jakarta.activation-api.jar:/home/ec2-user/jakartaee91tck/classes:/home/ec2-user/jdk-11.0.10+9/../lib/tools.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-logging-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/commons-codec-1.9.jar:/home/ec2-user/jakartaee91tck/lib/cssparser-0.9.25.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-2.15.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-core-js-2.15.jar:/home/ec2-user/jakartaee91tck/lib/httpclient-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpmime-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpcore-4.4.9.jar:/home/ec2-user/jakartaee91tck/lib/commons-collections-3.2.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-io-2.4.jar:/home/ec2-user/jakartaee91tck/lib/commons-lang3-3.3.2.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-1.1.6.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-core-1.0.jar:/home/ec2-user/jakartaee91tck/lib/nekohtml-1.9.21.jar:/home/ec2-user/jakartaee91tck/lib/sac-1.3.jar:/home/ec2-user/jakartaee91tck/lib/saxpath.jar:/home/ec2-user/jakartaee91tck/lib/xercesImpl-2.11.0.jar:/home/ec2-user/jakartaee91tck/lib/xalan-2.7.2.jar:/home/ec2-user/jakartaee91tck/lib/tssv.jar:/home/ec2-user/jakartaee91tck/lib/xml-apis-1.4.01.jar DISPLAY=:0.0 HOME=/home/ec2-user windir= SYSTEMROOT= PATH=/home/ec2-user/glassfish6/glassfish/nativelib /home/ec2-user/jdk-11.0.10+9/bin/java -Dcts.tmp=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp/ -Djava.protocol.handler.pkgs=javax.net.ssl -Djavax.net.ssl.keyStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/src/test/keystores/clientcert.jks -Djavax.net.ssl.keyStorePassword=changeit -Djavax.net.ssl.trustStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/src/test/keystores/ssl-truststore -Djavax.net.ssl.trustStorePassword=changeit -Dcom.sun.aas.installRoot=/home/ec2-user/glassfish6/glassfish -Dcatalina.base=target/apache-tomee-plume-9.0.1-SNAPSHOT -Dlog.file.location=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/logs -Dservlet.is.jsr115.compatible=false -Dprovider.configuration.file=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/apache-tomee-plume-9.0.1-SNAPSHOT/conf/ProviderConfiguration.xml -Dlogical.hostname.servlet=Catalina/localhost -Dcom.sun.aas.configRoot=/home/ec2-user/glassfish6/glassfish/config -Ddeliverable.class=com.sun.ts.lib.deliverable.cts.CTSDeliverable -Dopenejb.validation.output.level=3 -Djava.security.egd=file:/dev/./urandom -Dbin.dir=/home/ec2-user/jakartaeetck-9.1.0-2021-04-20.1739/bin com.sun.ts.tests.common.vehicle.VehicleClient -p /home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//tmp/tstest.jte -t elLambdaExprFloatTest -vehicle servlet ************************************************************ * props file set to "/tmp/ec2-user-cts-props.txt" ************************************************************ 05-22-2023 23:57:03: TRACE: ####### Value of harness.socket.retry.count is "10" 05-22-2023 23:57:03: TRACE: ####### Value of harness.log.port is "34195" 05-22-2023 23:57:03: TRACE: ####### Actual bind value of harness.log.port is "34195" 05-22-2023 23:57:03: TRACE: in ServiceEETest.run() method 05-22-2023 23:57:03: TRACE: Vehicle to be used for this test is: servlet 05-22-2023 23:57:03: Opened connection to http://localhost:40869/Lambdaexpression_servlet_vehicle_web/servlet_vehicle 05-22-2023 23:57:03: TRACE: got outputstream 05-22-2023 23:57:03: TRACE: wrote objects to the servlet vehicle In doPost! ServletVehicle - got InputStream read properties!!! got outputstream ran test 05-22-2023 23:57:03: SVR-TRACE: In doPost 05-22-2023 23:57:03: Test status from a servlet: 0: 05-22-2023 23:57:03: SVR-TRACE: ServletVehicle - In doGet 05-22-2023 23:57:03: SVR-TRACE: ServletVehicle - got InputStream 05-22-2023 23:57:03: SVR-TRACE: ServletVehicle - read Objects 05-22-2023 23:57:03: SVR-TRACE: Remote logging set for Servlet Vehicle 05-22-2023 23:57:03: SVR-TRACE: ServletVehicle - Here are the props 05-22-2023 23:57:03: SVR-TRACE: --- Property Listing ---nulljakarta.persistence.provider=org.eclipse.persistence.jpa.PersistenceProvidernullorb.host=localhostnullharness.log.delayseconds=1nulltestName=elLambdaExprFloatTestnullharness.log.traceflag=truenullbin.dir=/home/ec2-user/jakartaee91tck/binnullporting.ts.login.class.2=com.sun.ts.lib.implementation.sun.javaee.GlassFishLoginContextnullporting.ts.login.class.1=org.apache.openejb.cts.LoginContextImplnullporting.ts.HttpsURLConnection.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIHttpsURLConnectionnullporting.ts.HttpsURLConnection.class.1=org.apache.openejb.cts.HTTPSURLConnectionImplnullporting.ts.deploy2.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIDeployment2nullwsdlRepository2=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//wsdlRepository2nullporting.ts.deploy2.class.1=org.apache.openejb.cts.DeploymentImplnullwsdlRepository1=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//wsdlRepository1nulljakarta.persistence.jdbc.driver=org.apache.derby.jdbc.ClientDrivernullvi.admin.passwd=adminadminnullvehicle=servletnullfinder=ctsnullall.props=falsenulljavaee.level=fullnulljakarta.persistence.jdbc.password=ctsnullplatform.mode=jakartaEEnullpersistence.unit.name.2=JPATCK2nullharness.temp.directory=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp2744290982946445566dir/gbuild/work/workspace-1/project-17189/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nullnamingServiceHost2=localhostnulljakarta.persistence.jdbc.user=ctsnullwebServerPort=40869nullporting.ts.url.class.2=com.sun.ts.lib.implementation.sun.common.SunRIURLnullnamingServiceHost1=localhostnullporting.ts.url.class.1=org.apache.openejb.cts.URLImplnullharness.socket.retry.count=10nullvi.admin.user=adminnulljakarta.persistence.jdbc.url=jdbc:derby://localhost:40971/derbydb;create=truenullharness.log.port=34195nullorb.port=2809nullvariable.mapper=org.apache.el.lang.VariableMapperImplnullporting.ts.jms.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIJMSAdminnullporting.ts.jms.class.1=org.apache.openejb.cts.JMSAdminImplnullvehicle_archive_name=Lambdaexpression_vehiclesnullporting.ts.deploy.class.2=com.sun.ts.lib.implementation.sun.javaee.glassfish.AutoDeploymentnullpersistence.second.level.caching.supported=truenulltest_classname=com.sun.ts.tests.el.spec.lambda.ELClientnullporting.ts.deploy.class.1=org.apache.openejb.cts.deploy.StandardDeployment14nulljimage.dir=/home/ec2-user/jakartaee91tck/tmp/jdk-bundlesnullpersistence.unit.name=CTS-EMnullsecuredWebServicePort=39115nullcurrent.keywords=allnulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullwebServerHost=localhostnullharness.host=172.31.84.193null--- End Property Listing ---null 05-22-2023 23:57:03: SVR-TRACE: in custom vehicle so call on EETest. 05-22-2023 23:57:03: SVR-TRACE: *** in EETest.run(argv,p) 05-22-2023 23:57:03: SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient 05-22-2023 23:57:03: SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient 05-22-2023 23:57:03: SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprFloatTest 05-22-2023 23:57:03: SVR-TRACE: ** GOT RUN METHOD! 05-22-2023 23:57:03: SVR-TRACE: **runmethod=elLambdaExprFloatTest 05-22-2023 23:57:03: SVR-TRACE: ABOUT TO GET SETUP METHOD! 05-22-2023 23:57:03: SVR-TRACE: No setupMethod annotation present 05-22-2023 23:57:03: SVR-TRACE: getSetupMethod - checking for testcase specific setup method: elLambdaExprFloatTest_setup 05-22-2023 23:57:03: SVR-TRACE: getSetupMethod - checking for default class specific setup method 05-22-2023 23:57:03: SVR-TRACE: GOT SETUP METHOD! 05-22-2023 23:57:03: SVR-TRACE: No cleanupMethod annotation present 05-22-2023 23:57:03: SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method: elLambdaExprFloatTest_cleanup 05-22-2023 23:57:03: SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method 05-22-2023 23:57:03: SVR-TRACE: GOT CLEANUP METHOD! 05-22-2023 23:57:03: SVR-TRACE: ABOUT TO INVOKE SETUP METHOD! 05-22-2023 23:57:03: SVR: Setup method called 05-22-2023 23:57:03: SVR-TRACE: INVOKED SETUP METHOD! 05-22-2023 23:57:03: SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD! 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 05-22-2023 23:57:03: Test: returning from running in a servlet vehicle 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y + a)()(b) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 05-22-2023 23:57:03: SVR: *** End Float + BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y - a)()(b) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 05-22-2023 23:57:03: SVR: *** End Float - BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y * a)()(b) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 05-22-2023 23:57:03: SVR: *** End Float * BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y / a)()(b) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 05-22-2023 23:57:03: SVR: *** End Float / BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y div a)()(b) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 05-22-2023 23:57:03: SVR: *** End Float div BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y % a)()(b) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 05-22-2023 23:57:03: SVR: *** End Float % BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y mod a)()(b) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 05-22-2023 23:57:03: SVR: *** End Float mod BigInteger Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y + a)()(b) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 05-22-2023 23:57:03: SVR: *** End Float + Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y - a)()(b) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 05-22-2023 23:57:03: SVR: *** End Float - Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y * a)()(b) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 05-22-2023 23:57:03: SVR: *** End Float * Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y / a)()(b) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 05-22-2023 23:57:03: SVR: *** End Float / Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y div a)()(b) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 05-22-2023 23:57:03: SVR: *** End Float div Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y % a)()(b) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 05-22-2023 23:57:03: SVR: *** End Float % Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y mod a)()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Byte Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y + a)()(b) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 05-22-2023 23:57:03: SVR: *** End Float + Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y - a)()(b) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 05-22-2023 23:57:03: SVR: *** End Float - Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y * a)()(b) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 05-22-2023 23:57:03: SVR: *** End Float * Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y / a)()(b) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 05-22-2023 23:57:03: SVR: *** End Float / Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y div a)()(b) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 05-22-2023 23:57:03: SVR: *** End Float div Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y % a)()(b) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 05-22-2023 23:57:03: SVR: *** End Float % Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y mod a)()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Integer Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y + a)()(b) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 05-22-2023 23:57:03: SVR: *** End Float + Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y - a)()(b) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 05-22-2023 23:57:03: SVR: *** End Float - Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y * a)()(b) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 05-22-2023 23:57:03: SVR: *** End Float * Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y / a)()(b) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 05-22-2023 23:57:03: SVR: *** End Float / Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y div a)()(b) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 05-22-2023 23:57:03: SVR: *** End Float div Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y % a)()(b) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 05-22-2023 23:57:03: SVR: *** End Float % Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y mod a)()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Double Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y + a)()(b) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 05-22-2023 23:57:03: SVR: *** End Float + Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y - a)()(b) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 05-22-2023 23:57:03: SVR: *** End Float - Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y * a)()(b) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 05-22-2023 23:57:03: SVR: *** End Float * Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y / a)()(b) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 05-22-2023 23:57:03: SVR: *** End Float / Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y div a)()(b) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 05-22-2023 23:57:03: SVR: *** End Float div Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y % a)()(b) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 05-22-2023 23:57:03: SVR: *** End Float % Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y mod a)()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Long Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y + a)()(b) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 05-22-2023 23:57:03: SVR: *** End Float + Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y - a)()(b) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 05-22-2023 23:57:03: SVR: *** End Float - Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y * a)()(b) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 05-22-2023 23:57:03: SVR: *** End Float * Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y / a)()(b) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 05-22-2023 23:57:03: SVR: *** End Float / Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y div a)()(b) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 05-22-2023 23:57:03: SVR: *** End Float div Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y % a)()(b) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 05-22-2023 23:57:03: SVR: *** End Float % Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y mod a)()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 05-22-2023 23:57:03: SVR: *** End Float mod Short Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 05-22-2023 23:57:03: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is (()->y->y + a)()(b) ... Output overflow: JT Harness has limited the test output to the text to that at the beginning and the end, so that you can see how the test began, and how it completed. If you need to see more of the output from the test, set the system property javatest.maxOutputSize to a higher value. The current value is 100000 ... 05-22-2023 23:57:03: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:03: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:03: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:03: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 05-22-2023 23:57:04: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 05-22-2023 23:57:04: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:04: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 05-22-2023 23:57:04: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 05-22-2023 23:57:04: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 05-22-2023 23:57:04: SVR: *** End Float + Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (()->y->y - a)()(b) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 05-22-2023 23:57:04: SVR: *** End Float - Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (()->y->y * a)()(b) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 05-22-2023 23:57:04: SVR: *** End Float * Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (()->y->y / a)()(b) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 05-22-2023 23:57:04: SVR: *** End Float / Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (()->y->y div a)()(b) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 05-22-2023 23:57:04: SVR: *** End Float div Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (()->y->y % a)()(b) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 05-22-2023 23:57:04: SVR: *** End Float % Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (()->y->y mod a)()(b) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is z(a, b) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Start Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 05-22-2023 23:57:04: SVR: *** End Float mod Float Test Sequence *** 05-22-2023 23:57:04: SVR: *** Skipping Float with BigDecimal, Already Tested in BigDecimal Test Sequence *** 05-22-2023 23:57:04: SVR: Test running in servlet vehicle passed 05-22-2023 23:57:04: TRACE: SLEPT FOR: 1000 STATUS:Passed. Passed. ******************************************************************************** Finished Test: PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_servlet ********************************************************************************