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