Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/C/Firefox/js/src/jit-test/tests/wasm/spec/spec/ (Firefox Browser Version 153.0.1^©) Datei vom 27.6.2026 mit Größe 40 kB

Quellcode-Bibliothek address64.wast.js

Sprache: JAVA

/* Copyright 2021 Mozilla Foundation
*
* Licensed 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.
*/

// ./test/core/memory64/address64.wast

// ./test/core/memory64/address64.wast:3
let $0 = instantiate(`(module
  (memory i64 1)
  (data (i64.const 0) "abcdefghijklmnopqrstuvwxyz")

  (func (export "8u_good1") (param \$i i64) (result i32)
    (i32.load8_u offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8u_good2") (param \$i i64) (result i32)
    (i32.load8_u align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8u_good3") (param \$i i64) (result i32)
    (i32.load8_u offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8u_good4") (param \$i i64) (result i32)
    (i32.load8_u offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8u_good5") (param \$i i64) (result i32)
    (i32.load8_u offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "8s_good1") (param \$i i64) (result i32)
    (i32.load8_s offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8s_good2") (param \$i i64) (result i32)
    (i32.load8_s align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8s_good3") (param \$i i64) (result i32)
    (i32.load8_s offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8s_good4") (param \$i i64) (result i32)
    (i32.load8_s offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8s_good5") (param \$i i64) (result i32)
    (i32.load8_s offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "16u_good1") (param \$i i64) (result i32)
    (i32.load16_u offset=0 (local.get \$i))                  ;; 25185 'ab'
  )
  (func (export "16u_good2") (param \$i i64) (result i32)
    (i32.load16_u align=1 (local.get \$i))                   ;; 25185 'ab'
  )
  (func (export "16u_good3") (param \$i i64) (result i32)
    (i32.load16_u offset=1 align=1 (local.get \$i))          ;; 25442 'bc'
  )
  (func (export "16u_good4") (param \$i i64) (result i32)
    (i32.load16_u offset=2 align=2 (local.get \$i))          ;; 25699 'cd'
  )
  (func (export "16u_good5") (param \$i i64) (result i32)
    (i32.load16_u offset=25 align=2 (local.get \$i))         ;; 122 'z\\0'
  )

  (func (export "16s_good1") (param \$i i64) (result i32)
    (i32.load16_s offset=0 (local.get \$i))                  ;; 25185 'ab'
  )
  (func (export "16s_good2") (param \$i i64) (result i32)
    (i32.load16_s align=1 (local.get \$i))                   ;; 25185 'ab'
  )
  (func (export "16s_good3") (param \$i i64) (result i32)
    (i32.load16_s offset=1 align=1 (local.get \$i))          ;; 25442 'bc'
  )
  (func (export "16s_good4") (param \$i i64) (result i32)
    (i32.load16_s offset=2 align=2 (local.get \$i))          ;; 25699 'cd'
  )
  (func (export "16s_good5") (param \$i i64) (result i32)
    (i32.load16_s offset=25 align=2 (local.get \$i))         ;; 122 'z\\0'
  )

  (func (export "32_good1") (param \$i i64) (result i32)
    (i32.load offset=0 (local.get \$i))                      ;; 1684234849 'abcd'
  )
  (func (export "32_good2") (param \$i i64) (result i32)
    (i32.load align=1 (local.get \$i))                       ;; 1684234849 'abcd'
  )
  (func (export "32_good3") (param \$i i64) (result i32)
    (i32.load offset=1 align=1 (local.get \$i))              ;; 1701077858 'bcde'
  )
  (func (export "32_good4") (param \$i i64) (result i32)
    (i32.load offset=2 align=2 (local.get \$i))              ;; 1717920867 'cdef'
  )
  (func (export "32_good5") (param \$i i64) (result i32)
    (i32.load offset=25 align=4 (local.get \$i))             ;; 122 'z\\0\\0\\0'
  )

  (func (export "8u_bad") (param \$i i64)
    (drop (i32.load8_u offset=4294967295 (local.get \$i)))
  )
  (func (export "8s_bad") (param \$i i64)
    (drop (i32.load8_s offset=4294967295 (local.get \$i)))
  )
  (func (export "16u_bad") (param \$i i64)
    (drop (i32.load16_u offset=4294967295 (local.get \$i)))
  )
  (func (export "16s_bad") (param \$i i64)
    (drop (i32.load16_s offset=4294967295 (local.get \$i)))
  )
  (func (export "32_bad") (param \$i i64)
    (drop (i32.load offset=4294967295 (local.get \$i)))
  )
)`);

