5 lines
82 B
Coq
5 lines
82 B
Coq
|
module utils
|
||
|
|
|
||
|
|
fn test_generate_signature(){
|
||
|
|
println(generate_signature(100,20))
|
||
|
|
}
|