******************************************************************************** Beginning Test: com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprDoubleTest_from_servlet ******************************************************************************** Undeploying apps... StandardDeployment14.isDeployed() Deployed Modules: Search for s1as runtime files match:`Lambdaexpression_vehicles.ear` Valid runtime files after sweep: Deploying apps for forward rebuildable... Search for s1as runtime files match:`Lambdaexpression_vehicles.ear` Valid runtime files after sweep: StandardDeployment14.deploy() Starting to distribute: /home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear file: /home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear plan: java.io.ByteArrayInputStream@69538dd0 amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager $$$$$$$$$$ Deployment SUCCEEDED for "/home/ec2-user/jakartaee91tck/dist/com/sun/ts/tests/el/spec/lambda/Lambdaexpression_vehicles.ear" amd Obtained CACHED DeploymentManager amd Obtained CACHED DeploymentManager harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: harness.executeMode is set to "0" keywords (to be passed to tests) set to: all sClassPathFromExecProps = :: 03-13-2021 04:21:50: Harness - harness.executeMode is set to "0" 03-13-2021 04:21:50: Harness - keywords (to be passed to tests) set to: all 03-13-2021 04:21:50: Harness - sClassPathFromExecProps = :: command: com.sun.ts.lib.harness.ExecTSTestCmd CLASSPATH=:::/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-core.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/sigtest.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/javaee-api-8.0-5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/tomee-tck-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/openejb-core-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/openejb-core-eclipselink-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/FastInfoset-1.2.16.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/activemq-client-5.16.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/activemq-jdbc-store-5.16.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/bval-jsr-2.0.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/catalina.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-cli-1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-collections-3.2.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-collections4-4.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-dbcp2-2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-lang3-3.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/commons-pool2-2.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/cts-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/dbprocedures-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/derbynet-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/eclipselink-3.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/el-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-connector-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-javamail_1.6_mail-1.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-jms_1.1_spec-1.1.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-mail-2.0.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/geronimo-transaction-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/hawtbuf-1.11.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/howl-1.0.1-1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/hsqldb-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/istack-commons-runtime-3.0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jackson-annotations-2.12.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jackson-core-2.12.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jackson-databind-2.12.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jakarta.activation-1.2.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jakarta.xml.bind-api-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jaspic-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/javaee-api-8.0-5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jaxb-runtime-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/jsp-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/mbean-annotation-api-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-api-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-core-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-core-eclipselink-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-javaagent.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-jee-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-jee-accessors-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-jpa-integration-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openejb-loader-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openjpa-3.1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-ee-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-ee-common-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-ejb-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-el22-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-impl-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-spi-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/openwebbeans-web-2.0.22-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/quartz-openejb-shade-2.2.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/serp-1.15.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/servlet-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/slf4j-api-1.7.21.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/stax-ex-1.8.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/swizzle-stream-1.6.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/sxc-jaxb-core-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/sxc-runtime-0.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-juli.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomcat-websocket.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomee-catalina-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tomee-security-8.0.7-SNAPSHOT.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tsharness-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/tssv-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/txw2-2.3.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/websocket-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/whitebox-9.1.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm-util-4.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm7-shaded-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm8-shaded-4.17.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-asm9-shaded-4.18.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-bundleutils-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-finder-shaded-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-naming-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/lib/xbean-reflect-4.14.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/commons-logging-1.2.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/eclipselink-3.0.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/derby-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/derbyclient-10.14.2.0.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/openejb-client-8.0.7-SNAPSHOT.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/tsharness.jar:/home/ec2-user/jakartaee91tck/lib/cts.jar:/home/ec2-user/jakartaee91tck/lib/dbprocedures.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-api.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-impl.jar:/home/ec2-user/jakartaee91tck/lib/jaxb-xjc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/jasper-el.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-rs-client-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-transports-http-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-core-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/woodstox-core-5.0.3.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/stax2-api-3.1.4.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/xmlschema-core-2.2.5.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-frontend-jaxrs-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/cxf-rt-rs-sse-3.3.8.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-core-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-jaxrs-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-jsonb-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-jsonp-strict-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/johnzon-mapper-1.2.10.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-api.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-coyote.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-dbcp.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-cs.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-de.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-es.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-fr.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-ja.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-ko.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-pt-BR.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-ru.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-i18n-zh-CN.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-jdbc.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-jni.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-util-scan.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-util.jar:/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/lib/tomcat-websocket.jar:/home/ec2-user/jakartaee91tck/lib/javatest.jar:/home/ec2-user/jakartaee91tck/lib/jdom-1.1.3.jar:/lib/ant.jar:/home/ec2-user/glassfish6/glassfish/modules/admin-cli.jar:/home/ec2-user/jakartaee91tck/lib/http.jar:/home/ec2-user/jakartaee91tck/lib/glassfishporting.jar:/home/ec2-user/glassfish6/glassfish/modules/jakarta.activation-api.jar:/home/ec2-user/jakartaee91tck/classes:/home/ec2-user/jdk8/jre/../lib/tools.jar:/home/ec2-user/jakartaee91tck/lib/commons-httpclient-3.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-logging-1.1.3.jar:/home/ec2-user/jakartaee91tck/lib/commons-codec-1.9.jar:/home/ec2-user/jakartaee91tck/lib/cssparser-0.9.25.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-2.15.jar:/home/ec2-user/jakartaee91tck/lib/htmlunit-core-js-2.15.jar:/home/ec2-user/jakartaee91tck/lib/httpclient-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpmime-4.5.5.jar:/home/ec2-user/jakartaee91tck/lib/httpcore-4.4.9.jar:/home/ec2-user/jakartaee91tck/lib/commons-collections-3.2.1.jar:/home/ec2-user/jakartaee91tck/lib/commons-io-2.4.jar:/home/ec2-user/jakartaee91tck/lib/commons-lang3-3.3.2.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-1.1.6.jar:/home/ec2-user/jakartaee91tck/lib/jaxen-core-1.0.jar:/home/ec2-user/jakartaee91tck/lib/js-1.6R1.jar:/home/ec2-user/jakartaee91tck/lib/nekohtml-1.9.21.jar:/home/ec2-user/jakartaee91tck/lib/sac-1.3.jar:/home/ec2-user/jakartaee91tck/lib/saxpath.jar:/home/ec2-user/jakartaee91tck/lib/xercesImpl-2.11.0.jar:/home/ec2-user/jakartaee91tck/lib/xalan-2.7.2.jar:/home/ec2-user/jakartaee91tck/lib/tssv.jar:/home/ec2-user/jakartaee91tck/lib/xml-apis-1.4.01.jar DISPLAY=:0.0 HOME=/home/ec2-user windir= SYSTEMROOT= PATH=/home/ec2-user/glassfish6/glassfish/nativelib /home/ec2-user/jdk8/jre/bin/java -Dcts.tmp=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp/ -Djava.protocol.handler.pkgs=javax.net.ssl -Djavax.net.ssl.keyStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/src/test/keystores/clientcert.jks -Djavax.net.ssl.keyStorePassword=changeit -Djavax.net.ssl.trustStore=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/src/test/keystores/ssl-truststore -Djavax.net.ssl.trustStorePassword=changeit -Djava.endorsed.dirs=/home/ec2-user/glassfish6/glassfish/modules/endorsed:/home/ec2-user/jakartaee91tck/endorsedlib -Dcom.sun.aas.installRoot=/home/ec2-user/glassfish6/glassfish -Dcatalina.base=target/apache-tomee-plume-9.0.0-M5-SNAPSHOT -Dlog.file.location=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/logs -Dservlet.is.jsr115.compatible=false -Dprovider.configuration.file=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/apache-tomee-plume-9.0.0-M5-SNAPSHOT/conf/ProviderConfiguration.xml -Dlogical.hostname.servlet=Catalina/localhost -Dcom.sun.aas.configRoot=/home/ec2-user/glassfish6/glassfish/config -Ddeliverable.class=com.sun.ts.lib.deliverable.cts.CTSDeliverable -Dopenejb.validation.output.level=3 com.sun.ts.tests.common.vehicle.VehicleClient -p /home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//tmp/tstest.jte -t elLambdaExprDoubleTest -vehicle servlet ************************************************************ * props file set to "/tmp/ec2-user-cts-props.txt" ************************************************************ 03-13-2021 04:21:51: TRACE: ####### Value of harness.socket.retry.count is "10" 03-13-2021 04:21:51: TRACE: ####### Value of harness.log.port is "33467" 03-13-2021 04:21:51: TRACE: ####### Actual bind value of harness.log.port is "33467" 03-13-2021 04:21:51: TRACE: in ServiceEETest.run() method 03-13-2021 04:21:51: TRACE: Vehicle to be used for this test is: servlet 03-13-2021 04:21:51: Opened connection to http://localhost:35795/Lambdaexpression_servlet_vehicle_web/servlet_vehicle 03-13-2021 04:21:51: TRACE: got outputstream 03-13-2021 04:21:51: TRACE: wrote objects to the servlet vehicle In doPost! ServletVehicle - got InputStream read properties!!! got outputstream ran test 03-13-2021 04:21:52: Test status from a servlet: 0: 03-13-2021 04:21:52: SVR-TRACE: In doPost 03-13-2021 04:21:52: SVR-TRACE: ServletVehicle - In doGet 03-13-2021 04:21:52: SVR-TRACE: ServletVehicle - got InputStream 03-13-2021 04:21:52: SVR-TRACE: ServletVehicle - read Objects 03-13-2021 04:21:52: SVR-TRACE: Remote logging set for Servlet Vehicle 03-13-2021 04:21:52: SVR-TRACE: ServletVehicle - Here are the props 03-13-2021 04:21:52: SVR-TRACE: --- Property Listing ---nulljakarta.persistence.provider=org.eclipse.persistence.jpa.PersistenceProvidernullorb.host=localhostnullharness.log.delayseconds=1nulltestName=elLambdaExprDoubleTestnullharness.log.traceflag=truenullbin.dir=nullporting.ts.login.class.2=com.sun.ts.lib.implementation.sun.javaee.GlassFishLoginContextnullporting.ts.login.class.1=org.apache.openejb.cts.LoginContextImplnullporting.ts.HttpsURLConnection.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIHttpsURLConnectionnullporting.ts.HttpsURLConnection.class.1=org.apache.openejb.cts.HTTPSURLConnectionImplnullporting.ts.deploy2.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIDeployment2nullwsdlRepository2=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//wsdlRepository2nullporting.ts.deploy2.class.1=org.apache.openejb.cts.DeploymentImplnullwsdlRepository1=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//wsdlRepository1nulljakarta.persistence.jdbc.driver=org.apache.derby.jdbc.ClientDrivernullvi.admin.passwd=adminadminnullvehicle=servletnullfinder=ctsnullall.props=falsenulljavaee.level=fullnulljakarta.persistence.jdbc.password=ctsnullplatform.mode=jakartaEEnullpersistence.unit.name.2=JPATCK2nullharness.temp.directory=/home/ec2-user/gbuild-aws/node/target/apache-tomee/temp/temp6701695283845904980dir/gbuild/work/workspace-1/project-8189/target/harnesstmp//tmpnullnamingServicePort2=3700nullnamingServicePort1=2809nulljakarta.persistence.jdbc.user=ctsnullnamingServiceHost2=localhostnullwebServerPort=35795nullnamingServiceHost1=localhostnullporting.ts.url.class.2=com.sun.ts.lib.implementation.sun.common.SunRIURLnullporting.ts.url.class.1=org.apache.openejb.cts.URLImplnullharness.socket.retry.count=10nullvi.admin.user=adminnulljakarta.persistence.jdbc.url=jdbc:derby://localhost:45935/derbydb;create=truenullharness.log.port=33467nullorb.port=2809nullvariable.mapper=org.apache.el.lang.VariableMapperImplnullporting.ts.jms.class.2=com.sun.ts.lib.implementation.sun.javaee.SunRIJMSAdminnullporting.ts.jms.class.1=org.apache.openejb.cts.JMSAdminImplnullvehicle_archive_name=Lambdaexpression_vehiclesnullporting.ts.deploy.class.2=com.sun.ts.lib.implementation.sun.javaee.glassfish.AutoDeploymentnulltest_classname=com.sun.ts.tests.el.spec.lambda.ELClientnullpersistence.second.level.caching.supported=truenullporting.ts.deploy.class.1=org.apache.openejb.cts.deploy.StandardDeployment14nullpersistence.unit.name=CTS-EMnullsecuredWebServicePort=42033nullcurrent.keywords=allnulljpa.provider.implementation.specific.properties=eclipselink.logging.level=OFFnullwebServerHost=localhostnullharness.host=172.31.84.7null--- End Property Listing ---null 03-13-2021 04:21:52: SVR-TRACE: in custom vehicle so call on EETest. 03-13-2021 04:21:52: SVR-TRACE: *** in EETest.run(argv,p) 03-13-2021 04:21:52: SVR-TRACE: TESTCLASS=com.sun.ts.tests.el.spec.lambda.ELClient 03-13-2021 04:21:52: SVR-TRACE: ** IN getRunMethod: testClass=com.sun.ts.tests.el.spec.lambda.ELClient 03-13-2021 04:21:52: SVR-TRACE: ** IN getRunMethod: testname=elLambdaExprDoubleTest 03-13-2021 04:21:52: SVR-TRACE: ** GOT RUN METHOD! 03-13-2021 04:21:52: SVR-TRACE: **runmethod=elLambdaExprDoubleTest 03-13-2021 04:21:52: SVR-TRACE: ABOUT TO GET SETUP METHOD! 03-13-2021 04:21:52: SVR-TRACE: No setupMethod annotation present 03-13-2021 04:21:52: SVR-TRACE: getSetupMethod - checking for testcase specific setup method: elLambdaExprDoubleTest_setup 03-13-2021 04:21:52: SVR-TRACE: getSetupMethod - checking for default class specific setup method 03-13-2021 04:21:52: SVR-TRACE: GOT SETUP METHOD! 03-13-2021 04:21:52: SVR-TRACE: No cleanupMethod annotation present 03-13-2021 04:21:52: SVR-TRACE: getCleanupMethod - checking for testcase specific cleanup method: elLambdaExprDoubleTest_cleanup 03-13-2021 04:21:52: SVR-TRACE: getCleanupMethod - checking for default class specific cleanup method 03-13-2021 04:21:52: SVR-TRACE: GOT CLEANUP METHOD! 03-13-2021 04:21:52: SVR-TRACE: ABOUT TO INVOKE SETUP METHOD! 03-13-2021 04:21:52: SVR: Setup method called 03-13-2021 04:21:52: SVR-TRACE: INVOKED SETUP METHOD! 03-13-2021 04:21:52: SVR-TRACE: ABOUT TO INVOKE EETEST RUN METHOD! 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:52: SVR: *** End Double + BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: Test: returning from running in a servlet vehicle 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:52: SVR: *** End Double - BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:52: SVR: *** End Double * BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:52: SVR: *** End Double / BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:52: SVR: *** End Double div BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:52: SVR: *** End Double % BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:52: SVR: *** End Double mod BigInteger Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:52: SVR: *** End Double + Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:52: SVR: *** End Double - Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:52: SVR: *** End Double * Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:52: SVR: *** End Double / Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:52: SVR: *** End Double div Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:52: SVR: *** End Double % Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Short Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:52: SVR: *** End Double + Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:52: SVR: *** End Double - Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:52: SVR: *** End Double * Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:52: SVR: *** End Double / Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:52: SVR: *** End Double div Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:52: SVR: *** End Double % Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Double Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:52: SVR: *** End Double + Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:52: SVR: *** End Double - Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:52: SVR: *** End Double * Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:52: SVR: *** End Double / Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:52: SVR: *** End Double div Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:52: SVR: *** End Double % Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Integer Test Sequence *** 03-13-2021 04:21:52: SVR: *** Skipping Double with BigDecimal, Already Tested in BigDecimal Test Sequence *** 03-13-2021 04:21:52: SVR: *** Skipping Double with Float, Already Tested in Float Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:52: SVR: *** End Double + Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:52: SVR: *** End Double - Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:52: SVR: *** End Double * Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:52: SVR: *** End Double / Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:52: SVR: *** End Double div Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:52: SVR: *** End Double % Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Long Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x + y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y + a)()(b) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y + a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem + y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x + y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x + y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a + b: a + 2)(a) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a + 2: a + b)(a) 03-13-2021 04:21:52: SVR: *** End Double + Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x - y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y - a)()(b) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y - a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem - y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x - y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x - y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a - b: a - 2)(a) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a - 2: a - b)(a) 03-13-2021 04:21:52: SVR: *** End Double - Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x * y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y * a)()(b) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y * a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem * y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x * y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x * y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a * b: a * 2)(a) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a * 2: a * b)(a) 03-13-2021 04:21:52: SVR: *** End Double * Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x / y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y / a)()(b) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y / a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem / y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x / y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x / y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a / b: a / 2)(a) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a / 2: a / b)(a) 03-13-2021 04:21:52: SVR: *** End Double / Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x div y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y div a)()(b) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y div a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem div y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x div y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x div y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a div b: a div 2)(a) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a div 2: a div b)(a) 03-13-2021 04:21:52: SVR: *** End Double div Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x % y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y % a)()(b) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y % a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem % y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x % y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x % y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a % b: a % 2)(a) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a % 2: a % b)(a) 03-13-2021 04:21:52: SVR: *** End Double % Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (x->(y->x mod y)(a))(b) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (()->y->y mod a)()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = ()->y->y mod a; f()(b) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is f = (x)->(tem=x; y->tem mod y); f(a)(b) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (((x, y)-> x mod y)(a, b)) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is z(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte 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 ... 03-13-2021 04:21:52: SVR: expression to be evaluated is func = (x,y)->x mod y; func(a, b) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->true? a mod b: a mod 2)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: *** Start Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: expression to be evaluated is (cond->false? a mod 2: a mod b)(a) 03-13-2021 04:21:52: SVR: *** End Double mod Byte Test Sequence *** 03-13-2021 04:21:52: SVR: Test running in servlet vehicle passed 03-13-2021 04:21:53: TRACE: SLEPT FOR: 1000 STATUS:Passed. Passed. ******************************************************************************** Finished Test: PASSED........com/sun/ts/tests/el/spec/lambda/ELClient.java#elLambdaExprDoubleTest_from_servlet ********************************************************************************