******************************************************************************** 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@813d804 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 = :: 08-31-2023 11:09:55: Harness - harness.executeMode is set to "0" 08-31-2023 11:09:55: Harness - keywords (to be passed to tests) set to: all 08-31-2023 11:09:55: 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/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/jakartaee-api-9.1.1-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/jakarta.faces-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/taglibs-shade-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/tomee-tck-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/openejb-core-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/openejb-core-eclipselink-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/activemq-client-5.18.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/activemq-jdbc-store-5.18.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/bval-jsr-2.0.6-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/commons-cli-1.5.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/commons-dbcp2-shade-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/commons-lang3-3.12.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/commons-pool2-2.11.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/cts-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/dbprocedures-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/derby-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/derbyclient-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/derbynet-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/derbyshared-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/derbytools-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/geronimo-connector-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/geronimo-jms_1.1_spec-1.1.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/geronimo-mail_2.1_provider-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/geronimo-mail_2.1_spec-1.0.0-M1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/geronimo-transaction-3.1.5-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/hsqldb-2.7.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/istack-commons-runtime-4.0.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jackson-annotations-2.15.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jackson-core-2.15.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jackson-databind-2.15.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jakartaee-api-9.1.1-tomcat.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jasper.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jaxb-runtime-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jboss-logging-3.5.0.Final.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/mbean-annotation-api-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-api-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-core-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-core-eclipselink-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-cxf-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-cxf-rs-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-cxf-transport-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-jee-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-jee-accessors-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-jpa-integration-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openejb-loader-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openjpa-3.2.2-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openwebbeans-ee-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openwebbeans-ee-common-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openwebbeans-ejb-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openwebbeans-el22-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openwebbeans-impl-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openwebbeans-spi-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/openwebbeans-web-2.0.27-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/quartz-openejb-shade-2.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/slf4j-api-1.7.36.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/stax-ex-2.0.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/sxc-shade-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tomee-catalina-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tomee-security-10.0.0-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tsharness-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/tssv-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/txw2-3.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/whitebox-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/xbean-asm9-shaded-4.23.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/xbean-bundleutils-4.23.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/xbean-finder-shaded-4.23.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/xbean-naming-4.23.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/xbean-reflect-4.23.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/yoko-osgi-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/yoko-rmi-impl-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/yoko-rmi-spec-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/lib/yoko-spec-corba-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/eclipselink-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/derby-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/derbyclient-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/derbynet-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/derbyshared-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/derbytools-10.15.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/openejb-client-10.0.0-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/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-core-4.0.3-20230830.091741-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-bindings-soap-4.0.3-20230830.091746-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-bindings-xml-4.0.3-20230830.091746-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-databinding-jaxb-4.0.3-20230830.091747-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-frontend-jaxrs-4.0.3-20230830.091752-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-frontend-jaxws-4.0.3-20230830.091753-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-frontend-simple-4.0.3-20230830.091753-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-management-4.0.3-20230830.091754-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-rs-client-4.0.3-20230830.091754-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-rs-extension-providers-4.0.3-20230830.091754-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-rs-mp-client-4.0.3-20230830.091801-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-rs-service-description-4.0.3-20230830.091804-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-rs-sse-4.0.3-20230830.091810-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-security-4.0.3-20230830.091810-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-security-saml-4.0.3-20230830.091810-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-transports-http-4.0.3-20230830.091811-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-ws-addr-4.0.3-20230830.091815-72.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-ws-policy-4.0.3-20230830.091816-71.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-ws-security-4.0.3-20230830.091817-71.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/cxf-rt-wsdl-4.0.3-20230830.091817-71.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/neethi-3.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/wsdl4j-1.6.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/woodstox-core-6.4.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/stax2-api-4.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/xmlschema-core-2.3.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/johnzon-core-1.2.21-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/johnzon-jaxrs-1.2.21-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/johnzon-jsonb-1.2.21-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/johnzon-jsonp-strict-1.2.21-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/johnzon-mapper-1.2.21-jakarta.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-coyote.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-dbcp.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-cs.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-de.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-es.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-fr.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-ja.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-ko.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-pt-BR.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-ru.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-i18n-zh-CN.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-jdbc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-jni.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-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/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/harnesstmp/ -Djavax.net.ssl.keyStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/src/test/keystores/clientcert.jks -Djavax.net.ssl.keyStorePassword=changeit -Djavax.net.ssl.trustStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/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-10.0.0-SNAPSHOT -Dlog.file.location=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-SNAPSHOT/logs -Dservlet.is.jsr115.compatible=false -Dprovider.configuration.file=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/apache-tomee-plume-10.0.0-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 -Dorg.apache.cxf.transport.http.forceURLConnection=true com.sun.ts.tests.common.vehicle.VehicleClient -p /home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/harnesstmp//tmp/tstest.jte -t elLambdaExprFloatTest -vehicle servlet ************************************************************ * props file set to "/tmp/ec2-user-cts-props.txt" ************************************************************ 08-31-2023 11:09:55: TRACE: ####### Value of harness.socket.retry.count is "10" 08-31-2023 11:09:55: TRACE: ####### Value of harness.log.port is "45003" 08-31-2023 11:09:55: TRACE: ####### Actual bind value of harness.log.port is "45003" 08-31-2023 11:09:55: TRACE: in ServiceEETest.run() method 08-31-2023 11:09:55: TRACE: Vehicle to be used for this test is: servlet 08-31-2023 11:09:55: Opened connection to http://localhost:35351/Lambdaexpression_servlet_vehicle_web/servlet_vehicle 08-31-2023 11:09:55: TRACE: got outputstream 08-31-2023 11:09:55: TRACE: wrote objects to the servlet vehicle In doPost! ServletVehicle - got InputStream read properties!!! got outputstream ran test 08-31-2023 11:09:55: Test status from a servlet: 0: 08-31-2023 11:09:55: SVR-TRACE: In doPost 08-31-2023 11:09:55: SVR-TRACE: ServletVehicle - In doGet 08-31-2023 11:09:55: SVR-TRACE: ServletVehicle - got InputStream 08-31-2023 11:09:55: SVR-TRACE: ServletVehicle - read Objects 08-31-2023 11:09:55: SVR-TRACE: Remote logging set for Servlet Vehicle 08-31-2023 11:09:55: SVR-TRACE: ServletVehicle - Here are the props 08-31-2023 11:09:55: 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/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/harnesstmp//wsdlRepository2nullporting.ts.deploy2.class.1=org.apache.openejb.cts.DeploymentImplnullwsdlRepository1=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/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/temp8650444462294120757dir/gbuild/work/workspace-1/project-109111189/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nullnamingServiceHost2=localhostnulljakarta.persistence.jdbc.user=ctsnullwebServerPort=35351nullporting.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:44637/derbydb;create=truenullharness.log.port=45003nullorb.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=36295nullcurrent.keywords=allnulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullwebServerHost=localhostnullharness.host=172.31.80.223null--- End Property Listing ---null 08-31-2023 11:09:55: SVR-TRACE: in custom vehicle so call on EETest. 08-31-2023 11:09:55: SVR-TRACE: *** in EETest.run(argv,p) 08-31-2023 11:09:55: SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient 08-31-2023 11:09:55: SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient 08-31-2023 11:09:55: SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprFloatTest 08-31-2023 11:09:55: SVR-TRACE: ** GOT RUN METHOD! 08-31-2023 11:09:55: SVR-TRACE: **runmethod=elLambdaExprFloatTest 08-31-2023 11:09:55: SVR-TRACE: ABOUT TO GET SETUP METHOD! 08-31-2023 11:09:55: SVR-TRACE: No setupMethod annotation present 08-31-2023 11:09:55: SVR-TRACE: getSetupMethod - checking for testcase specific setup method: elLambdaExprFloatTest_setup 08-31-2023 11:09:55: SVR-TRACE: getSetupMethod - checking for default class specific setup method 08-31-2023 11:09:55: SVR-TRACE: GOT SETUP METHOD! 08-31-2023 11:09:55: SVR-TRACE: No cleanupMethod annotation present 08-31-2023 11:09:55: SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method: elLambdaExprFloatTest_cleanup 08-31-2023 11:09:55: SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method 08-31-2023 11:09:55: SVR-TRACE: GOT CLEANUP METHOD! 08-31-2023 11:09:55: SVR-TRACE: ABOUT TO INVOKE SETUP METHOD! 08-31-2023 11:09:55: SVR: Setup method called 08-31-2023 11:09:55: SVR-TRACE: INVOKED SETUP METHOD! 08-31-2023 11:09:55: SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD! 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 08-31-2023 11:09:55: SVR: *** End Float + Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 08-31-2023 11:09:55: SVR: *** End Float - Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 08-31-2023 11:09:55: SVR: *** End Float * Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 08-31-2023 11:09:55: SVR: *** End Float / Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: Test: returning from running in a servlet vehicle 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 08-31-2023 11:09:55: SVR: *** End Float div Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 08-31-2023 11:09:55: SVR: *** End Float % Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Float Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 08-31-2023 11:09:55: SVR: *** End Float + Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 08-31-2023 11:09:55: SVR: *** End Float - Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 08-31-2023 11:09:55: SVR: *** End Float * Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 08-31-2023 11:09:55: SVR: *** End Float / Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 08-31-2023 11:09:55: SVR: *** End Float div Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 08-31-2023 11:09:55: SVR: *** End Float % Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Short Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 08-31-2023 11:09:55: SVR: *** End Float + Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 08-31-2023 11:09:55: SVR: *** End Float - Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 08-31-2023 11:09:55: SVR: *** End Float * Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 08-31-2023 11:09:55: SVR: *** End Float / Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 08-31-2023 11:09:55: SVR: *** End Float div Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 08-31-2023 11:09:55: SVR: *** End Float % Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Double Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 08-31-2023 11:09:55: SVR: *** End Float + Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 08-31-2023 11:09:55: SVR: *** End Float - Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 08-31-2023 11:09:55: SVR: *** End Float * Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 08-31-2023 11:09:55: SVR: *** End Float / Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 08-31-2023 11:09:55: SVR: *** End Float div Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 08-31-2023 11:09:55: SVR: *** End Float % Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Byte Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 08-31-2023 11:09:55: SVR: *** End Float + Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 08-31-2023 11:09:55: SVR: *** End Float - Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 08-31-2023 11:09:55: SVR: *** End Float * Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 08-31-2023 11:09:55: SVR: *** End Float / Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 08-31-2023 11:09:55: SVR: *** End Float div Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 08-31-2023 11:09:55: SVR: *** End Float % Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Integer Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 08-31-2023 11:09:55: SVR: *** End Float + BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 08-31-2023 11:09:55: SVR: *** End Float - BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 08-31-2023 11:09:55: SVR: *** End Float * BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 08-31-2023 11:09:55: SVR: *** End Float / BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 08-31-2023 11:09:55: SVR: *** End Float div BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 08-31-2023 11:09:55: SVR: *** End Float % BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 08-31-2023 11:09:55: SVR: *** End Float mod BigInteger Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** ... Output overflow: JT Harness has limited the test output to the text to that at the beginning and the end, so that you can see how the test began, and how it completed. If you need to see more of the output from the test, set the system property javatest.maxOutputSize to a higher value. The current value is 100000 ... 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y + a)()(b) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 08-31-2023 11:09:55: SVR: *** End Float + Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y - a)()(b) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 08-31-2023 11:09:55: SVR: *** End Float - Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y * a)()(b) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 08-31-2023 11:09:55: SVR: *** End Float * Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y / a)()(b) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 08-31-2023 11:09:55: SVR: *** End Float / Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y div a)()(b) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 08-31-2023 11:09:55: SVR: *** End Float div Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y % a)()(b) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 08-31-2023 11:09:55: SVR: *** End Float % Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (()->y->y mod a)()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is z(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Start Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 08-31-2023 11:09:55: SVR: *** End Float mod Long Test Sequence *** 08-31-2023 11:09:55: SVR: *** Skipping Float with BigDecimal, Already Tested in BigDecimal Test Sequence *** 08-31-2023 11:09:55: SVR: Test running in servlet vehicle passed 08-31-2023 11:09:56: TRACE: SLEPT FOR: 1000 STATUS:Passed. Passed. ******************************************************************************** Finished Test: PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprFloatTest_from_servlet ********************************************************************************