mirror of
https://github.com/radareorg/radare2.git
synced 2024-12-13 16:18:33 +00:00
12 lines
225 B
Coq
12 lines
225 B
Coq
|
fn entry(core &R2) {
|
||
|
|
println('hello world')
|
||
|
|
println(core.cmd('pd 10'))
|
||
|
|
s := core.cmd('pxwj 64')
|
||
|
|
args := s.substr(1, s.len-1).split(',')
|
||
|
|
for i := 0 ; i < args.len; i++ {
|
||
|
|
n := args[i]
|
||
|
|
println(n)
|
||
|
|
}
|
||
|
|
println(args[0])
|
||
|
|
}
|