// ./test/core/memory64/address64.wast:104
assert_return(() => invoke($0, `8u_good1`, [0n]), [value("i32", 97)]);

// ./test/core/memory64/address64.wast:105
assert_return(() => invoke($0, `8u_good2`, [0n]), [value("i32", 97)]);

// ./test/core/memory64/address64.wast:106
assert_return(() => invoke($0, `8u_good3`, [0n]), [value("i32", 98)]);

// ./test/core/memory64/address64.wast:107
assert_return(() => invoke($0, `8u_good4`, [0n]), [value("i32", 99)]);

// ./test/core/memory64/address64.wast:108
assert_return(() => invoke($0, `8u_good5`, [0n]), [value("i32", 122)]);

// ./test/core/memory64/address64.wast:110
assert_return(() => invoke($0, `8s_good1`, [0n]), [value("i32", 97)]);

// ./test/core/memory64/address64.wast:111
assert_return(() => invoke($0, `8s_good2`, [0n]), [value("i32", 97)]);

// ./test/core/memory64/address64.wast:112
assert_return(() => invoke($0, `8s_good3`, [0n]), [value("i32", 98)]);

// ./test/core/memory64/address64.wast:113
assert_return(() => invoke($0, `8s_good4`, [0n]), [value("i32", 99)]);

// ./test/core/memory64/address64.wast:114
assert_return(() => invoke($0, `8s_good5`, [0n]), [value("i32", 122)]);

// ./test/core/memory64/address64.wast:116
assert_return(() => invoke($0, `16u_good1`, [0n]), [value("i32", 25185)]);

// ./test/core/memory64/address64.wast:117
assert_return(() => invoke($0, `16u_good2`, [0n]), [value("i32", 25185)]);

// ./test/core/memory64/address64.wast:118
assert_return(() => invoke($0, `16u_good3`, [0n]), [value("i32", 25442)]);

// ./test/core/memory64/address64.wast:119
assert_return(() => invoke($0, `16u_good4`, [0n]), [value("i32", 25699)]);

// ./test/core/memory64/address64.wast:120
assert_return(() => invoke($0, `16u_good5`, [0n]), [value("i32", 122)]);

// ./test/core/memory64/address64.wast:122
assert_return(() => invoke($0, `16s_good1`, [0n]), [value("i32", 25185)]);

// ./test/core/memory64/address64.wast:123
assert_return(() => invoke($0, `16s_good2`, [0n]), [value("i32", 25185)]);

// ./test/core/memory64/address64.wast:124
assert_return(() => invoke($0, `16s_good3`, [0n]), [value("i32", 25442)]);

// ./test/core/memory64/address64.wast:125
assert_return(() => invoke($0, `16s_good4`, [0n]), [value("i32", 25699)]);

// ./test/core/memory64/address64.wast:126
assert_return(() => invoke($0, `16s_good5`, [0n]), [value("i32", 122)]);

// ./test/core/memory64/address64.wast:128
assert_return(() => invoke($0, `32_good1`, [0n]), [value("i32", 1684234849)]);

// ./test/core/memory64/address64.wast:129
assert_return(() => invoke($0, `32_good2`, [0n]), [value("i32", 1684234849)]);

// ./test/core/memory64/address64.wast:130
assert_return(() => invoke($0, `32_good3`, [0n]), [value("i32", 1701077858)]);

// ./test/core/memory64/address64.wast:131
assert_return(() => invoke($0, `32_good4`, [0n]), [value("i32", 1717920867)]);

// ./test/core/memory64/address64.wast:132
assert_return(() => invoke($0, `32_good5`, [0n]), [value("i32", 122)]);

