diff --git a/contracts/feature-tests/basic-features/scenarios/big_num_ops_cmp.scen.json b/contracts/feature-tests/basic-features/scenarios/big_num_ops_cmp.scen.json new file mode 100644 index 0000000000..ae06c9aed5 --- /dev/null +++ b/contracts/feature-tests/basic-features/scenarios/big_num_ops_cmp.scen.json @@ -0,0 +1,5595 @@ +{ + "comment": "Code generated by mx-sdk-rs/tools/op-test-gen. DO NOT EDIT.", + "steps": [ + { + "step": "setState", + "accounts": { + "sc:basic-features": { + "nonce": "0", + "balance": "0", + "code": "mxsc:../output/basic-features.mxsc.json" + } + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "0", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(0,-1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "0", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "+1", + "+1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "+1", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "-1", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_big_int(-1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_big_int", + "arguments": [ + "-1", + "-1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_i64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_i64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_int_u64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_int_u64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_big_uint(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_big_uint", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_big_uint(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_big_uint", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_big_uint(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_big_uint", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_non_zero_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_non_zero_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "eq_non_zero_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "eq_non_zero_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "0", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(0,-1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "0", + "-1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "+1", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "+1", + "-1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "-1", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_big_int(-1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_big_int", + "arguments": [ + "-1", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_i64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_i64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_int_u64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_int_u64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_big_uint(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_big_uint", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_big_uint(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_big_uint", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_big_uint(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_big_uint", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_non_zero_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_non_zero_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "gt_non_zero_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "gt_non_zero_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "0", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(0,-1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "0", + "-1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "+1", + "+1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "+1", + "-1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "-1", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_big_int(-1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_big_int", + "arguments": [ + "-1", + "-1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_i64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_i64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_int_u64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_int_u64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_big_uint(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_big_uint", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_big_uint(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_big_uint", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_big_uint(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_big_uint", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_non_zero_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_non_zero_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "ge_non_zero_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "ge_non_zero_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "0", + "+1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(0,-1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "0", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "+1", + "+1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "+1", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "-1", + "+1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_big_int(-1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_big_int", + "arguments": [ + "-1", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_i64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_i64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_int_u64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_int_u64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_big_uint(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_big_uint", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_big_uint(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_big_uint", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_big_uint(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_big_uint", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_non_zero_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_non_zero_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "lt_non_zero_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "lt_non_zero_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "0", + "+1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(0,-1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "0", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "+1", + "+1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "+1", + "-1" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "-1", + "+1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_big_int(-1,-1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_big_int", + "arguments": [ + "-1", + "-1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_i64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_i64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u32", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u32", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u32(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u32", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u32(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u32", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u64", + "arguments": [ + "+1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u64", + "arguments": [ + "+1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u64(-1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u64", + "arguments": [ + "-1", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_int_u64(-1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_int_u64", + "arguments": [ + "-1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_big_uint(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_big_uint", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_big_uint(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_big_uint", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_big_uint(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_big_uint", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u32(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u32", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u32(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u32", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u64(0,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u64", + "arguments": [ + "0", + "0" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u64(0,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u64", + "arguments": [ + "0", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_non_zero_big_uint(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_non_zero_big_uint", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_i32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_i32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_i32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_i32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_i64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_i64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_i64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_i64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_u32(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_u32", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_u32(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_u32", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_u64(1,0)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_u64", + "arguments": [ + "1", + "0" + ] + }, + "expect": { + "out": [ + "false" + ], + "status": "0" + } + }, + { + "step": "scQuery", + "id": "le_non_zero_big_uint_u64(1,1)", + "tx": { + "to": "sc:basic-features", + "function": "le_non_zero_big_uint_u64", + "arguments": [ + "1", + "1" + ] + }, + "expect": { + "out": [ + "true" + ], + "status": "0" + } + } + ] +} diff --git a/contracts/feature-tests/basic-features/src/big_num_operators.rs b/contracts/feature-tests/basic-features/src/big_num_operators.rs index 91c891b04d..016a4d6d2e 100644 --- a/contracts/feature-tests/basic-features/src/big_num_operators.rs +++ b/contracts/feature-tests/basic-features/src/big_num_operators.rs @@ -911,4 +911,307 @@ pub trait BigIntOperators { a <<= b; a } + + // Equality/comparison operators + + #[endpoint] + fn eq_big_int_big_int(&self, a: BigInt, b: BigInt) -> bool { + a == b + } + #[endpoint] + fn eq_big_int_i32(&self, a: BigInt, b: i32) -> bool { + a == b + } + #[endpoint] + fn eq_big_int_i64(&self, a: BigInt, b: i64) -> bool { + a == b + } + #[endpoint] + fn eq_big_int_u32(&self, a: BigInt, b: u32) -> bool { + a == b + } + #[endpoint] + fn eq_big_int_u64(&self, a: BigInt, b: u64) -> bool { + a == b + } + #[endpoint] + fn eq_big_uint_big_uint(&self, a: BigUint, b: BigUint) -> bool { + a == b + } + #[endpoint] + fn eq_big_uint_i32(&self, a: BigUint, b: i32) -> bool { + a == b + } + #[endpoint] + fn eq_big_uint_i64(&self, a: BigUint, b: i64) -> bool { + a == b + } + #[endpoint] + fn eq_big_uint_u32(&self, a: BigUint, b: u32) -> bool { + a == b + } + #[endpoint] + fn eq_big_uint_u64(&self, a: BigUint, b: u64) -> bool { + a == b + } + #[endpoint] + fn eq_non_zero_big_uint_non_zero_big_uint(&self, a: NonZeroBigUint, b: NonZeroBigUint) -> bool { + a == b + } + #[endpoint] + fn eq_non_zero_big_uint_i32(&self, a: NonZeroBigUint, b: i32) -> bool { + a == b + } + #[endpoint] + fn eq_non_zero_big_uint_i64(&self, a: NonZeroBigUint, b: i64) -> bool { + a == b + } + #[endpoint] + fn eq_non_zero_big_uint_u32(&self, a: NonZeroBigUint, b: u32) -> bool { + a == b + } + #[endpoint] + fn eq_non_zero_big_uint_u64(&self, a: NonZeroBigUint, b: u64) -> bool { + a == b + } + #[endpoint] + fn gt_big_int_big_int(&self, a: BigInt, b: BigInt) -> bool { + a > b + } + #[endpoint] + fn gt_big_int_i32(&self, a: BigInt, b: i32) -> bool { + a > b + } + #[endpoint] + fn gt_big_int_i64(&self, a: BigInt, b: i64) -> bool { + a > b + } + #[endpoint] + fn gt_big_int_u32(&self, a: BigInt, b: u32) -> bool { + a > b + } + #[endpoint] + fn gt_big_int_u64(&self, a: BigInt, b: u64) -> bool { + a > b + } + #[endpoint] + fn gt_big_uint_big_uint(&self, a: BigUint, b: BigUint) -> bool { + a > b + } + #[endpoint] + fn gt_big_uint_i32(&self, a: BigUint, b: i32) -> bool { + a > b + } + #[endpoint] + fn gt_big_uint_i64(&self, a: BigUint, b: i64) -> bool { + a > b + } + #[endpoint] + fn gt_big_uint_u32(&self, a: BigUint, b: u32) -> bool { + a > b + } + #[endpoint] + fn gt_big_uint_u64(&self, a: BigUint, b: u64) -> bool { + a > b + } + #[endpoint] + fn gt_non_zero_big_uint_non_zero_big_uint(&self, a: NonZeroBigUint, b: NonZeroBigUint) -> bool { + a > b + } + #[endpoint] + fn gt_non_zero_big_uint_i32(&self, a: NonZeroBigUint, b: i32) -> bool { + a > b + } + #[endpoint] + fn gt_non_zero_big_uint_i64(&self, a: NonZeroBigUint, b: i64) -> bool { + a > b + } + #[endpoint] + fn gt_non_zero_big_uint_u32(&self, a: NonZeroBigUint, b: u32) -> bool { + a > b + } + #[endpoint] + fn gt_non_zero_big_uint_u64(&self, a: NonZeroBigUint, b: u64) -> bool { + a > b + } + #[endpoint] + fn ge_big_int_big_int(&self, a: BigInt, b: BigInt) -> bool { + a >= b + } + #[endpoint] + fn ge_big_int_i32(&self, a: BigInt, b: i32) -> bool { + a >= b + } + #[endpoint] + fn ge_big_int_i64(&self, a: BigInt, b: i64) -> bool { + a >= b + } + #[endpoint] + fn ge_big_int_u32(&self, a: BigInt, b: u32) -> bool { + a >= b + } + #[endpoint] + fn ge_big_int_u64(&self, a: BigInt, b: u64) -> bool { + a >= b + } + #[endpoint] + fn ge_big_uint_big_uint(&self, a: BigUint, b: BigUint) -> bool { + a >= b + } + #[endpoint] + fn ge_big_uint_i32(&self, a: BigUint, b: i32) -> bool { + a >= b + } + #[endpoint] + fn ge_big_uint_i64(&self, a: BigUint, b: i64) -> bool { + a >= b + } + #[endpoint] + fn ge_big_uint_u32(&self, a: BigUint, b: u32) -> bool { + a >= b + } + #[endpoint] + fn ge_big_uint_u64(&self, a: BigUint, b: u64) -> bool { + a >= b + } + #[endpoint] + fn ge_non_zero_big_uint_non_zero_big_uint(&self, a: NonZeroBigUint, b: NonZeroBigUint) -> bool { + a >= b + } + #[endpoint] + fn ge_non_zero_big_uint_i32(&self, a: NonZeroBigUint, b: i32) -> bool { + a >= b + } + #[endpoint] + fn ge_non_zero_big_uint_i64(&self, a: NonZeroBigUint, b: i64) -> bool { + a >= b + } + #[endpoint] + fn ge_non_zero_big_uint_u32(&self, a: NonZeroBigUint, b: u32) -> bool { + a >= b + } + #[endpoint] + fn ge_non_zero_big_uint_u64(&self, a: NonZeroBigUint, b: u64) -> bool { + a >= b + } + #[endpoint] + fn lt_big_int_big_int(&self, a: BigInt, b: BigInt) -> bool { + a < b + } + #[endpoint] + fn lt_big_int_i32(&self, a: BigInt, b: i32) -> bool { + a < b + } + #[endpoint] + fn lt_big_int_i64(&self, a: BigInt, b: i64) -> bool { + a < b + } + #[endpoint] + fn lt_big_int_u32(&self, a: BigInt, b: u32) -> bool { + a < b + } + #[endpoint] + fn lt_big_int_u64(&self, a: BigInt, b: u64) -> bool { + a < b + } + #[endpoint] + fn lt_big_uint_big_uint(&self, a: BigUint, b: BigUint) -> bool { + a < b + } + #[endpoint] + fn lt_big_uint_i32(&self, a: BigUint, b: i32) -> bool { + a < b + } + #[endpoint] + fn lt_big_uint_i64(&self, a: BigUint, b: i64) -> bool { + a < b + } + #[endpoint] + fn lt_big_uint_u32(&self, a: BigUint, b: u32) -> bool { + a < b + } + #[endpoint] + fn lt_big_uint_u64(&self, a: BigUint, b: u64) -> bool { + a < b + } + #[endpoint] + fn lt_non_zero_big_uint_non_zero_big_uint(&self, a: NonZeroBigUint, b: NonZeroBigUint) -> bool { + a < b + } + #[endpoint] + fn lt_non_zero_big_uint_i32(&self, a: NonZeroBigUint, b: i32) -> bool { + a < b + } + #[endpoint] + fn lt_non_zero_big_uint_i64(&self, a: NonZeroBigUint, b: i64) -> bool { + a < b + } + #[endpoint] + fn lt_non_zero_big_uint_u32(&self, a: NonZeroBigUint, b: u32) -> bool { + a < b + } + #[endpoint] + fn lt_non_zero_big_uint_u64(&self, a: NonZeroBigUint, b: u64) -> bool { + a < b + } + #[endpoint] + fn le_big_int_big_int(&self, a: BigInt, b: BigInt) -> bool { + a <= b + } + #[endpoint] + fn le_big_int_i32(&self, a: BigInt, b: i32) -> bool { + a <= b + } + #[endpoint] + fn le_big_int_i64(&self, a: BigInt, b: i64) -> bool { + a <= b + } + #[endpoint] + fn le_big_int_u32(&self, a: BigInt, b: u32) -> bool { + a <= b + } + #[endpoint] + fn le_big_int_u64(&self, a: BigInt, b: u64) -> bool { + a <= b + } + #[endpoint] + fn le_big_uint_big_uint(&self, a: BigUint, b: BigUint) -> bool { + a <= b + } + #[endpoint] + fn le_big_uint_i32(&self, a: BigUint, b: i32) -> bool { + a <= b + } + #[endpoint] + fn le_big_uint_i64(&self, a: BigUint, b: i64) -> bool { + a <= b + } + #[endpoint] + fn le_big_uint_u32(&self, a: BigUint, b: u32) -> bool { + a <= b + } + #[endpoint] + fn le_big_uint_u64(&self, a: BigUint, b: u64) -> bool { + a <= b + } + #[endpoint] + fn le_non_zero_big_uint_non_zero_big_uint(&self, a: NonZeroBigUint, b: NonZeroBigUint) -> bool { + a <= b + } + #[endpoint] + fn le_non_zero_big_uint_i32(&self, a: NonZeroBigUint, b: i32) -> bool { + a <= b + } + #[endpoint] + fn le_non_zero_big_uint_i64(&self, a: NonZeroBigUint, b: i64) -> bool { + a <= b + } + #[endpoint] + fn le_non_zero_big_uint_u32(&self, a: NonZeroBigUint, b: u32) -> bool { + a <= b + } + #[endpoint] + fn le_non_zero_big_uint_u64(&self, a: NonZeroBigUint, b: u64) -> bool { + a <= b + } } diff --git a/contracts/feature-tests/basic-features/tests/basic_features_scenario_go_test.rs b/contracts/feature-tests/basic-features/tests/basic_features_scenario_go_test.rs index 1cd9291c42..68f7042326 100644 --- a/contracts/feature-tests/basic-features/tests/basic_features_scenario_go_test.rs +++ b/contracts/feature-tests/basic-features/tests/basic_features_scenario_go_test.rs @@ -29,6 +29,11 @@ fn big_num_ops_bitwise_go() { world().run("scenarios/big_num_ops_bitwise.scen.json"); } +#[test] +fn big_num_ops_cmp_go() { + world().run("scenarios/big_num_ops_cmp.scen.json"); +} + #[test] fn big_num_ops_shift_go() { world().run("scenarios/big_num_ops_shift.scen.json"); diff --git a/contracts/feature-tests/basic-features/tests/basic_features_scenario_rs_test.rs b/contracts/feature-tests/basic-features/tests/basic_features_scenario_rs_test.rs index 12a4dd9353..1e30502167 100644 --- a/contracts/feature-tests/basic-features/tests/basic_features_scenario_rs_test.rs +++ b/contracts/feature-tests/basic-features/tests/basic_features_scenario_rs_test.rs @@ -44,6 +44,11 @@ fn big_num_ops_bitwise_rs() { world().run("scenarios/big_num_ops_bitwise.scen.json"); } +#[test] +fn big_num_ops_cmp_rs() { + world().run("scenarios/big_num_ops_cmp.scen.json"); +} + #[test] #[ignore = "too slow with wasmer-experimental, run from basic_features_scenario_rs_slow_test.rs"] fn big_num_ops_shift_rs() { diff --git a/contracts/feature-tests/composability/vault/src/vault.rs b/contracts/feature-tests/composability/vault/src/vault.rs index d7a6c24737..f362ad8b2b 100644 --- a/contracts/feature-tests/composability/vault/src/vault.rs +++ b/contracts/feature-tests/composability/vault/src/vault.rs @@ -134,7 +134,7 @@ pub trait Vault { payment.amount.as_big_uint(), ); - self.tx().to(ToCaller).payment(&*payment).transfer(); + self.tx().to(ToCaller).payment(payment).transfer(); } } diff --git a/tools/op-test-gen/src/op_gen_endpoints.rs b/tools/op-test-gen/src/op_gen_endpoints.rs index f304fd2ea9..66412c921f 100644 --- a/tools/op-test-gen/src/op_gen_endpoints.rs +++ b/tools/op-test-gen/src/op_gen_endpoints.rs @@ -11,8 +11,11 @@ pub enum ValueType { NonZeroBigUint, NonZeroBigUintRef, Usize, + I32, + I64, U32, U64, + Bool, } impl ValueType { @@ -25,8 +28,11 @@ impl ValueType { ValueType::NonZeroBigUint => "NonZeroBigUint", ValueType::NonZeroBigUintRef => "&NonZeroBigUint", ValueType::Usize => "usize", + ValueType::I32 => "i32", + ValueType::I64 => "i64", ValueType::U32 => "u32", ValueType::U64 => "u64", + ValueType::Bool => "bool", } } @@ -38,9 +44,7 @@ impl ValueType { ValueType::BigUintRef => "big_uint_ref", ValueType::NonZeroBigUint => "non_zero_big_uint", ValueType::NonZeroBigUintRef => "non_zero_big_uint_ref", - ValueType::Usize => "usize", - ValueType::U32 => "u32", - ValueType::U64 => "u64", + _ => self.as_str(), } } @@ -182,6 +186,26 @@ fn add_u32_u64_endpoints( } } +fn add_cmp_small_int_endpoints( + op: &OperatorInfo, + owned_type: ValueType, + endpoints: &mut Vec, +) { + for small_int_type in [ + ValueType::I32, + ValueType::I64, + ValueType::U32, + ValueType::U64, + ] { + endpoints.push(BigNumOperatorTestEndpoint::new( + op, + owned_type, + small_int_type, + ValueType::Bool, + )); + } +} + pub fn create_endpoints_for_op(op: &OperatorInfo) -> Vec { let mut endpoints = Vec::new(); @@ -349,6 +373,29 @@ pub fn create_endpoints_for_op(op: &OperatorInfo) -> Vec { + endpoints.push(BigNumOperatorTestEndpoint::new( + op, + ValueType::BigInt, + ValueType::BigInt, + ValueType::Bool, + )); + add_cmp_small_int_endpoints(op, ValueType::BigInt, &mut endpoints); + endpoints.push(BigNumOperatorTestEndpoint::new( + op, + ValueType::BigUint, + ValueType::BigUint, + ValueType::Bool, + )); + add_cmp_small_int_endpoints(op, ValueType::BigUint, &mut endpoints); + endpoints.push(BigNumOperatorTestEndpoint::new( + op, + ValueType::NonZeroBigUint, + ValueType::NonZeroBigUint, + ValueType::Bool, + )); + add_cmp_small_int_endpoints(op, ValueType::NonZeroBigUint, &mut endpoints); + } } endpoints diff --git a/tools/op-test-gen/src/op_gen_lib.rs b/tools/op-test-gen/src/op_gen_lib.rs index 488042a43f..5ef7df95e9 100644 --- a/tools/op-test-gen/src/op_gen_lib.rs +++ b/tools/op-test-gen/src/op_gen_lib.rs @@ -51,6 +51,9 @@ pub fn generate_big_int_operators_trait() -> String { section_comment(&mut out, "Bitwise shift assign operators"); write_filtered_endpoints(&endpoints, OperatorGroup::Shift, true, &mut out); + section_comment(&mut out, "Equality/comparison operators"); + write_filtered_endpoints(&endpoints, OperatorGroup::Cmp, false, &mut out); + writeln!(&mut out, "\n}}").unwrap(); out diff --git a/tools/op-test-gen/src/op_gen_scenario.rs b/tools/op-test-gen/src/op_gen_scenario.rs index b68d78f1b0..55a3f94fd2 100644 --- a/tools/op-test-gen/src/op_gen_scenario.rs +++ b/tools/op-test-gen/src/op_gen_scenario.rs @@ -22,6 +22,9 @@ pub fn write_scenarios() { write_scenario_shift( "../../contracts/feature-tests/basic-features/scenarios/big_num_ops_shift.scen.json", ); + write_scenario_cmp( + "../../contracts/feature-tests/basic-features/scenarios/big_num_ops_cmp.scen.json", + ); } pub fn write_scenario_arith(target_path: &str) { @@ -57,11 +60,14 @@ pub fn write_scenario_arith(target_path: &str) { save_scenario(scenario, target_path); } -fn eval_op_arith( +/// Returns an Option to allow the `?` syntax. +/// +/// `None` means that the combination of inputs should be ignored (and not produce a test). +fn discard_invalid_inputs( a: &num_bigint::BigInt, b: &num_bigint::BigInt, endpoint: &BigNumOperatorTestEndpoint, -) -> Option { +) -> Option<()> { if !endpoint.a_type.is_signed() && a.is_negative() { return None; } @@ -82,9 +88,18 @@ fn eval_op_arith( // anything above i64::MAX is not supported return None; } + Some(()) +} + +fn eval_op_arith( + a: &num_bigint::BigInt, + b: &num_bigint::BigInt, + endpoint: &BigNumOperatorTestEndpoint, +) -> Option { + discard_invalid_inputs(a, b, endpoint)?; match endpoint.op_info.base_operator { - BaseOperator::Add => tx_expect_ok(endpoint, a + b), + BaseOperator::Add => tx_expect_big_num_ok(endpoint, a + b), BaseOperator::Sub => { let result = a - b; if !endpoint.return_type.is_signed() && result.is_negative() { @@ -96,14 +111,14 @@ fn eval_op_arith( if endpoint.return_type.is_non_zero() && result.is_zero() { return Some(TxExpect::err(4, "str:zero value not allowed")); } - tx_expect_ok(endpoint, result) + tx_expect_big_num_ok(endpoint, result) } BaseOperator::Mul => { let result = a * b; if endpoint.return_type.is_non_zero() && result.is_zero() { return Some(TxExpect::err(4, "str:zero value not allowed")); } - tx_expect_ok(endpoint, result) + tx_expect_big_num_ok(endpoint, result) } BaseOperator::Div => { if b.is_zero() { @@ -114,7 +129,7 @@ fn eval_op_arith( if endpoint.return_type.is_non_zero() && result.is_zero() { return Some(TxExpect::err(4, "str:zero value not allowed")); } - tx_expect_ok(endpoint, result) + tx_expect_big_num_ok(endpoint, result) } BaseOperator::Rem => { if b.is_zero() { @@ -125,7 +140,7 @@ fn eval_op_arith( if endpoint.return_type.is_non_zero() && result.is_zero() { return Some(TxExpect::err(4, "str:zero value not allowed")); } - tx_expect_ok(endpoint, result) + tx_expect_big_num_ok(endpoint, result) } _ => None, } @@ -183,9 +198,9 @@ fn eval_op_bitwise( } match endpoint.op_info.base_operator { - BaseOperator::BitAnd => tx_expect_ok(endpoint, a & b), - BaseOperator::BitOr => tx_expect_ok(endpoint, a | b), - BaseOperator::BitXor => tx_expect_ok(endpoint, a ^ b), + BaseOperator::BitAnd => tx_expect_big_num_ok(endpoint, a & b), + BaseOperator::BitOr => tx_expect_big_num_ok(endpoint, a | b), + BaseOperator::BitXor => tx_expect_big_num_ok(endpoint, a ^ b), _ => None, } } @@ -240,16 +255,61 @@ fn eval_op_shift( BaseOperator::Shl => { // For shifts, BigInt does not support shifting by BigInt directly. let shift_amount = b.to_usize()?; - tx_expect_ok(endpoint, a << shift_amount) + tx_expect_big_num_ok(endpoint, a << shift_amount) } BaseOperator::Shr => { let shift_amount = b.to_usize()?; - tx_expect_ok(endpoint, a >> shift_amount) + tx_expect_big_num_ok(endpoint, a >> shift_amount) } _ => None, } } +pub fn write_scenario_cmp(target_path: &str) { + let mut scenario = create_scenario(); + let ops = OperatorList::create(); + let endpoints = create_all_endpoints(&ops); + + let numbers = vec![ + num_bigint::BigInt::from(0), + num_bigint::BigInt::from(1), + num_bigint::BigInt::from(-1), + ]; + + for endpoint in endpoints { + for a in &numbers { + for b in &numbers { + if let Some(tx_expect) = eval_op_cmp(a, b, &endpoint) { + add_query(&mut scenario, &endpoint, a, b, tx_expect); + } + } + } + } + + println!( + "Generated {} test queries for comparison operators.", + scenario.steps.len() - 1 + ); + + save_scenario(scenario, target_path); +} + +fn eval_op_cmp( + a: &num_bigint::BigInt, + b: &num_bigint::BigInt, + endpoint: &BigNumOperatorTestEndpoint, +) -> Option { + discard_invalid_inputs(a, b, endpoint)?; + match endpoint.op_info.base_operator { + BaseOperator::Eq => tx_expect_bool_ok(a == b), + BaseOperator::Gt => tx_expect_bool_ok(a > b), + BaseOperator::Ge => tx_expect_bool_ok(a >= b), + BaseOperator::Lt => tx_expect_bool_ok(a < b), + BaseOperator::Le => tx_expect_bool_ok(a <= b), + _ => None, + } +} + pub fn create_scenario() -> Scenario { let mut scenario = Scenario::default() .with_comment("Code generated by mx-sdk-rs/tools/op-test-gen. DO NOT EDIT."); @@ -277,13 +337,18 @@ fn save_scenario(scenario: Scenario, target_path: &str) { println!("Successfully rewrote {}", target_path); } -fn tx_expect_ok( +fn tx_expect_big_num_ok( endpoint: &BigNumOperatorTestEndpoint, result: num_bigint::BigInt, ) -> Option { Some(TxExpect::ok().result(&serialize_arg(endpoint.return_type, &result))) } +fn tx_expect_bool_ok(result: bool) -> Option { + let bool_str = if result { "true" } else { "false" }; + Some(TxExpect::ok().result(bool_str)) +} + fn serialize_arg(arg_type: ValueType, n: &num_bigint::BigInt) -> String { if arg_type.is_signed() && n.is_positive() { format!("+{n}") diff --git a/tools/op-test-gen/src/op_list.rs b/tools/op-test-gen/src/op_list.rs index db29f2e4f2..26ea01639e 100644 --- a/tools/op-test-gen/src/op_list.rs +++ b/tools/op-test-gen/src/op_list.rs @@ -10,6 +10,11 @@ pub enum BaseOperator { BitXor, Shr, Shl, + Eq, + Gt, + Ge, + Lt, + Le, } impl BaseOperator { @@ -25,6 +30,11 @@ impl BaseOperator { BaseOperator::BitXor => "^", BaseOperator::Shr => ">>", BaseOperator::Shl => "<<", + BaseOperator::Eq => "==", + BaseOperator::Gt => ">", + BaseOperator::Ge => ">=", + BaseOperator::Lt => "<", + BaseOperator::Le => "<=", } } @@ -53,6 +63,11 @@ impl OperatorInfo { pub fn assign(self) -> Self { assert!(!self.assign, "Operator is already an assign operator"); + assert_ne!( + self.group, + OperatorGroup::Cmp, + "comparison groups have no assign variant" + ); Self { name: format!("{}_assign", self.name), base_operator: self.base_operator, @@ -75,31 +90,42 @@ pub enum OperatorGroup { Arithmetic, Bitwise, Shift, + Cmp, } pub struct OperatorList(pub Vec); impl OperatorList { pub fn create() -> Self { - let binary_operators = vec![ - // Arithmetic binary operators + OperatorList(vec![ + // Direct variants OperatorInfo::new("add", BaseOperator::Add, OperatorGroup::Arithmetic), OperatorInfo::new("sub", BaseOperator::Sub, OperatorGroup::Arithmetic), OperatorInfo::new("mul", BaseOperator::Mul, OperatorGroup::Arithmetic), OperatorInfo::new("div", BaseOperator::Div, OperatorGroup::Arithmetic), OperatorInfo::new("rem", BaseOperator::Rem, OperatorGroup::Arithmetic), - // Bitwise binary operators OperatorInfo::new("bit_and", BaseOperator::BitAnd, OperatorGroup::Bitwise), OperatorInfo::new("bit_or", BaseOperator::BitOr, OperatorGroup::Bitwise), OperatorInfo::new("bit_xor", BaseOperator::BitXor, OperatorGroup::Bitwise), - // Bitwise shift binary operators OperatorInfo::new("shr", BaseOperator::Shr, OperatorGroup::Shift), OperatorInfo::new("shl", BaseOperator::Shl, OperatorGroup::Shift), - ]; - - let mut all_operators = Vec::new(); - all_operators.extend(binary_operators.iter().cloned()); - all_operators.extend(binary_operators.iter().cloned().map(|op| op.assign())); - OperatorList(all_operators) + // Assign variants + OperatorInfo::new("add", BaseOperator::Add, OperatorGroup::Arithmetic).assign(), + OperatorInfo::new("sub", BaseOperator::Sub, OperatorGroup::Arithmetic).assign(), + OperatorInfo::new("mul", BaseOperator::Mul, OperatorGroup::Arithmetic).assign(), + OperatorInfo::new("div", BaseOperator::Div, OperatorGroup::Arithmetic).assign(), + OperatorInfo::new("rem", BaseOperator::Rem, OperatorGroup::Arithmetic).assign(), + OperatorInfo::new("bit_and", BaseOperator::BitAnd, OperatorGroup::Bitwise).assign(), + OperatorInfo::new("bit_or", BaseOperator::BitOr, OperatorGroup::Bitwise).assign(), + OperatorInfo::new("bit_xor", BaseOperator::BitXor, OperatorGroup::Bitwise).assign(), + OperatorInfo::new("shr", BaseOperator::Shr, OperatorGroup::Shift).assign(), + OperatorInfo::new("shl", BaseOperator::Shl, OperatorGroup::Shift).assign(), + // Equality/comparison + OperatorInfo::new("eq", BaseOperator::Eq, OperatorGroup::Cmp), + OperatorInfo::new("gt", BaseOperator::Gt, OperatorGroup::Cmp), + OperatorInfo::new("ge", BaseOperator::Ge, OperatorGroup::Cmp), + OperatorInfo::new("lt", BaseOperator::Lt, OperatorGroup::Cmp), + OperatorInfo::new("le", BaseOperator::Le, OperatorGroup::Cmp), + ]) } }