13af6ab5fSopenharmony_ci/*
23af6ab5fSopenharmony_ci * Copyright (c) 2023-2024 Huawei Device Co., Ltd.
33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License.
53af6ab5fSopenharmony_ci * You may obtain a copy of the License at
63af6ab5fSopenharmony_ci *
73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0
83af6ab5fSopenharmony_ci *
93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software
103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and
133af6ab5fSopenharmony_ci * limitations under the License.
143af6ab5fSopenharmony_ci */
153af6ab5fSopenharmony_ci
163af6ab5fSopenharmony_cifunction main(): void {
173af6ab5fSopenharmony_ci    const failures: int = 0;
183af6ab5fSopenharmony_ci    const test1First : boolean[] = [true];
193af6ab5fSopenharmony_ci    const test1Second : boolean[] = [true];
203af6ab5fSopenharmony_ci    const test2First : boolean[] = [true, true];
213af6ab5fSopenharmony_ci    const test2Second : boolean[] = [false, false];
223af6ab5fSopenharmony_ci    const test3First : boolean[] = [];
233af6ab5fSopenharmony_ci    const test3Second : boolean[] = [];
243af6ab5fSopenharmony_ci    const test4First : boolean[] = [true, false];
253af6ab5fSopenharmony_ci    const test4Second : boolean[] = [];
263af6ab5fSopenharmony_ci    const test5First : boolean[] = [];
273af6ab5fSopenharmony_ci    const test5Second : boolean[] = [false, true, false];
283af6ab5fSopenharmony_ci
293af6ab5fSopenharmony_ci    const test1Expected : boolean[] = [true, true];
303af6ab5fSopenharmony_ci    const test2Expected : boolean[] = [true, true, false, false];
313af6ab5fSopenharmony_ci    const test3Expected : boolean[] = [];
323af6ab5fSopenharmony_ci    const test4Expected : boolean[] = [true, false];
333af6ab5fSopenharmony_ci    const test5Expected : boolean[] = [false, true, false];
343af6ab5fSopenharmony_ci
353af6ab5fSopenharmony_ci    assert failures == 0;
363af6ab5fSopenharmony_ci
373af6ab5fSopenharmony_ci    assert test1First[0] == true;
383af6ab5fSopenharmony_ci    assert test1Second[0] == true;
393af6ab5fSopenharmony_ci
403af6ab5fSopenharmony_ci    assert test2First[0] == true;
413af6ab5fSopenharmony_ci    assert test2First[1] == true;
423af6ab5fSopenharmony_ci    assert test2Second[0] == false;
433af6ab5fSopenharmony_ci    assert test2Second[1] == false;
443af6ab5fSopenharmony_ci
453af6ab5fSopenharmony_ci    assert test3First.length == 0;
463af6ab5fSopenharmony_ci    assert test3Second.length == 0;
473af6ab5fSopenharmony_ci
483af6ab5fSopenharmony_ci    assert test4First[0] == true;
493af6ab5fSopenharmony_ci    assert test4First[1] == false;
503af6ab5fSopenharmony_ci    assert test4Second.length == 0;
513af6ab5fSopenharmony_ci
523af6ab5fSopenharmony_ci    assert test5First.length == 0;
533af6ab5fSopenharmony_ci    assert test5Second[0] == false;
543af6ab5fSopenharmony_ci    assert test5Second[1] == true;
553af6ab5fSopenharmony_ci    assert test5Second[2] == false;
563af6ab5fSopenharmony_ci
573af6ab5fSopenharmony_ci    assert test1Expected[0] == true;
583af6ab5fSopenharmony_ci    assert test1Expected[1] == true;
593af6ab5fSopenharmony_ci
603af6ab5fSopenharmony_ci    assert test2Expected[0] == true;
613af6ab5fSopenharmony_ci    assert test2Expected[1] == true;
623af6ab5fSopenharmony_ci    assert test2Expected[2] == false;
633af6ab5fSopenharmony_ci    assert test2Expected[3] == false;
643af6ab5fSopenharmony_ci
653af6ab5fSopenharmony_ci    assert test3Expected.length == 0;
663af6ab5fSopenharmony_ci
673af6ab5fSopenharmony_ci    assert test4Expected[0] == true;
683af6ab5fSopenharmony_ci    assert test4Expected[1] == false;
693af6ab5fSopenharmony_ci
703af6ab5fSopenharmony_ci    assert test5Expected[0] == false;
713af6ab5fSopenharmony_ci    assert test5Expected[1] == true;
723af6ab5fSopenharmony_ci    assert test5Expected[2] == false;
733af6ab5fSopenharmony_ci}
74