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