Skip to main content

Browse the archive

Revision d5bc2d9dd1e639c25d3966ff393dcdd798a28f2c authored by Antonio Locascio on 01 February 2024, 08:25:01 UTC, committed by Marge Bot on 02 February 2024, 14:33:07 UTC 
EVM/Tezt: move RPCs to common module
 
eth_sendRawTransaction and eth_getTransactionReceipt
1 parent 5498a70
Raw File
ediv_int-int_00.tzt 
code { EDIV } ;
input { Stack_elt int 10 ; Stack_elt int -3 } ;
output { Stack_elt (option (pair int nat)) (Some (Pair -3 1)) }
back to top