Summator Solang test

Author: Kirill Taran

data/solidity/incrementer.sol

@@ -0,0 +1,15 @@
+contract Incrementer {
+	uint32 private value;
+
+	constructor(uint32 initvalue) public {
+		value = initvalue;
+	}
+
+	function inc(uint32 by) public {
+		value += by;
+	}
+
+	function get() public view returns (uint32) {
+		return value;
+	}
+}

data/solidity/summator.sol

@@ -0,0 +1,27 @@
+contract Summator {
+    uint32[10] private values;
+    uint64 private sum;
+
+    constructor() public {
+        uint8 i = 0;
+        while (i < values.length) {
+            values[i] = 0;
+            i += 1;
+        }   
+        sum = 0;
+    }   
+
+    function push(uint32 arg) public {
+        sum -= values[9];
+
+        uint256 i = values.length - 2;
+        while (i > 0) {
+            values[i+1] = values[i];
+            i -= 1;
+        }
+        values[1] = values[0];
+
+        values[0] = arg;
+        sum += arg;
+    }
+}

rust/src/main.rs

@@ -66,7 +66,7 @@ fn main() {
     println!("Contract instantiated: {:?}", &address);
 
     for method in args {
-        //todo: so far, it is supposed to use only with 0-ary methods
+        //todo: so far, it is supposed to be used only with 0-ary methods
         let result = call(&xt, &mut rt, 500_000, &code_hash, &method).unwrap();
     }
 }
@@ -124,4 +124,4 @@ fn extract_instance_address<T: System>(extrinsic_result: ExtrinsicSuccess<T>) ->
             "Failed to find Balances::NewAccount event"
         )),
     }
-}
+}

test/contracts/ink-flipper.sh

@@ -4,8 +4,6 @@ set -e
 root=$(git rev-parse --show-toplevel)
 data=$root/data
 
-cd $root/typescript
-
 rpc_contracts="$1contracts$2 -q"
 
 $rpc_contracts deploy -f $data/ink/flipper.wasm -g 123456

test/contracts/solang-flipper-initvalue.sh

@@ -4,11 +4,9 @@ set -e
 root=$(git rev-parse --show-toplevel)
 data=$root/data
 
-cd $root/typescript
-
 rpc_contracts="$1contracts$2 -q" # remove "-q" to see verbose output
 
-selector=123 #contracts_bug: Substrate accepts any number
+selector=123 #solang_bug: accepts any selector
 
 $rpc_contracts deploy -f $data/solidity/wasm/Flipper_with_initvalue.wasm -g 12345
 $rpc_contracts instantiate -h 0xb0af3c55f42bcb4aaf561844818531b6b71ddfaf01a6f1506c520dc05df66e0e -e 1234567DEV -g 1234567 -d 0x"$selector"00

test/contracts/solang-flipper-noargs.sh

@@ -4,16 +4,14 @@ set -e
 root=$(git rev-parse --show-toplevel)
 data=$root/data
 
-cd $root/typescript
-
 rpc_contracts="$1contracts$2 -q" # remove "-q" to see verbose output
 
-selector=123 #contracts_bug: Substrate accepts any number
+selector=123 #solang_bug: accepts any selector
 
 $rpc_contracts deploy -f $data/solidity/wasm/Flipper_no_args.wasm -g 12345
-$rpc_contracts instantiate -h 0xb0af3c55f42bcb4aaf561844818531b6b71ddfaf01a6f1506c520dc05df66e0e -e 1234567DEV -g 1234567 -d 0x"$selector"
+$rpc_contracts instantiate -h 0x9498960359c5cb825ccc10d4c7ae50bfd4264a6a115a9390ddaebd276635d05a -e 1234567DEV -g 1234567 -d 0x"$selector"
 
-address=5EVKDR8WZNXQv5oPqnESUhknFUkHU8uAgrXkqXySNcbtCeL2
+address=5GMgqHXTSBVxgd7LWKm8zCzCedi1X6w5AWoZfMcmpEQzZ9g2
 
 $rpc_contracts info -a $address 
 $rpc_contracts call -a $address -e 123DEV -d 0xa9efe4cd -g 1234567

test/contracts/solang-incrementer.sh

@@ -0,0 +1,21 @@
+#!/bin/bash
+
+set -e
+root=$(git rev-parse --show-toplevel)
+data=$root/data
+
+rpc_contracts="$1contracts$2 -q" # remove "-q" to see verbose output
+
+selector=123 #solang_bug: accepts any selector
+
+$rpc_contracts deploy -f $data/solidity/wasm/Incrementer.wasm -g 12345
+$rpc_contracts instantiate -h 0xf030ffd7093148f34bf5ac3092dec596bc57e20e2c925d8865b20e83c2c91a06 -e 1234567DEV -g 1234567 -d 0x"$selector"00
+
+address=5GySUBy91ZpK7WV1JYgvz96Dk7M7M6es3Nt9RYPWBsgtsQh9
+
+$rpc_contracts info -a $address 
+exit 1
+$rpc_contracts call -a $address -e 123DEV -d 0xa9efe4cd -g 1234567
+$rpc_contracts info -a $address 
+$rpc_contracts call -a $address -e 123DEV -d 0xa9efe4cd -g 1234567
+$rpc_contracts info -a $address 

test/contracts/solang-summator.sh

@@ -0,0 +1,34 @@
+#!/bin/bash
+
+set -e
+root=$(git rev-parse --show-toplevel)
+data=$root/data
+
+rpc_contracts="$1contracts$2 -q" # remove "-q" to see verbose output
+
+selector=123 #solang_bug: accepts any selector
+#selector="d5311786"
+
+$rpc_contracts deploy -f $data/solidity/wasm/Summator.wasm -g 12345
+$rpc_contracts instantiate -h 0x49803e4720f9fd6edb897920575424a555365b19b757639f8b5c7754290f0573 -e 1234567DEV -g 1234567 -d 0x"$selector"
+
+address=5CMgTCRgBaUTMuqCJi9PkDCCnM1WkRku7U9HNv1CBhAtHuH9
+selector="40e4f0f7"
+
+$rpc_contracts info -a $address 
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"01 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"02 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"03 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"04 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"05 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"06 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"07 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"08 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"09 -g 1234567
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"10 -g 1234567
+$rpc_contracts info -a $address 
+echo "The result must be 0x37 (1+2+3+4+5+6+7+8+9+10=55)"
+
+$rpc_contracts call -a $address -e 123DEV -d 0x"$selector"11 -g 1234567
+$rpc_contracts info -a $address 
+echo "The result must be 0x41 (2+3+4+5+6+7+8+9+10+11=65)"

test/contracts/waterfall-flipper.sh

@@ -4,8 +4,6 @@ set -e
 root=$(git rev-parse --show-toplevel)
 data=$root/data
 
-cd $root/typescript
-
 rpc_contracts="$1contracts$2 -q"
 
 initvalue=0x1337 #contracts_bug: Substrate accepts any value here

test/contracts/waterfall-incrementer.sh

@@ -4,8 +4,6 @@ set -e
 root=$(git rev-parse --show-toplevel)
 data=$root/data
 
-cd $root/typescript
-
 rpc_contracts="$1contracts$2 -q"
 
 $rpc_contracts deploy -f $data/waterfall/asmscript/incrementer.wasm -g 10000