walrus-meter 0.2.0

Instrumentation-based gas metering built on `walrus`
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

(module
	(func $add_locals (param $x i32) (param $y i32) (result i32)
		(local $t i32)

		local.get $x
		local.get $y
		call $add
		local.set $t

		local.get $t
	)

	(func $add (param $x i32) (param $y i32) (result i32)
		(i32.add
			(local.get $x)
			(local.get $y)
		)
	)

	(start $start)
	(func $start
	    (call $add (i32.const 1) (i32.const 2))
		drop

	    (call $add_locals (i32.const 1) (i32.const 2))
		drop
	)
)