Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/testing/web-platform/tests/wasm/core/js/   (Firefox Browser Version 153.0.1©)  Datei vom 27.6.2026 mit Größe 34 kB image not shown  

Quelle  global.wast.js

  Sprache: JAVA
 

(function global_wast_js() {

// global.wast:3
let $$1 = module("\x00\x61\(functionglobal_wast_js() {

// global.wast:3
let $1 = instance($$1);

// global.wast:204
assert_return(() => call($1"get-a", []), "global.wast:204", -2);

// global.wast:205
assert_return(() => call($1"get-b", []), "global.wast:205", -5n);

// global.wast:206
assert_return(() => call($1"get-r", []), "global.wast:206""ref.null");

// global.wast:207
assert_return(() => call($1"get-mr", []), "global.wast:207""ref.null");

// global.wast:208
assert_return(() => call($1"get-x", []), "global.wast:208", -12);

// global.wast:209
assert_return(() => call($1"get-y", []), "global.wast:209", -15n);

// global.wast:210
assert_return(() => call($1"get-z1", []), "global.wast:210"666);

// global.wast:211
assert_return(() => call($1"get-z2", []), "global.wast:211"666n);

// global.wast:212
assert_return(() => call($1,let$1  module"x00\x61x73\\x01x00\x00x00\01xb7x80\\x80x00x0\x60\x02\\x7fx01x7fx60\\\x7fx60x00\\\x60x00\\x6f\x60\\\\\\\\x60x01x6f\\\\\\\\\\\\\\\\\x60x01x7fx01x7fx02xafx80x80x80x02x08x73x70x65x63\\\\\ax67\\x6fx62\61\\x5f\x69x33\\x03x7f\00x08\\\\\\x73x74\x67x6cx6fx62\\\\\\\\\\x80x80x80x36x01x02x03x03x01x02x01x02x01\x01\02\\\\\\\\\ax0bx01\\x01x01x01x01\x01x01\\\\\\\\\01x0cx01x01x0b\\x01\x01x85x80\x80\x00x01\70x01x01x01\x80x01\x06\x80\x11\x41x0bx7dx00x43\\\\\\\\\\\\x00x00\\x10\\x0bx7e\\x42x7b\\x7f\\x41x74x0b\\\\\\\\\x7c\\\x00x00x00x00\x2cxc0x0bx7e\\\\x7fx00\\x00\\x7e\x00x23\\x0bx7f\00x41x14\\x02x6c\\\x6bx41\\x0bx7ex00x42\\\\\\\\\\\\\\\x41x2ax6ax0bx7e\x23\\x42\\\\\\\\\\x6fx0bx70x00\x70x0bxd5x85x80x80x33x05\x65x74x2dx61\\\\\x74x2dx62x00x01x05\x65x74x2dx72x00x02\x06x\\\\\\\\\\\\\\\\\\\\79x00x05x06x67x65\x7ax31x00x06x06x67x74x2dx7ax32x00x07x06x67x74x2dx7ax33x00\\\\\\\\x09x06x67x65\\\\\\\\\\\\\\\\x65x74x2dx00x0cx05x73x65x2dx79x00x0d\\x74x2d\x00x0e\\\\\x\\x67x65x74x2d\\\\\\x2dx37\\\\\\\x00x12\\\\\\\\x73\\\\\\fx61\\\\\\\x2d\\\\\\\\\\\\\x65\\\\\\\\\x61\\x2dx73x65\x6cx65x63\\x2dx6cx61\\x74x00\18x0dx61\\x6cx6fx70x66x69x\\\\\\\\x6cx6f\\\x69\\x1a\\x61\x73x2dx6c\x6f\\x70x2d\6\x61x73x74\\\fx61x2dx69\\\\\\\\x6fx6ex00\\\\\\\\\\x6ex00x1dx0ax73x2d\\\\\x65x00x1ex0e\x2dx62\\69x66x66x69x72x73\\fx0dx61x73\\\\x2dx6c\\\11x61x2d\\x74\\\\\x2dx66\\\\\\\x73\x72\\x62\\\x61\73x74x00x22x16\\\\\\x5fx6e\\\65x63x74x2dx66\x73\\x14x61\\\\x6cx6cx5fx69\x64\\x65x63x74\\\\\\\\x73\\\\\x5fx69\6\x64\\\x65\\x74x2d\\x61\x73x74x00\\x0ex61x73x2d\\x74\x6f\x72x65\\x66x69x72x73x74\\x27x0d\\x73x2dx73\x6fx72x65\\x61x73x74x00\\x0f\\x73\\x6cx6f\\x64x2d\\\x65x72\x61x6ex64x00x29\14x61\\x2dx6d\\x6d\\x72\x79x2ex67x72\x6fx77x2dx76x61x6c\x75\\\x2ax0dx61\73x2dx63\\\\\\\x75\\\\\\\\\\x72x6ex76x61x6cx75x00x2d\\\\\\6\\\\x65x72x61x6ex00\x73x2dx62x72x2dx76\x6cx75x65\\x12x61\x2dx6cx6fx\\x2ex65x74\x61x6c\x00\x12x61x73x2dxc\\x6cx2e\\x2dx76\\\65\\x61x73x2dx67\x62x61x2ex73x65x2dx76x61\x65\\x61x73\75x6ex61\\x6fx70x72\\\\\\x73x62\\\\\\x70\\\\x64x00\\\x73x2d\x6d\\x65x2dx6f\x72x61\\x35\\\\\x00x04x41x00x0b\\x0bx0ax9c\\\\x00x36x84\\\x80x00\\\x02\0\x84\\x80x00x23\\\\\x00\\x84\\80\\\\\\\\\x00\\\0\x\\\\\\\x84x80x80x80x00\\x84\x80\\x0b\\\\\x00\cx0bx84x80x80x80\\x\x0bx80x80\\x0ex0b\\x80x00\x23x0bx86x80\x00x20x00\x86x80x80x80\x20x00x09\\\\\x00\x24\x84\x80x80x00x00x23x03x0bx84\\\\x23x04x84\x80x00x00x23x0bx84x80\\x00\\0\\\x80x00\\x00\x0b\\\x00\\\\\\\\x80\\\x80\\\\\\x02\\\\x80\\\\\x02x23\x03x1b\bx89\\\x00\\\\\x06x1\\x8b\\x80\80\00x00x03x7fx23x06x10\\\\x0b\\\\\\x00\x10\x06\\b\x8bx80x80\\00x03x7fx10\\x23\\x90\x80\x00\x06\\x15\\x10x15x41\x0b\\\\\x41\\x23\x05\\\b\\\\x00x41x00\x41x02x05x23x06x0bx0bx8e\\\\\x7fx23x06\x0dx41x03x0f\\xx80\\\\x41\\\x\\x0f\x8dx80x80x80x00x00\\x06\\x8d\\x00x02x41x02x23x06x01\\x0b\\\\\\\\\\x\x00x00\\\x41x00x00\b\x8ex80\\x02\x02\x23\x06\\\\\\0\x0b\\x80\\\\\\7fx41\\\\x06x11x00\\\x80\x00\x06\x36x02\x89x80\\\\\x00\x36\x0bx80\x00\x06x\\x86\x80\x00\x40x00\\x80x00\\\x86x80x80\\\\\\\\x80\\x00x00x23\0\x85\\\\00\\06\\89x80x80xx00x00\7\\06\\\0\x88\x80x80\\\23x06x21\\\\\\\\\x00x23x06x22x00x0bx88\80x80x80x00\x00x23x06\\x06x23\x0b\\x80x80\x80x00\\\\x45x0bx87\\80x80x00x00x23x\x23\\x87x80x80\\x00x\x23x00\x41\01x4b" globalwast3)

// global.wast:213
assert_return(() => call($1"get-z4", []), "global.wast:213"43n);

// global.wast:214
assert_return(() => call($1"get-z5", []), "global.wast:214"708);

// global.wast:215
assert_return(() => call($1"get-z6", []), "global.wast:215"708n);

// global.wast:217
run(() => call(instance(module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x93\x80\x80\x80\x00\x04\x60\x00\x00\x60\x01\x7f\x01\x6e\x60\x02\x6d\x6d\x01\x7f\x60\x00\x01\x7d\x02\xb5\x80\x80\x80\x00\x03\x06\x6d\x6f\x64\x75\x6c\x65\x05\x67\x65\x74\x2d\x33\x00\x03\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x68\x6f\x73\x74\x72\x65\x66\x00\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x65\x71\x5f\x72\x65\x66\x00\x02\x03\x82\x80\x80\x80\x00\x01\x00\x07\x87\x80\x80\x80\x00\x01\x03\x72\x75\x6e\x00\x03\x0a\x9a\x80\x80\x80\x00\x01\x94\x80\x80\x80\x00\x00\x02\x40\x10\x00\xbc\x43\x00\x00\x40\xc0\xbc\x46\x45\x0d\x00\x0f\x0b\x00\x0b""wrapper"), exports($1)),  "run", []), "global.wast:217");  // assert_return(() => call($1, "get-3", []), "global.wast:217", -3.)

// global.wast:218
run(() => call(instance(module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x93\x80\x80\x80\x00\x04\x60\x00\x00\x60\x01\x7f\x01\x6e\x60\x02\x6d\x6d\x01\x7f\x60\x00\x01\x7c\x02\xb5\x80\x80\x80\x00\x03\x06\x6d\x6f\x64\x75\x6c\x65\x05\x67\x65\x74\x2d\x34\x00\x03\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x68\x6f\x73\x74\x72\x65\x66\x00\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x65\x71\x5f\x72\x65\x66\x00\x02\x03\x82\x80\x80\x80\x00\x01\x00\x07\x87\x80\x80\x80\x00\x01\x03\x72\x75\x6e\x00\x03\x0a\x9e\x80\x80\x80\x00\x01\x98\x80\x80\x80\x00\x00\x02\x40\x10\x00\xbd\x44\x00\x00\x00\x00\x00\x00\x10\xc0\xbd\x51\x45\x0d\x00\x0f\x0b\x00\x0b""wrapper"), exports($1)),  "run", []), "global.wast:218");  // assert_return(() => call($1, "get-4", []), "global.wast:218", -4.)

// global.wast:219
run()=>call(instance(odule(\\x61x73\x6d\\x00x00\x01\x93x80x80x80\x04\x00x00x01\x01x6ex60x6dx6dx\f\x00x01x7dx02\\\\\x00x03x06x6\fx64x65x05x67x65x74\2\37\\\\x\x\\\x74x6fx73\\x65x66x01\\70x65\\\x74x06x65\71\x72\x66x00\x02\x03\\\\x00\x00\87\\x80\\x03\x75x6ex00\xa\\x80x80x\\x80x80x00x02\x00xbc\x50xc1\bcx\0dx00x0f\00x0b,"wrapper)exports(1,r" ],.wast:";  /assert_return( >call(1 "-" ],".wast219,-3)

// global.wast:220
run(() => call(instance(module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x93\x80\x80\x80\x00\x04\x60\x00\x00\x60\x01\x7f\x01\x6e\x60\x02\x6d\x6d\x01\x7f\x60\x00\x01\x7c\x02\xb5\x80\x80\x80\x00\x03\x06\x6d\x6f\x64\x75\x6c\x65\x05\x67\x65\x74\x2d\x38\x00\x03\x08\x73\x70\x65\x63\x74\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:222
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 0

// global.wast:223
// globala()>call(1 getz5 ],gwast214,708;

// global.wast:225
run(() => call(instance(module("\x00\x61\x73\x6d\x01\x00\x00\x00\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:226
run)= call(((\\\\01x00x00x00\\\\\\\\\\x01x7f\\\\x6d\\x01\\x06\xx\\\x03x08x73x70\\\x65x07x68x6fx73\x74\x72\x65\x66\x00\x01\x08\x73x70\\x63\x74\65x74x65\x71\x5f\\x65x66x00x02\x03\\\\x80x00\\00x07\\x80\80x80\x00\01\x03\\x75\\\03\x0ax80x80\x80x\\x40x44\x00x\\\x40x10x00\x0f\0bx0b ""),($1),"run" [ globalw:226;// (( = (1 set8 9], wast226)

// global.wast:228
assert_return(() => call($1"get-x", []), "global.wast:228"6);

// global.wast:229
assert_return(() => call($1"get-y", []), "

// global.wast:230
run(run() = call((module"x00x61x73x6d\\x00\\x00x\x80\80x80\\x04\\\00x60\\\x01\\x60x02x6d\x01x7\x60\x01x7c\x02\xb5\x80\x80\x80\x00\x03\\x6d\6\x64\\x6c\65x05x67x65x74x2d\x38x00x03\\\\\x63x74\x65\\\\x68x6fx73\74x72\x65\x66x00\01\08x73x70\65x74\65x73x74\65\x72\\\x00\02\82\\\\x00x01\00x07xx\\\x00\03x72x75x6\x00\0\x9ex80x80\80x00x01\\\x80\80x00x00\\x40x10\\\44x00x00\x00\\x00\\\xbd\\\x0dx00\0\\x00x0b" wrapper) (1)  "run" ] .:")/ assert_return((= (1 get-8" ] globalwast220,-.

// global.wast:231
run(() => call(java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:233
run(() => call(instance(module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x93\x80\x80\x80\x00\x04\x60\x00\x00\x60java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:234
run(

run(() => call(instance(module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x93\x80\x80\x80\x00\x04\x60\x00\x00\x60\x01\x7f\x01\x6e\x60\x02\x6d\x6d\x01\x7f\x60\x01\x7d\x00\x02\xb5\x80\x80\x80\x00\x03\x06\x6d\x6f\x64\x75\x6c\x65\x05\x73\x65\x74\x2d\x37\x00\x03\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x68\x6f\x73\x74\x72\x65\x66\x00\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x65\x71\x5f\x72\x65\x66\x00\x02\x03\x82\x80\x80\x80\x00\x01\x00\x07\x87\x80\x80\x80\x00\x01\x03\x72\x75\x6e\x00\x03\x0a\x94\x80\x80\x80\x00\x01\x8e\x80\x80\x80\x00\x00\x02\x40\x43\x00\x00\x00\x41\x10\x00\x0f\x0b\x00\x0b", "wrapper"), exports($1)),  "run", []), "global.wast:225");  // assert_return(() => call($1, "set-7", [8.]), "global.wast:225")
assert_return(() => call($1"set-mr", [hostref(10)]), "global.wast:235");

// global.wast:237
assert_return(()java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:238
assert_return()= call(1 get" [],".wast:" n;

// global.wast:239
run(() =>// global.wast:229assert_return() >call$1 get-" [,".229,7n;

// global.wast:240
run(() => calljava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:241
assert_return(() => call(

// global.wast:243
assert_return(()= (1 as-first,[) globalwast:243" )java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75

// global.wast:244
assert_return(() => call($1"as-java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 0

// global.wast:245
assert_return(() => call

// global.wast:247
assert_return(() => call($1"as-loop-first", []), "global.wast:247"6);

// global.wast:248
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

// global.wast:249
assert_return// global.wast:239

// global.wast:251
assert_return(() => call($1"as-if-condition

// global.wast:252
assert_return(() => call($1, java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:253
// global.wast:assert_return( >call(,"--first" ],".243,6)java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75

// global.wast:255
java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0

// global.wast:256
assert_return(() => call($1"as-br_if-last", []), "global

// global.wast:258
assert_return(() => call($1"as-br_table-first", []), "global.wast:258"6);

// global.wast:259
assert_returnassert_return(() => call($1"as-loop-mid", []), "global.wast:248"6);

// global.wast:261
assert_return(() => call($1"as-call_indirect-first", []),java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:262
// globalassert_return(( =>call$1,"as-if-condition", []), "global.wast:251"2);

// global.wast:263
java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0

// global.wast:265
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 71

// global.wast:266
assert_return((a( >call$,"-r_if-first" []), "." )java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74

// global.wast:267
// global.( >call1 wast258,6;

// global.wast:268
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:270
assert_return)= (1 as-,[) "lobal.ast:262"2;

// global.wast:272
java.lang.StringIndexOutOfBoundsException: Range [32, 13) out of bounds for length 75

// global.wast:273
assert_return(() => call(

// global.wast:274
java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0

// global.wast:276
assert_return(() => call($1"as-local.set-value", [1]), "global.wast:276"6);

// global.wast:277
assert_return() >call$, "as-local.tee-value", [1]), "global.wast:277"6);

// global.wast:278
assert_return(() => call($1"as-global.set-value", []), "global.wast:278"6);

// global.wast:280
() = ($,"-unary-operand",[] global.:280", );

// global.wast:281
assert_return(() => call($1"as-binary-operand", []), "global.wast:281"36);


assert_return(()assert_return(()= call(1 as-return [) "global.:272"6;

// global.wast:284
assert_invalid("\x00java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:289
assert_invalidjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:295
let $$2assert_return()= call(1 aslocalsetvalue,[],".wast:276" 6)java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 79

// global.wast:295
let $2 = instance($$2);

// global.wast:296
let rt_return(()= call(1,"sglobal.set-value",[), "lobalwast:278", );

// global.wast:296
java.lang.StringIndexOutOfBoundsException: Range [6, 3) out of bounds for length 23

// global.wast:298
assert_invalidjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:303
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x06\x86\x80java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:308
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x06\x8a\x80\

// global.wast:313
assert_invalid("\x00\java.lang.StringIndexOutOfBoundsException: Range [21, 24) out of bounds for length 0

// global.wast:318
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x06\x87

// global.wast:323
"x00\61\x73\x6d\x01\x00\x00\\java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 114

// global.wast:328
assert_invalid

// global.wast:333
assert_invalid"\00x61\x73\\\\x00\x00\x06\\x80\80x80\\x01\\x00\x41\\41\x00\0b, "lobal.ast333)

// global.wast:338
ert_invalid(\\x61x80x\xfx00xb" global.wast:338";

// global.wast:343
assert_invalidjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:348
// global.wast:303

// global.wast:353
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x94\x80\x80\

// global.wast:358
ssert_invalid(\x00\61x73\\01x00\x00x06\x86\80x80\80x00\\x7f\x00\x23\x00x0b" "lobalw:358);

// global.wast:363
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x06\x8b\x80\java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

// global.wast:368
java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0

// global.wast:373
let $$4 = module("\x00\x61\java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

// global.wast:373
let $4 = instance($$4);

// global.wast:374
letassert_invalid"\00x61\\x6d\x00\x00\x00\x06\x88\80x80\x80\x00\x01\x7f\x00\41x00\x00\x0b" global.:333";

// global.wast:374
let ($$5);

// global.wast:376
assert_invalid("\x00\x61\x73\x6d\x01java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:381
let// global.wastassert_invalid"\x00\x73\\x01\\x00\\02x94\\80\x00\x04\x74\x65\x73\x74\\67x6cx6f\\\\x2dx69\\x32\x03\7f\x00\\\x80x80\x80\x00\01x7f\x00\x23\x00\\00x0b","lobal.wast:348");

// global.wast:381
let $6 = instance($$6);

// global.wast:384
assert_malformed(\\\x73\6\01\00x00\\x02\98x80x80\\x00\01x08x73\\x65x63\74x65\x74x0ax67\6\x6f\62x61\\5\x69\33\32x03\\x04" "lobal.:384";

// global.wast:397
assert_malformed("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x98\x80java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 0

// global.wast:411
let $$7 = module("\x00\x61\x73\x6d

// global.wast:411
let $7 = instance($$7);

// global.wast:414
assert_malformed("\x00\x6173\6d\x01\\x00\00x02\x94\x80\x80\x00\x01\x04\x74\x65\x73\x74\x0a\x67\x6c\x6f\x62\x61\x6c\x2d\x69\x33\x32\x03

// global.wast:426
assert_malformed("\x00\x61\x73\x6d\java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

// global.wast:440
assert_invalid("// global.wast:374

// global.wast:445
ssert_invalid(\x00\x61\x73\x6d\\00\x00\00\x85\80x80\\00\x01\60x00\01\x7f\\x82\x80x80x80\x00\\x00x06\x86\80\x80\x80\00x01\x7f\x00x41\00x0b\x0ax8a\80x80\x01\84x80\\\00x00\\x01x0b" "global.:445)

// global.wast:453
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80

// global.wast:461
assert_invalid

// global.wast:471
assert_invalid(\00x61x73\\x01\x00\00\x00\x01\\80\80x80\\01\60x00x\x03\x82\x80\80\80x00x01x00x0a\x8c\x80\80x00x01\x80\x80\80x00\\x41\\24\x00\0","global.wast471")

// global.wast:476
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80

// global.wast:484
ssert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80

// global.wast:492
// global.wast:411

// global.wast:502
assert_invalidassert_malformed(\x00\61x6d\x00\x00\\x06\x86\80\80\\x00x01\x7f\x04\\00x0b" "lobal.:14)java.lang.StringIndexOutOfBoundsException: Index 120 out of bounds for length 120

// global.wast:511
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\

// global.wast:521
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0

// global.wast:531
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 0

// global.wast:541
// global.wastassert_invalid(\x00x61x73\6\01\\00x00\01x85\x80\\80\\x01\\x00\\x7fx02x98x80\\\x01\\\70\x63\\\73\74\x\x6c\x6fx62\61x6c\x69\x33\32x\x7fx\80\\\\x01\\x06x86\80x80\\x00\\00\\x00x0bx0a\\x80x80\80x00\x01\\x80\80x80x00x\x02\0b,".ast:";

// global.wast:551
assert_invalid("\x00\x61\x73\java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:561
assert_invalid("\x00\x61\

// global.wast:571
assert_invalid"\xdx01x00\00x01\xx\java.lang.StringIndexOutOfBoundsException: Range [84, 80) out of bounds for length 286

// global.wast:581
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\java.lang.StringIndexOutOfBoundsException: Range [0, 96) out of bounds for length 0

// global.wast:590
assert_invalid("\x00\x61\x73\x6d\x01\

// global.wast:599
assert_invalid"\00x61\\x6d\01x00x\\x01x89x80x80\\x00\x02\x60\x00\\x60\x01\x7f\x01\x7f\x03\x83\x80\\x80x00x02\\x01\x06\x86\x80\x80\x80\\x01\x7f\x01\x00\x0b\x0a\95x80x80\x80\x00\\86\\x00\x00\x24\x00\x10\x01\x0b\\x80\x80\x80\\x00\20x00\" globalwast599)

// global.wast:609
\x01\x7f\x01\x41\x00\0\\x80x80x80x04\\01xd2x9b\80x80x02x84x\\\x00\bx80x00x02x7fxx41x00x11x00x00x0bx0b "wast609)java.lang.StringIndexOutOfBoundsException: Index 450 out of bounds for length 450

// global.wast:629
 8="\\java.lang.StringIndexOutOfBoundsException: Range [67, 66) out of bounds for length 164

// global.wast:629
8=(8;

// global.wast:632
register("G", $8)

// global.wast:634
let let $java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 0

// global.wast:634
let $// global.wast:571

// global.wast:659
assert_return(() => call($9"get-elem", [0]), "

// global.wast:660
assert_return(() => call($9"get-elem", [4]), "global.wast:660""ref.func");

// global.wast:661
assert_return(() => call($9"get-elem"

// global.wast:663
assert_return(() => call($9"get-data", [4]), "global.wast:663"1_145_324_612);

// global.wast:664
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 0

// global.wast:666
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x06\x8b\x80\x80\x80\x00\x02\x7f\x00\x23\x01\x0b\x7f\x00\x41\x00\x0b""global.wast:666");

// global.wast:674
assert_invalid

// global.wast:685
assert_malformedjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

// global.wast:692
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\java.lang.StringIndexOutOfBoundsException: Index 82 out of bounds for length 0

// global.wast:699
assert_malformed// global.wast:660
();
})();

Messung V0.5 in Prozent
C=67 H=100 G=84

¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet am  2026-09-06) ¤

*© Formatika GbR, Deutschland






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.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.