// ./test/core/memory64/address64.wast:134
assert_return(() => invoke($0, `8u_good1`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:135
assert_return(() => invoke($0, `8u_good2`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:136
assert_return(() => invoke($0, `8u_good3`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:137
assert_return(() => invoke($0, `8u_good4`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:138
assert_return(() => invoke($0, `8u_good5`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:140
assert_return(() => invoke($0, `8s_good1`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:141
assert_return(() => invoke($0, `8s_good2`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:142
assert_return(() => invoke($0, `8s_good3`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:143
assert_return(() => invoke($0, `8s_good4`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:144
assert_return(() => invoke($0, `8s_good5`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:146
assert_return(() => invoke($0, `16u_good1`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:147
assert_return(() => invoke($0, `16u_good2`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:148
assert_return(() => invoke($0, `16u_good3`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:149
assert_return(() => invoke($0, `16u_good4`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:150
assert_return(() => invoke($0, `16u_good5`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:152
assert_return(() => invoke($0, `16s_good1`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:153
assert_return(() => invoke($0, `16s_good2`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:154
assert_return(() => invoke($0, `16s_good3`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:155
assert_return(() => invoke($0, `16s_good4`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:156
assert_return(() => invoke($0, `16s_good5`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:158
assert_return(() => invoke($0, `32_good1`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:159
assert_return(() => invoke($0, `32_good2`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:160
assert_return(() => invoke($0, `32_good3`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:161
assert_return(() => invoke($0, `32_good4`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:162
assert_return(() => invoke($0, `32_good5`, [65507n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:164
assert_return(() => invoke($0, `8u_good1`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:165
assert_return(() => invoke($0, `8u_good2`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:166
assert_return(() => invoke($0, `8u_good3`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:167
assert_return(() => invoke($0, `8u_good4`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:168
assert_return(() => invoke($0, `8u_good5`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:170
assert_return(() => invoke($0, `8s_good1`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:171
assert_return(() => invoke($0, `8s_good2`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:172
assert_return(() => invoke($0, `8s_good3`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:173
assert_return(() => invoke($0, `8s_good4`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:174
assert_return(() => invoke($0, `8s_good5`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:176
assert_return(() => invoke($0, `16u_good1`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:177
assert_return(() => invoke($0, `16u_good2`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:178
assert_return(() => invoke($0, `16u_good3`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:179
assert_return(() => invoke($0, `16u_good4`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:180
assert_return(() => invoke($0, `16u_good5`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:182
assert_return(() => invoke($0, `16s_good1`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:183
assert_return(() => invoke($0, `16s_good2`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:184
assert_return(() => invoke($0, `16s_good3`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:185
assert_return(() => invoke($0, `16s_good4`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:186
assert_return(() => invoke($0, `16s_good5`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:188
assert_return(() => invoke($0, `32_good1`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:189
assert_return(() => invoke($0, `32_good2`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:190
assert_return(() => invoke($0, `32_good3`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:191
assert_return(() => invoke($0, `32_good4`, [65508n]), [value("i32", 0)]);

// ./test/core/memory64/address64.wast:192
assert_trap(() => invoke($0, `32_good5`, [65508n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:194
assert_trap(() => invoke($0, `8u_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:195
assert_trap(() => invoke($0, `8s_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:196
assert_trap(() => invoke($0, `16u_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:197
assert_trap(() => invoke($0, `16s_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:198
assert_trap(() => invoke($0, `32_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:200
assert_trap(() => invoke($0, `8u_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:201
assert_trap(() => invoke($0, `8s_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:202
assert_trap(() => invoke($0, `16u_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:203
assert_trap(() => invoke($0, `16s_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:204
assert_trap(() => invoke($0, `32_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:209
let $1 = instantiate(`(module
  (memory i64 1)
  (data (i64.const 0) "abcdefghijklmnopqrstuvwxyz")

  (func (export "8u_good1") (param \$i i64) (result i64)
    (i64.load8_u offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8u_good2") (param \$i i64) (result i64)
    (i64.load8_u align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8u_good3") (param \$i i64) (result i64)
    (i64.load8_u offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8u_good4") (param \$i i64) (result i64)
    (i64.load8_u offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8u_good5") (param \$i i64) (result i64)
    (i64.load8_u offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "8s_good1") (param \$i i64) (result i64)
    (i64.load8_s offset=0 (local.get \$i))                   ;; 97 'a'
  )
  (func (export "8s_good2") (param \$i i64) (result i64)
    (i64.load8_s align=1 (local.get \$i))                    ;; 97 'a'
  )
  (func (export "8s_good3") (param \$i i64) (result i64)
    (i64.load8_s offset=1 align=1 (local.get \$i))           ;; 98 'b'
  )
  (func (export "8s_good4") (param \$i i64) (result i64)
    (i64.load8_s offset=2 align=1 (local.get \$i))           ;; 99 'c'
  )
  (func (export "8s_good5") (param \$i i64) (result i64)
    (i64.load8_s offset=25 align=1 (local.get \$i))          ;; 122 'z'
  )

  (func (export "16u_good1") (param \$i i64) (result i64)
    (i64.load16_u offset=0 (local.get \$i))                 ;; 25185 'ab'
  )
  (func (export "16u_good2") (param \$i i64) (result i64)
    (i64.load16_u align=1 (local.get \$i))                  ;; 25185 'ab'
  )
  (func (export "16u_good3") (param \$i i64) (result i64)
    (i64.load16_u offset=1 align=1 (local.get \$i))         ;; 25442 'bc'
  )
  (func (export "16u_good4") (param \$i i64) (result i64)
    (i64.load16_u offset=2 align=2 (local.get \$i))         ;; 25699 'cd'
  )
  (func (export "16u_good5") (param \$i i64) (result i64)
    (i64.load16_u offset=25 align=2 (local.get \$i))        ;; 122 'z\\0'
  )

  (func (export "16s_good1") (param \$i i64) (result i64)
    (i64.load16_s offset=0 (local.get \$i))                 ;; 25185 'ab'
  )
  (func (export "16s_good2") (param \$i i64) (result i64)
    (i64.load16_s align=1 (local.get \$i))                  ;; 25185 'ab'
  )
  (func (export "16s_good3") (param \$i i64) (result i64)
    (i64.load16_s offset=1 align=1 (local.get \$i))         ;; 25442 'bc'
  )
  (func (export "16s_good4") (param \$i i64) (result i64)
    (i64.load16_s offset=2 align=2 (local.get \$i))         ;; 25699 'cd'
  )
  (func (export "16s_good5") (param \$i i64) (result i64)
    (i64.load16_s offset=25 align=2 (local.get \$i))        ;; 122 'z\\0'
  )

  (func (export "32u_good1") (param \$i i64) (result i64)
    (i64.load32_u offset=0 (local.get \$i))                 ;; 1684234849 'abcd'
  )
  (func (export "32u_good2") (param \$i i64) (result i64)
    (i64.load32_u align=1 (local.get \$i))                  ;; 1684234849 'abcd'
  )
  (func (export "32u_good3") (param \$i i64) (result i64)
    (i64.load32_u offset=1 align=1 (local.get \$i))         ;; 1701077858 'bcde'
  )
  (func (export "32u_good4") (param \$i i64) (result i64)
    (i64.load32_u offset=2 align=2 (local.get \$i))         ;; 1717920867 'cdef'
  )
  (func (export "32u_good5") (param \$i i64) (result i64)
    (i64.load32_u offset=25 align=4 (local.get \$i))        ;; 122 'z\\0\\0\\0'
  )

  (func (export "32s_good1") (param \$i i64) (result i64)
    (i64.load32_s offset=0 (local.get \$i))                 ;; 1684234849 'abcd'
  )
  (func (export "32s_good2") (param \$i i64) (result i64)
    (i64.load32_s align=1 (local.get \$i))                  ;; 1684234849 'abcd'
  )
  (func (export "32s_good3") (param \$i i64) (result i64)
    (i64.load32_s offset=1 align=1 (local.get \$i))         ;; 1701077858 'bcde'
  )
  (func (export "32s_good4") (param \$i i64) (result i64)
    (i64.load32_s offset=2 align=2 (local.get \$i))         ;; 1717920867 'cdef'
  )
  (func (export "32s_good5") (param \$i i64) (result i64)
    (i64.load32_s offset=25 align=4 (local.get \$i))        ;; 122 'z\\0\\0\\0'
  )

  (func (export "64_good1") (param \$i i64) (result i64)
    (i64.load offset=0 (local.get \$i))                     ;; 0x6867666564636261 'abcdefgh'
  )
  (func (export "64_good2") (param \$i i64) (result i64)
    (i64.load align=1 (local.get \$i))                      ;; 0x6867666564636261 'abcdefgh'
  )
  (func (export "64_good3") (param \$i i64) (result i64)
    (i64.load offset=1 align=1 (local.get \$i))             ;; 0x6968676665646362 'bcdefghi'
  )
  (func (export "64_good4") (param \$i i64) (result i64)
    (i64.load offset=2 align=2 (local.get \$i))             ;; 0x6a69686766656463 'cdefghij'
  )
  (func (export "64_good5") (param \$i i64) (result i64)
    (i64.load offset=25 align=8 (local.get \$i))            ;; 122 'z\\0\\0\\0\\0\\0\\0\\0'
  )

  (func (export "8u_bad") (param \$i i64)
    (drop (i64.load8_u offset=4294967295 (local.get \$i)))
  )
  (func (export "8s_bad") (param \$i i64)
    (drop (i64.load8_s offset=4294967295 (local.get \$i)))
  )
  (func (export "16u_bad") (param \$i i64)
    (drop (i64.load16_u offset=4294967295 (local.get \$i)))
  )
  (func (export "16s_bad") (param \$i i64)
    (drop (i64.load16_s offset=4294967295 (local.get \$i)))
  )
  (func (export "32u_bad") (param \$i i64)
    (drop (i64.load32_u offset=4294967295 (local.get \$i)))
  )
  (func (export "32s_bad") (param \$i i64)
    (drop (i64.load32_s offset=4294967295 (local.get \$i)))
  )
  (func (export "64_bad") (param \$i i64)
    (drop (i64.load offset=4294967295 (local.get \$i)))
  )
)`);

// ./test/core/memory64/address64.wast:348
assert_return(() => invoke($1, `8u_good1`, [0n]), [value("i64", 97n)]);

// ./test/core/memory64/address64.wast:349
assert_return(() => invoke($1, `8u_good2`, [0n]), [value("i64", 97n)]);

// ./test/core/memory64/address64.wast:350
assert_return(() => invoke($1, `8u_good3`, [0n]), [value("i64", 98n)]);

// ./test/core/memory64/address64.wast:351
assert_return(() => invoke($1, `8u_good4`, [0n]), [value("i64", 99n)]);

// ./test/core/memory64/address64.wast:352
assert_return(() => invoke($1, `8u_good5`, [0n]), [value("i64", 122n)]);

// ./test/core/memory64/address64.wast:354
assert_return(() => invoke($1, `8s_good1`, [0n]), [value("i64", 97n)]);

// ./test/core/memory64/address64.wast:355
assert_return(() => invoke($1, `8s_good2`, [0n]), [value("i64", 97n)]);

// ./test/core/memory64/address64.wast:356
assert_return(() => invoke($1, `8s_good3`, [0n]), [value("i64", 98n)]);

// ./test/core/memory64/address64.wast:357
assert_return(() => invoke($1, `8s_good4`, [0n]), [value("i64", 99n)]);

// ./test/core/memory64/address64.wast:358
assert_return(() => invoke($1, `8s_good5`, [0n]), [value("i64", 122n)]);

// ./test/core/memory64/address64.wast:360
assert_return(() => invoke($1, `16u_good1`, [0n]), [value("i64", 25185n)]);

// ./test/core/memory64/address64.wast:361
assert_return(() => invoke($1, `16u_good2`, [0n]), [value("i64", 25185n)]);

// ./test/core/memory64/address64.wast:362
assert_return(() => invoke($1, `16u_good3`, [0n]), [value("i64", 25442n)]);

// ./test/core/memory64/address64.wast:363
assert_return(() => invoke($1, `16u_good4`, [0n]), [value("i64", 25699n)]);

// ./test/core/memory64/address64.wast:364
assert_return(() => invoke($1, `16u_good5`, [0n]), [value("i64", 122n)]);

// ./test/core/memory64/address64.wast:366
assert_return(() => invoke($1, `16s_good1`, [0n]), [value("i64", 25185n)]);

// ./test/core/memory64/address64.wast:367
assert_return(() => invoke($1, `16s_good2`, [0n]), [value("i64", 25185n)]);

// ./test/core/memory64/address64.wast:368
assert_return(() => invoke($1, `16s_good3`, [0n]), [value("i64", 25442n)]);

// ./test/core/memory64/address64.wast:369
assert_return(() => invoke($1, `16s_good4`, [0n]), [value("i64", 25699n)]);

// ./test/core/memory64/address64.wast:370
assert_return(() => invoke($1, `16s_good5`, [0n]), [value("i64", 122n)]);

// ./test/core/memory64/address64.wast:372
assert_return(() => invoke($1, `32u_good1`, [0n]), [value("i64", 1684234849n)]);

// ./test/core/memory64/address64.wast:373
assert_return(() => invoke($1, `32u_good2`, [0n]), [value("i64", 1684234849n)]);

// ./test/core/memory64/address64.wast:374
assert_return(() => invoke($1, `32u_good3`, [0n]), [value("i64", 1701077858n)]);

// ./test/core/memory64/address64.wast:375
assert_return(() => invoke($1, `32u_good4`, [0n]), [value("i64", 1717920867n)]);

// ./test/core/memory64/address64.wast:376
assert_return(() => invoke($1, `32u_good5`, [0n]), [value("i64", 122n)]);

// ./test/core/memory64/address64.wast:378
assert_return(() => invoke($1, `32s_good1`, [0n]), [value("i64", 1684234849n)]);

// ./test/core/memory64/address64.wast:379
assert_return(() => invoke($1, `32s_good2`, [0n]), [value("i64", 1684234849n)]);

// ./test/core/memory64/address64.wast:380
assert_return(() => invoke($1, `32s_good3`, [0n]), [value("i64", 1701077858n)]);

// ./test/core/memory64/address64.wast:381
assert_return(() => invoke($1, `32s_good4`, [0n]), [value("i64", 1717920867n)]);

// ./test/core/memory64/address64.wast:382
assert_return(() => invoke($1, `32s_good5`, [0n]), [value("i64", 122n)]);

// ./test/core/memory64/address64.wast:384
assert_return(() => invoke($1, `64_good1`, [0n]), [value("i64", 7523094288207667809n)]);

// ./test/core/memory64/address64.wast:385
assert_return(() => invoke($1, `64_good2`, [0n]), [value("i64", 7523094288207667809n)]);

// ./test/core/memory64/address64.wast:386
assert_return(() => invoke($1, `64_good3`, [0n]), [value("i64", 7595434461045744482n)]);

// ./test/core/memory64/address64.wast:387
assert_return(() => invoke($1, `64_good4`, [0n]), [value("i64", 7667774633883821155n)]);

// ./test/core/memory64/address64.wast:388
assert_return(() => invoke($1, `64_good5`, [0n]), [value("i64", 122n)]);

// ./test/core/memory64/address64.wast:390
assert_return(() => invoke($1, `8u_good1`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:391
assert_return(() => invoke($1, `8u_good2`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:392
assert_return(() => invoke($1, `8u_good3`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:393
assert_return(() => invoke($1, `8u_good4`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:394
assert_return(() => invoke($1, `8u_good5`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:396
assert_return(() => invoke($1, `8s_good1`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:397
assert_return(() => invoke($1, `8s_good2`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:398
assert_return(() => invoke($1, `8s_good3`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:399
assert_return(() => invoke($1, `8s_good4`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:400
assert_return(() => invoke($1, `8s_good5`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:402
assert_return(() => invoke($1, `16u_good1`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:403
assert_return(() => invoke($1, `16u_good2`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:404
assert_return(() => invoke($1, `16u_good3`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:405
assert_return(() => invoke($1, `16u_good4`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:406
assert_return(() => invoke($1, `16u_good5`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:408
assert_return(() => invoke($1, `16s_good1`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:409
assert_return(() => invoke($1, `16s_good2`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:410
assert_return(() => invoke($1, `16s_good3`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:411
assert_return(() => invoke($1, `16s_good4`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:412
assert_return(() => invoke($1, `16s_good5`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:414
assert_return(() => invoke($1, `32u_good1`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:415
assert_return(() => invoke($1, `32u_good2`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:416
assert_return(() => invoke($1, `32u_good3`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:417
assert_return(() => invoke($1, `32u_good4`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:418
assert_return(() => invoke($1, `32u_good5`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:420
assert_return(() => invoke($1, `32s_good1`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:421
assert_return(() => invoke($1, `32s_good2`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:422
assert_return(() => invoke($1, `32s_good3`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:423
assert_return(() => invoke($1, `32s_good4`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:424
assert_return(() => invoke($1, `32s_good5`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:426
assert_return(() => invoke($1, `64_good1`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:427
assert_return(() => invoke($1, `64_good2`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:428
assert_return(() => invoke($1, `64_good3`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:429
assert_return(() => invoke($1, `64_good4`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:430
assert_return(() => invoke($1, `64_good5`, [65503n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:432
assert_return(() => invoke($1, `8u_good1`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:433
assert_return(() => invoke($1, `8u_good2`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:434
assert_return(() => invoke($1, `8u_good3`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:435
assert_return(() => invoke($1, `8u_good4`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:436
assert_return(() => invoke($1, `8u_good5`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:438
assert_return(() => invoke($1, `8s_good1`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:439
assert_return(() => invoke($1, `8s_good2`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:440
assert_return(() => invoke($1, `8s_good3`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:441
assert_return(() => invoke($1, `8s_good4`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:442
assert_return(() => invoke($1, `8s_good5`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:444
assert_return(() => invoke($1, `16u_good1`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:445
assert_return(() => invoke($1, `16u_good2`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:446
assert_return(() => invoke($1, `16u_good3`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:447
assert_return(() => invoke($1, `16u_good4`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:448
assert_return(() => invoke($1, `16u_good5`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:450
assert_return(() => invoke($1, `16s_good1`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:451
assert_return(() => invoke($1, `16s_good2`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:452
assert_return(() => invoke($1, `16s_good3`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:453
assert_return(() => invoke($1, `16s_good4`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:454
assert_return(() => invoke($1, `16s_good5`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:456
assert_return(() => invoke($1, `32u_good1`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:457
assert_return(() => invoke($1, `32u_good2`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:458
assert_return(() => invoke($1, `32u_good3`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:459
assert_return(() => invoke($1, `32u_good4`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:460
assert_return(() => invoke($1, `32u_good5`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:462
assert_return(() => invoke($1, `32s_good1`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:463
assert_return(() => invoke($1, `32s_good2`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:464
assert_return(() => invoke($1, `32s_good3`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:465
assert_return(() => invoke($1, `32s_good4`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:466
assert_return(() => invoke($1, `32s_good5`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:468
assert_return(() => invoke($1, `64_good1`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:469
assert_return(() => invoke($1, `64_good2`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:470
assert_return(() => invoke($1, `64_good3`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:471
assert_return(() => invoke($1, `64_good4`, [65504n]), [value("i64", 0n)]);

// ./test/core/memory64/address64.wast:472
assert_trap(() => invoke($1, `64_good5`, [65504n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:474
assert_trap(() => invoke($1, `8u_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:475
assert_trap(() => invoke($1, `8s_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:476
assert_trap(() => invoke($1, `16u_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:477
assert_trap(() => invoke($1, `16s_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:478
assert_trap(() => invoke($1, `32u_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:479
assert_trap(() => invoke($1, `32s_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:480
assert_trap(() => invoke($1, `64_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:482
assert_trap(() => invoke($1, `8u_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:483
assert_trap(() => invoke($1, `8s_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:484
assert_trap(() => invoke($1, `16u_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:485
assert_trap(() => invoke($1, `16s_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:486
assert_trap(() => invoke($1, `32u_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:487
assert_trap(() => invoke($1, `32s_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:488
assert_trap(() => invoke($1, `64_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:492
let $2 = instantiate(`(module
  (memory i64 1)
  (data (i64.const 0) "\\00\\00\\00\\00\\00\\00\\a0\\7f\\01\\00\\d0\\7f")

  (func (export "32_good1") (param \$i i64) (result f32)
    (f32.load offset=0 (local.get \$i))                   ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good2") (param \$i i64) (result f32)
    (f32.load align=1 (local.get \$i))                    ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good3") (param \$i i64) (result f32)
    (f32.load offset=1 align=1 (local.get \$i))           ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good4") (param \$i i64) (result f32)
    (f32.load offset=2 align=2 (local.get \$i))           ;; 0.0 '\\00\\00\\00\\00'
  )
  (func (export "32_good5") (param \$i i64) (result f32)
    (f32.load offset=8 align=4 (local.get \$i))           ;; nan:0x500001 '\\01\\00\\d0\\7f'
  )
  (func (export "32_bad") (param \$i i64)
    (drop (f32.load offset=4294967295 (local.get \$i)))
  )
)`);

// ./test/core/memory64/address64.wast:516
assert_return(() => invoke($2, `32_good1`, [0n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:517
assert_return(() => invoke($2, `32_good2`, [0n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:518
assert_return(() => invoke($2, `32_good3`, [0n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:519
assert_return(() => invoke($2, `32_good4`, [0n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:520
assert_return(() => invoke($2, `32_good5`, [0n]), [bytes("f32", [0x1, 0x0, 0xd0, 0x7f])]);

// ./test/core/memory64/address64.wast:522
assert_return(() => invoke($2, `32_good1`, [65524n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:523
assert_return(() => invoke($2, `32_good2`, [65524n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:524
assert_return(() => invoke($2, `32_good3`, [65524n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:525
assert_return(() => invoke($2, `32_good4`, [65524n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:526
assert_return(() => invoke($2, `32_good5`, [65524n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:528
assert_return(() => invoke($2, `32_good1`, [65525n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:529
assert_return(() => invoke($2, `32_good2`, [65525n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:530
assert_return(() => invoke($2, `32_good3`, [65525n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:531
assert_return(() => invoke($2, `32_good4`, [65525n]), [value("f32", 0)]);

// ./test/core/memory64/address64.wast:532
assert_trap(() => invoke($2, `32_good5`, [65525n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:534
assert_trap(() => invoke($2, `32_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:535
assert_trap(() => invoke($2, `32_bad`, [1n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:539
let $3 = instantiate(`(module
  (memory i64 1)
  (data (i64.const 0) "\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\00\\f4\\7f\\01\\00\\00\\00\\00\\00\\fc\\7f")

  (func (export "64_good1") (param \$i i64) (result f64)
    (f64.load offset=0 (local.get \$i))                     ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good2") (param \$i i64) (result f64)
    (f64.load align=1 (local.get \$i))                      ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good3") (param \$i i64) (result f64)
    (f64.load offset=1 align=1 (local.get \$i))             ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good4") (param \$i i64) (result f64)
    (f64.load offset=2 align=2 (local.get \$i))             ;; 0.0 '\\00\\00\\00\\00\\00\\00\\00\\00'
  )
  (func (export "64_good5") (param \$i i64) (result f64)
    (f64.load offset=18 align=8 (local.get \$i))            ;; nan:0xc000000000001 '\\01\\00\\00\\00\\00\\00\\fc\\7f'
  )
  (func (export "64_bad") (param \$i i64)
    (drop (f64.load offset=4294967295 (local.get \$i)))
  )
)`);

// ./test/core/memory64/address64.wast:563
assert_return(() => invoke($3, `64_good1`, [0n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:564
assert_return(() => invoke($3, `64_good2`, [0n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:565
assert_return(() => invoke($3, `64_good3`, [0n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:566
assert_return(() => invoke($3, `64_good4`, [0n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:567
assert_return(
  () => invoke($3, `64_good5`, [0n]),
  [bytes("f64", [0x1, 0x0, 0x0, 0x0, 0x0, 0x0, 0xfc, 0x7f])],
);

// ./test/core/memory64/address64.wast:569
assert_return(() => invoke($3, `64_good1`, [65510n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:570
assert_return(() => invoke($3, `64_good2`, [65510n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:571
assert_return(() => invoke($3, `64_good3`, [65510n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:572
assert_return(() => invoke($3, `64_good4`, [65510n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:573
assert_return(() => invoke($3, `64_good5`, [65510n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:575
assert_return(() => invoke($3, `64_good1`, [65511n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:576
assert_return(() => invoke($3, `64_good2`, [65511n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:577
assert_return(() => invoke($3, `64_good3`, [65511n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:578
assert_return(() => invoke($3, `64_good4`, [65511n]), [value("f64", 0)]);

// ./test/core/memory64/address64.wast:579
assert_trap(() => invoke($3, `64_good5`, [65511n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:581
assert_trap(() => invoke($3, `64_bad`, [0n]), `out of bounds memory access`);

// ./test/core/memory64/address64.wast:582
assert_trap(() => invoke($3, `64_bad`, [1n]), `out of bounds memory access`);

Messung V0.5 in Prozent

¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.20Bemerkung: (vorverarbeitet am 2026-08-26) ¤

*Bot Zugriff

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.