| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082 |
- // SPDX-License-Identifier: Apache-2.0
- use crate::{account_new, build_solidity, BorshToken};
- use num_bigint::BigInt;
- use num_traits::{One, Zero};
- #[test]
- fn simple_mapping() {
- let mut vm = build_solidity(
- r#"
- contract foo {
- mapping (uint64 => uint64) map;
- function set(uint64 index, uint64 val) public {
- map[index] = val;
- }
- function get(uint64 index) public returns (uint64) {
- return map[index];
- }
- function rm(uint64 index) public {
- delete map[index];
- }
- }"#,
- );
- vm.constructor(&[]);
- for i in 0..10 {
- vm.function(
- "set",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(300331 + i),
- },
- ],
- );
- }
- for i in 0..10 {
- let returns = vm
- .function(
- "get",
- &[BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i),
- }],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(300331 + i)
- }
- );
- }
- let returns = vm
- .function(
- "get",
- &[BorshToken::Uint {
- width: 64,
- value: BigInt::from(101u8),
- }],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero()
- }
- );
- vm.function(
- "rm",
- &[BorshToken::Uint {
- width: 64,
- value: BigInt::from(104u8),
- }],
- );
- for i in 0..10 {
- let returns = vm
- .function(
- "get",
- &[BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i),
- }],
- )
- .unwrap();
- if 102 + i != 104 {
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(300331 + i)
- }
- );
- } else {
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero(),
- }
- );
- }
- }
- }
- #[test]
- fn less_simple_mapping() {
- let mut vm = build_solidity(
- r#"
- struct S {
- string f1;
- int64[] f2;
- }
- contract foo {
- mapping (uint => S) map;
- function set_string(uint index, string s) public {
- map[index].f1 = s;
- }
- function add_int(uint index, int64 n) public {
- map[index].f2.push(n);
- }
- function get(uint index) public returns (S) {
- return map[index];
- }
- function rm(uint index) public {
- delete map[index];
- }
- }"#,
- );
- vm.constructor(&[]);
- vm.function(
- "set_string",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(12313132131321312311213131u128)
- },
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- ],
- );
- vm.function(
- "add_int",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(12313132131321312311213131u128),
- },
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8),
- },
- ],
- );
- let returns = vm
- .function(
- "get",
- &[BorshToken::Uint {
- width: 256,
- value: BigInt::from(12313132131321312311213131u128),
- }],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Tuple(vec![
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- BorshToken::Array(vec![
- BorshToken::Int{
- width: 64,
- value: BigInt::from(102u8)
- },
- ]),
- ])
- );
- }
- #[test]
- fn string_mapping() {
- let mut vm = build_solidity(
- r#"
- struct S {
- string f1;
- int64[] f2;
- }
- contract foo {
- mapping (string => S) map;
- function set_string(string index, string s) public {
- map[index].f1 = s;
- }
- function add_int(string index, int64 n) public {
- map[index].f2.push(n);
- }
- function get(string index) public returns (S) {
- return map[index];
- }
- function rm(string index) public {
- delete map[index];
- }
- }"#,
- );
- vm.constructor(&[]);
- vm.function(
- "set_string",
- &[
- BorshToken::String(String::from("a")),
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- ],
- );
- vm.function(
- "add_int",
- &[
- BorshToken::String(String::from("a")),
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8),
- },
- ],
- );
- let returns = vm
- .function("get", &[BorshToken::String(String::from("a"))])
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Tuple(vec![
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- BorshToken::Array(vec![
- BorshToken::Int{
- width: 64,
- value: BigInt::from(102u8)
- },
- ]),
- ])
- );
- }
- #[test]
- fn contract_mapping() {
- let mut vm = build_solidity(
- r#"
- interface I {}
- contract foo {
- mapping (I => string) public map;
- function set(I index, string s) public {
- map[index] = s;
- }
- function get(I index) public returns (string) {
- return map[index];
- }
- function rm(I index) public {
- delete map[index];
- }
- }"#,
- );
- vm.constructor(&[]);
- let index = BorshToken::Address(account_new());
- vm.function(
- "set",
- &[
- index.clone(),
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- ], );
- let returns = vm.function("get", &[index.clone()]).unwrap();
- assert_eq!(
- returns,
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder"))
- );
- vm.function("rm", &[index.clone()]);
- let returns = vm.function("get", &[index]).unwrap();
- assert_eq!(returns, BorshToken::String(String::from("")));
- }
- #[test]
- fn mapping_in_mapping() {
- let mut vm = build_solidity(
- r#"
- contract foo {
- mapping (string => mapping(int64 => byte)) public map;
- function set(string s, int64 n, bytes1 v) public {
- map[s][n] = v;
- }
- }"#,
- );
- vm.constructor(&[]);
- vm.function(
- "set",
- &[
- BorshToken::String(String::from("a")),
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8),
- },
- BorshToken::FixedBytes(vec![0x98]),
- ],
- );
- let returns = vm
- .function(
- "map",
- &[
- BorshToken::String(String::from("a")),
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8),
- },
- ],
- )
- .unwrap();
- assert_eq!(returns, BorshToken::uint8_fixed_array(vec![0x98]));
- let returns = vm
- .function(
- "map",
- &[
- BorshToken::String(String::from("a")),
- BorshToken::Int {
- width: 64,
- value: BigInt::from(103u8),
- },
- ],
- )
- .unwrap();
- assert_eq!(returns, BorshToken::uint8_fixed_array(vec![0]));
- let returns = vm
- .function(
- "map",
- &[
- BorshToken::String(String::from("b")),
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8),
- },
- ],
- )
- .unwrap();
- assert_eq!(returns, BorshToken::uint8_fixed_array(vec![0]));
- }
- #[test]
- fn sparse_array() {
- let mut vm = build_solidity(
- r#"
- struct S {
- string f1;
- int64[] f2;
- }
- contract foo {
- S[1e9] map;
- function set_string(uint index, string s) public {
- map[index].f1 = s;
- }
- function add_int(uint index, int64 n) public {
- map[index].f2.push(n);
- }
- function get(uint index) public returns (S) {
- return map[index];
- }
- function rm(uint index) public {
- delete map[index];
- }
- }"#,
- );
- vm.constructor(&[]);
- vm.function(
- "set_string",
- &[
- BorshToken::Uint{
- width: 256,
- value: BigInt::from(909090909u64)
- },
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- ], );
- vm.function(
- "add_int",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(909090909u64),
- },
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8),
- },
- ],
- );
- let returns = vm
- .function(
- "get",
- &[BorshToken::Uint {
- width: 256,
- value: BigInt::from(909090909u64),
- }],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Tuple(vec![
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- BorshToken::Array(vec![
- BorshToken::Int{
- width: 64,
- value: BigInt::from(102u8)
- },
- ]),
- ])
- );
- }
- #[test]
- fn massive_sparse_array() {
- let mut vm = build_solidity(
- r#"
- struct S {
- string f1;
- int64[] f2;
- }
- contract foo {
- S[1e24] map;
- function set_string(uint index, string s) public {
- map[index].f1 = s;
- }
- function add_int(uint index, int64 n) public {
- map[index].f2.push(n);
- }
- function get(uint index) public returns (S) {
- return map[index];
- }
- function rm(uint index) public {
- delete map[index];
- }
- }"#,
- );
- vm.constructor(&[]);
- vm.function(
- "set_string",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(786868768768678687686877u128)
- },
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- ], );
- vm.function(
- "add_int",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(786868768768678687686877u128),
- },
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8),
- },
- ],
- );
- let returns = vm
- .function(
- "get",
- &[BorshToken::Uint {
- width: 256,
- value: BigInt::from(786868768768678687686877u128),
- }],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Tuple(vec![
- BorshToken::String(String::from("This is a string which should be a little longer than 32 bytes so we the the abi encoder")),
- BorshToken::Array(vec![
- BorshToken::Int {
- width: 64,
- value: BigInt::from(102u8)
- },
- ]),
- ])
- );
- }
- #[test]
- fn mapping_in_dynamic_array() {
- let mut vm = build_solidity(
- r#"
- contract foo {
- mapping (uint64 => uint64)[] public map;
- int64 public number;
- function set(uint64 array_no, uint64 index, uint64 val) public {
- map[array_no][index] = val;
- }
- function rm(uint64 array_no, uint64 index) public {
- delete map[array_no][index];
- }
- function push() public {
- map.push();
- }
- function pop() public {
- map.pop();
- }
- function setNumber(int64 x) public {
- number = x;
- }
- function length() public returns (uint64) {
- return map.length;
- }
- }"#,
- );
- vm.constructor(&[]);
- vm.function(
- "setNumber",
- &[BorshToken::Int {
- width: 64,
- value: BigInt::from(2147483647),
- }],
- );
- vm.function("push", &[]);
- vm.function("push", &[]);
- for array_no in 0..2 {
- for i in 0..10 {
- vm.function(
- "set",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(array_no),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i + array_no * 500),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(300331 + i),
- },
- ],
- );
- }
- }
- for array_no in 0..2 {
- for i in 0..10 {
- let returns = vm
- .function(
- "map",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(array_no),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i + array_no * 500),
- },
- ],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(300331 + i)
- },
- );
- }
- }
- let returns = vm
- .function(
- "map",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::zero(),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(101u8),
- },
- ],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero()
- }
- );
- vm.function(
- "rm",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero(),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(104u8),
- },
- ],
- );
- for i in 0..10 {
- let returns = vm
- .function(
- "map",
- &[
- BorshToken::Uint {
- width: 256,
- value: BigInt::zero(),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i),
- },
- ],
- )
- .unwrap();
- if 102 + i != 104 {
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(300331 + i)
- },
- );
- } else {
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero()
- }
- );
- }
- }
- let returns = vm.function("length", &[]).unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(2u8)
- }
- );
- vm.function("pop", &[]);
- let returns = vm.function("length", &[]).unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::one()
- }
- );
- vm.function("pop", &[]);
- let returns = vm.function("length", &[]).unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero()
- }
- );
- let returns = vm.function("number", &[]).unwrap();
- assert_eq!(
- returns,
- BorshToken::Int {
- width: 64,
- value: BigInt::from(2147483647u64)
- }
- );
- }
- #[test]
- fn mapping_in_struct_in_dynamic_array() {
- let mut vm = build_solidity(
- r#"
- contract foo {
- struct A {
- mapping(uint256 => uint256) a;
- }
- A[] private map;
- int64 public number;
- function set(uint64 array_no, uint64 index, uint64 val) public {
- map[array_no].a[index] = val;
- }
- function get(uint64 array_no, uint64 index) public returns (uint256) {
- return map[array_no].a[index];
- }
- function rm(uint64 array_no, uint64 index) public {
- delete map[array_no].a[index];
- }
- function push() public {
- map.push();
- }
- function pop() public {
- map.pop();
- }
- function setNumber(int64 x) public {
- number = x;
- }
- }"#,
- );
- vm.constructor(&[]);
- vm.function(
- "setNumber",
- &[BorshToken::Int {
- width: 64,
- value: BigInt::from(2147483647),
- }],
- );
- vm.function("push", &[]);
- vm.function("push", &[]);
- for array_no in 0..2 {
- for i in 0..10 {
- vm.function(
- "set",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(array_no),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i + array_no * 500),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(300331 + i),
- },
- ],
- );
- }
- }
- for array_no in 0..2 {
- for i in 0..10 {
- let returns = vm
- .function(
- "get",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(array_no),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i + array_no * 500),
- },
- ],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(300331 + i)
- },
- );
- }
- }
- let returns = vm
- .function(
- "get",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero(),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(101u8),
- },
- ],
- )
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 256,
- value: BigInt::zero(),
- },
- );
- vm.function(
- "rm",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero(),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(104u8),
- },
- ],
- );
- for i in 0..10 {
- let returns = vm
- .function(
- "get",
- &[
- BorshToken::Uint {
- width: 64,
- value: BigInt::zero(),
- },
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102 + i),
- },
- ],
- )
- .unwrap();
- if 102 + i != 104 {
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(300331 + i)
- }
- );
- } else {
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 256,
- value: BigInt::zero()
- }
- );
- }
- }
- vm.function("pop", &[]);
- vm.function("pop", &[]);
- let returns = vm.function("number", &[]).unwrap();
- assert_eq!(
- returns,
- BorshToken::Int {
- width: 64,
- value: BigInt::from(2147483647u64),
- }
- );
- }
- #[test]
- fn mapping_delete() {
- let mut vm = build_solidity(
- r#"
- contract DeleteTest {
- struct data_struct {
- address addr1;
- address addr2;
- }
- mapping(uint => data_struct) example;
- function addData(address sender) public {
- data_struct dt = data_struct({addr1: address(this), addr2: sender});
- uint id = 1;
- example[id] = dt;
- }
- function deltest() external {
- uint id = 1;
- delete example[id];
- }
- function get() public view returns (data_struct calldata) {
- uint id = 1;
- return example[id];
- }
- }
- "#,
- );
- let sender = account_new();
- vm.constructor(&[]);
- let _ = vm.function("addData", &[BorshToken::Address(sender)]);
- let _ = vm.function("deltest", &[]);
- let returns = vm.function("get", &[]).unwrap();
- assert_eq!(
- returns,
- BorshToken::Tuple(vec![
- BorshToken::Address([
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0
- ]),
- BorshToken::Address([
- 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0
- ])
- ]),
- );
- }
- #[test]
- fn mapping_within_struct() {
- let mut vm = build_solidity(
- r#"
- contract CrowdFunding {
- struct Funder {
- address addr;
- uint amount;
- }
- struct Campaign {
- mapping(uint => Funder)[2] arr_mp;
- mapping (uint => Funder) funders;
- }
- uint numCampaigns;
- mapping (uint => Campaign) campaigns;
- function newCampaign(address sender) public returns (uint campaignID) {
- campaignID = numCampaigns++;
- Campaign storage _campaign = campaigns[campaignID];
- _campaign.funders[0] = Funder(sender, 100);
- _campaign.arr_mp[1][0] = Funder(sender, 105);
- }
- function getAmt() public view returns (uint) {
- Campaign storage _campaign = campaigns[numCampaigns - 1];
- return _campaign.funders[0].amount;
- }
- function getArrAmt() public view returns (uint) {
- Campaign storage _campaign = campaigns[numCampaigns - 1];
- return _campaign.arr_mp[1][0].amount;
- }
- }
- "#,
- );
- let sender = account_new();
- vm.constructor(&[]);
- let ret = vm
- .function("newCampaign", &[BorshToken::Address(sender)])
- .unwrap();
- assert_eq!(
- ret,
- BorshToken::Uint {
- width: 256,
- value: BigInt::zero(),
- }
- );
- let ret = vm.function("getAmt", &[]).unwrap();
- assert_eq!(
- ret,
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(100u8),
- }
- );
- let ret = vm.function("getArrAmt", &[]).unwrap();
- assert_eq!(
- ret,
- BorshToken::Uint {
- width: 256,
- value: BigInt::from(105u8),
- }
- );
- }
|