Repository: asterixdb Updated Branches: refs/heads/master a0c1e1ad3 -> 2660c6307
http://git-wip-us.apache.org/repos/asf/asterixdb/blob/2660c630/asterixdb/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_06/somesat_06.3.query.aql ---------------------------------------------------------------------- diff --git a/asterixdb/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_06/somesat_06.3.query.aql b/asterixdb/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_06/somesat_06.3.query.aql deleted file mode 100644 index 5f4b54b..0000000 --- a/asterixdb/asterix-app/src/test/resources/runtimets/queries/quantifiers/somesat_06/somesat_06.3.query.aql +++ /dev/null @@ -1,38 +0,0 @@ -/* - * Licensed to the Apache Software Foundation (ASF) under one - * or more contributor license agreements. See the NOTICE file - * distributed with this work for additional information - * regarding copyright ownership. The ASF licenses this file - * to you under the Apache License, Version 2.0 (the - * "License"); you may not use this file except in compliance - * with the License. You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, - * software distributed under the License is distributed on an - * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY - * KIND, either express or implied. See the License for the - * specific language governing permissions and limitations - * under the License. - */ -/* - * Description : Tests that existential quantification returns true/false correctly. - * Success : Yes - */ - -use dataverse test; -set import-private-functions 'true'; - -let $x := [ -some $x in [false,false] satisfies $x, -some $x in [true,false] satisfies $x, -some $x in [false,true] satisfies $x, -some $x in [true,true] satisfies $x, -some $x in [false,false] satisfies "not"($x), -some $x in [true,false] satisfies "not"($x), -some $x in [false,true] satisfies "not"($x), -some $x in [true,true] satisfies "not"($x) -] -for $i in $x -return $i
