Update spectest

README.md

@@ -2,7 +2,7 @@
 
 A WebAssembly interpreter written in pure Python, no third-party libraries are used.
 
-The wasm version currently in use is: [WebAssembly Specification, Release 2.0 (Draft 2024-11-12)](https://webassembly.github.io/spec/core/).
+The wasm version currently in use is: [WebAssembly Specification, Release 2.0 (Draft 2024-12-18)](https://webassembly.github.io/spec/core/).
 
 Also requires Python version >= 3.12.
 

res/spectest/float_exprs.wast

@@ -35,7 +35,7 @@
 (assert_return (invoke "f64.no_fma" (f64.const 0x1.7e2c44058a799p+52) (f64.const 0x1.c73b71765b8b2p+685) (f64.const -0x1.16c641df0b108p+690)) (f64.const 0x1.53ccb53de0bd1p+738))
 
 ;; Test that x+0.0 is not folded to x.
-;; See IEEE 754-2008 10.4 "Literal meaning and value-changing optimizations".
+;; See IEEE 754-2019 10.4 "Literal meaning and value-changing optimizations".
 
 (module
   (func (export "f32.no_fold_add_zero") (param $x f32) (result f32)
@@ -94,7 +94,7 @@
 (assert_return (invoke "f64.no_fold_mul_zero" (f64.const nan:0x4000000000000)) (f64.const nan:arithmetic))
 
 ;; Test that x*1.0 is not folded to x.
-;; See IEEE 754-2008 10.4 "Literal meaning and value-changing optimizations".
+;; See IEEE 754-2019 10.4 "Literal meaning and value-changing optimizations".
 
 (module
   (func (export "f32.no_fold_mul_one") (param $x f32) (result f32)

script/spectest.py

@@ -12,8 +12,8 @@ def call(cmd: str):
 if not os.path.exists('res/spec'):
     call('cd res && git clone https://github.com/WebAssembly/spec')
 # When update spectest, we can increase the commit id in small steps.
-# Use: git log --reverse commit.. -- test/core
-call('cd res/spec && git checkout bd2aa85d5f6c6129760a3705f4de8acdb45b8e67')  # Nov 12, 2024
+# Use: git log --reverse f3a0e06235d2d84bb0f3b5014da4370613886965.. -- test/core
+call('cd res/spec && git checkout f3a0e06235d2d84bb0f3b5014da4370613886965')  # Nov 12, 2024
 call('cd res && cp -R spec/test/core spectest')
 
 os.chdir('res/spectest')