walrus-meter 0.1.0

Instrumentation-based gas metering built on `walrus`
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
(module
	(func (param $x i32) (result i32)
		(if (result i32)
			(i32.const 1)
			(then (i32.add (local.get $x) (i32.const 1)))
			(else (i32.popcnt (local.get $x)))
		)
	)

	(start $start)
	(func $start
	    (call 0 (i32.const 1))
		drop
	)
)