Code Monkey home page Code Monkey logo

move's People

Stargazers

 avatar  avatar  avatar

Watchers

 avatar  avatar

move's Issues

[Bug dev] package_hash_skips_non_move_files test failed

๐Ÿ› Bug

To reproduce

Code snippet to reproduce
https://github.com/starcoinorg/move/blob/dev/language/tools/move-package/tests/package_hash_skips_non_move_files.rs#L10

called `Result::unwrap()` on an `Err` value: Unresolved addresses found: [
Named address 'B' in package 'OtherDep'
Named address 'B' in package 'Root'
]
To fix this, add an entry for each unresolved address to the [addresses] section of tests/test_sources/resolution/dep_good_digest/Move.toml: e.g.,
[addresses]
# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.
The reason is function AccountAddress::from_hex_literal bug

    pub fn from_hex_literal(literal: &str) -> Result<Self, AccountAddressParseError> {
        if literal.is_empty() {
            return Err(AccountAddressParseError);
        }
        let literal = literal.strip_prefix("0x").unwrap_or_else(|| literal);
        let hex_len = literal.len();

        // If the string is too short, pad it
        if hex_len < Self::LENGTH * 2 {
            let mut hex_str = String::with_capacity(Self::LENGTH * 2);
            for _ in 0..Self::LENGTH * 2 - hex_len {
                hex_str.push('0');
            }
            hex_str.push_str(&literal);
            AccountAddress::from_hex(hex_str)
        } else {
            AccountAddress::from_hex(&literal)
        }
    }

[Bug] dev branch test error

๐Ÿ› Bug

It's like #19

cd language/move-stdlib/tests
cargo test
thread 'prove' panicked at 'called Result::unwrap() on an Err value: No boogie executable set. Please set BOOGIE_EXE'

cd language/move-stdlib/nursery/tests
cargo test
thread 'prove' panicked at 'called Result::unwrap() on an Err value: No boogie executable set. Please set BOOGIE_EXE'

cd language/move-prover/bytecode/tests
cargo test
= ============ initial translation from Move ================
= ... (55 lines)
= # Formal(0): Read

  •  # Formal(0)/0x1::BoolFootprint::B: Read
    
  •  # Formal(0)/0x1::BoolFootprint::B/b: Read
    
  •  # Formal(0)/0x00000000000000000000000000000001::BoolFootprint::B: Read
    
  •  # Formal(0)/0x00000000000000000000000000000001::BoolFootprint::B/b: Read
    

= #
= ... (25 lines)

cd language/documentation/examples/diem-framework/move-packages/experimental/tests
cargo test
test result: FAILED. 1 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.95s

cd language/documentation/examples/diem-framework/move-packages/DPN/tests
cargo test
test result: FAILED. 1 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.08s

cd language/tools/move-cli/tests
cargo test
Command sandbox run scripts/test.move --args 1u8 --dry-run:
Execution failed due to unresolved type argument(s) (i.e., --type-args 0x1::M:T when there is no module named M at 0x1 or no type named T in module 0x1::M)

Error: 1 / 1 test(s) failed.

cd language/tools/move-cli/tests/sandbox_tests/package_basics/tests
cargo test
Error: Found script in modules -- this shouldn't happen
Command sandbox run scripts/test.move --args 0u8 --dry-run:
Execution failed due to unresolved type argument(s) (i.e., --type-args 0x1::M:T when there is no module named M at 0x1 or no type named T in module 0x1::M)
Command sandbox run scripts/test.move --args 1u8 --dry-run:
Execution failed due to unresolved type argument(s) (i.e., --type-args 0x1::M:T when there is no module named M at 0x1 or no type named T in module 0x1::M)

Error: 1 / 1 test(s) faile

cd language/move-vm/transactional-tests/tests
cargo test
test result: FAILED. 142 passed; 18 failed; 0 ignored; 0 measured; 0 filtered out

cd language/move-vm/integration-tests/src/tests
cargo test
โ”‚ Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'
โ”‚โ”‚โ”‚ Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'
Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a' Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'

cd language/extensions/async/move-async-vm/tests
cargo test

  • actor 0x5 handling ???? (hash=15961884735320219966)
  • FAIL VMError with status VM_EXTENSION_ERROR at location UNDEFINED and message unknown message hash 15961884735320219966

cd language/move-ir-compiler/transactional-tests/tests
cargo test
error: Parser Error
โ”Œโ”€ 42cdca38e87de6753feec345314d17af740f03fba4fddf1263ce71b4e2c9e9db:7:10
โ”‚
7 โ”‚ f() {
โ”‚ ^ Invalid Token: expected Colon, not LParen

cd language/testing-infra/transactional-test-runner/tests
cargo test
task 7 'view'. lines 47-49:
key 0x42::N::R {
key 0x00000000000000000000000000000042::N::R {
v: 0
}

To reproduce

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[dev Bug] run_metatest error

๐Ÿ› Bug

To reproduce

https://github.com/starcoinorg/move/blob/dev/language/tools/move-cli/tests/cli_tests.rs#L20

#[test]
fn run_metatest() {
    let path_cli_binary = get_cli_binary_path();
    let path_metatest = get_metatest_path();

    // local workspace + with coverage
    assert!(test::run_all(&path_metatest, path_cli_binary.as_path(), false, true).is_ok());

    // temp workspace + with coverage
    assert!(test::run_all(&path_metatest, &path_cli_binary, true, true).is_ok());

    // local workspace + without coverage
    assert!(test::run_all(&path_metatest, &path_cli_binary, false, false).is_ok());

    // temp workspace + without coverage
    assert!(test::run_all(&path_metatest, &path_cli_binary, true, false).is_ok());
}

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Bug] find the reason why some cmd has two 0x0x

๐Ÿ› Bug

To reproduce

https://github.com/starcoinorg/move/pull/12/files/df541a10c64281c49e3a630fedd44fc4962a86c8#diff-c8cb8d8be76d63d9bacf0c4fd122c483dbfc3ed5722b3a1f919b0f8aa9366fdb

sandbox publish

# basics
sandbox generate struct-layouts --module storage/0x0x00000000000000000000000000000001/modules/M2.mv --struct C --type-args u64

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Feature Request] Request release of a starcoin compatible move-analyzer

๐Ÿš€ Feature Request

Request release of a starcoin compatible move-analyzer

Motivation

starcoin-ide integrates move-analyzer and requires an official download channel

Additional context

Publishing steps:

  1. Based on https://github.com/yubing744/starcoin-move/tree/startcoin-move-analyzer at starcoinorg/
    move repository to create a branch startcoin-move-analyzer
  2. Tag the startcoin-move-analyzer branch
  3. Create Release based on Tag, github-action will automatically create move-analyzer binary

RUSTSEC in dependencies in branch

Found RUSTSEC in dependencies in job https://github.com/starcoinorg/move/actions/runs/6038662775

    Fetching advisory database from `https://github.com/RustSec/advisory-db.git`
      Loaded 562 security advisories (from /opt/cargo/advisory-db)
    Updating crates.io index
    Scanning Cargo.lock for vulnerabilities (633 crate dependencies)
Crate:     chrono
Version:   0.4.19
Title:     Potential segfault in `localtime_r` invocations
Date:      2020-11-10
ID:        RUSTSEC-2020-0159
URL:       https://rustsec.org/advisories/RUSTSEC-2020-0159
Solution:  Upgrade to >=0.4.20
Dependency tree:
chrono 0.4.19
โ”œโ”€โ”€ x 0.1.0
โ”œโ”€โ”€ tera 1.16.0
โ”‚   โ””โ”€โ”€ move-prover-boogie-backend 0.1.0
โ”‚       โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚       โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚       โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-test-utils 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-transactional-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-paranoid-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-ir-compiler-transactional-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-compiler-transactional-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ bytecode-verifier-transactional-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stackless-bytecode 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ spec-flatten 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ read-write-set 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ move-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-mutation 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-lab 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stackless-bytecode-interpreter 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ bytecode-interpreter-testsuite 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-prover-boogie-backend 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ move-prover 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ spec-flatten 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ prover-mutation 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ prover-lab 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-errmapgen 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-prover 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ””โ”€โ”€ move-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-docgen 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-prover 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-package 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”‚   โ”œโ”€โ”€ move-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”‚   โ””โ”€โ”€ move-analyzer 1.0.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ””โ”€โ”€ move-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ””โ”€โ”€ move-abigen 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚           โ”œโ”€โ”€ move-prover 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚           โ””โ”€โ”€ move-package 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-compiler 0.0.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ spec-flatten 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-mutation 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-lab 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-runtime 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-async-vm 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ language-benchmarks 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ diem-framework-natives 0.0.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ””โ”€โ”€ df-cli 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stackless-bytecode 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-prover-boogie-backend 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-prover 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-package 0.1.0
โ”‚       โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-model 0.1.0

[dev Bug] `move sandbox run scripts/test.move --args 0u8 --dry-run` error

๐Ÿ› Bug

To reproduce

cd language/tools/move-cli/tests/metatests/cov/two-runs-same-module
move sandbox run scripts/test.move --args 0u8 --dry-run

error info

Execution failed due to unresolved type argument(s) (i.e., `--type-args 0x1::M:T` when there is no module named M at 0x1 or no type named T in module 0x1::M)

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[dev] move the repo to https://github.com/move-language

move-language/main ไธŽ starcoinorg/dev ๆฏ”่พƒๅคง็š„ๅทฎๅผ‚ๅœจ

  1. ้ป˜่ฎค่พ“ๅ‡บ้•ฟ/็Ÿญๅœฐๅ€๏ผŒๅฎž็Žฐๅ’Œๆต‹่ฏ•้ƒฝไผšๆœ‰ไธๅŒ
  2. move ๆจกๅ—ๅๅญ—ๅคงๅฐๅ†™๏ผŒ0x1::Vector vs 0x1::vector ่ฟ™็งไผšๆœ‰ๆฏ”่พƒๅคš็š„diff๏ผŒ่ฆ revert ไธ€ไบ› move-language/main ไธ‹้ข็š„ commit

้—ฎ้ข˜๏ผš

  1. move-language ็š„ starcoin ๅˆ†ๆ”ฏๆ˜ฏ็›ดๆŽฅๅœจ move-language/main ๆœ€ๆ–ฐ commit ็š„ๅŸบ็ก€ไธŠๅขžๅŠ  commit ๅ—๏ผŸ่ฟ˜ๆ˜ฏๆŠŠ็Žฐๅœจ็š„starcoinorg/move:dev ๆˆ–่€… starcoinorg/move:starcoin-main ็›ดๆŽฅๆฌ่ฟ‡ๅŽป๏ผŸ
  2. ไฝฟ็”จstarcoin/starcoin-main/ stcไฝœไธบ move-language/move ไป“ๅบ“ไธ‹็š„ๅˆ†ๆ”ฏๅ็งฐ๏ผŸ
  3. ๅ…ˆๆŠŠๅˆ†ๆ”ฏๅปบ่ตทๆฅ๏ผŒ็›ดๆŽฅ่ฟ็งป๏ผŒ็„ถๅŽๅœจmove-languageไป“ๅบ“ไธ‹ๆpr๏ผŒ่ฟ˜ๆ˜ฏ็ญ‰่ฟ™่พนๆ›ดๆ–ฐ็š„ๅทฎไธๅคšไบ†๏ผŒๅ†่ฟ็งป๏ผŸ
  4. ๅฆ‚ๆžœ่ฟ็งปไบ†๏ผŒๅ†move-languageไธ‹ๅทฅไฝœ๏ผŒๆpr็š„ๆ—ถๅ€™ciๆ˜ฏไธๆ˜ฏไผš่‡ชๅŠจ่ท‘ไบ†๏ผŸ
  5. ๅฏ่ƒฝ้œ€่ฆ move-language ็ป™ๅผ€ไธชๅˆ†ๆ”ฏ๏ผŒไปฅๅŠๅฏน็‰นๅฎšๅˆ†ๆ”ฏ็š„ review ๅ’Œๅ†™ๅ…ฅๆƒ้™

@jolestar @nkysg

[Bug]starcoin-main branch test error

๐Ÿ› Bug

There are many test errors in starcoin-main branch. It output like that

To reproduce

Code snippet to reproduce

cd language/move-bytecode-verifier/transactional-tests/tests
cargo test
test result: FAILED. 179 passed; 130 failed; 0 ignored; 0 measured; 0 filtered out

cd language/move-stdlib/tests
cargo test
thread '<unknown>' has overflowed its stack
fatal runtime error: stack overflow

cd language/move-stdlib/nursery/tests
cargo test
thread '<unknown>' has overflowed its stack
fatal runtime error: stack overflow

cd language/move-prover/bytecode/tests
cargo test
test result: FAILED. 47 passed; 9 failed; 0 ignored; 0 measured; 0 filtered out

cd language/tools/move-unit-test/tests
cargo test
โ”‚ 0x8000000000000000000000000000000:
โ”‚       => key 0x1::M::A {
โ”‚       => key 0x00000000000000000000000000000001::M::A {
โ”‚           dummy_field: false
โ”‚       }
โ”‚ 0x9000000000000000000000000000000:
โ”‚       => key 0x1::M::A {
โ”‚       => key 0x00000000000000000000000000000001::M::A {
โ”‚           dummy_field: false
โ”‚       }
โ”‚ 

cd language/tools/mirai-dataflow-analysis/tests
cargo test
error[E0658]: use of unstable library feature 'proc_macro_is_available'

cd language/tools/move-package/tests
cargo test
---- run_test::resolution/basic_no_deps_address_not_assigned_with_dev_assignment/Move.toml ----
Expected outputs differ for "tests/test_sources/resolution/basic_no_deps_address_not_assigned_with_dev_assignment/Move.exp":
ResolutionGraph {
    root_package_path: "tests/test_sources/resolution/basic_no_deps_address_not_assigned_with_dev_assignment",
    build_options: BuildConfig {
        dev_mode: true,
        test_mode: false,
        generate_docs: false,
        generate_abis: false,
        install_dir: Some(
            "ELIDED_FOR_TEST",
        ),
        force_recompilation: false,
        additional_named_addresses: {},
    },
    root_package: SourceManifest {
        package: PackageInfo {
            name: "test",
            version: (
                0,
                0,
                0,
            ),
            authors: [],
            license: None,
        },
        addresses: Some(
            {
                "A": None,
            },
        ),
        dev_address_assignments: Some(
            {
                "A": 00000000000000000000000000000001,
                "A": 0x00000000000000000000000000000001,
            },
        ),
        build: None,
        dependencies: {},
        dev_dependencies: {},
    },


cd language/move-vm/transactional-tests/tests
cargo test
task 2 'view'. lines 31-31:
key 0x1::M::R {
key 0x00000000000000000000000000000001::M::R {
    x: false
}

cd move-vm/integration-tests/src/tests
cargo test
Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'        
               โ”‚  
           โ”‚          โ”‚  
            โ”‚                                  โ”‚     Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'
        Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'       
               โ”‚ Expected '::'โ”‚            Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a' 
        
   Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a' 
    
 โ”‚    โ”‚Expected '::' 


cd language/move-ir-compiler/transactional-tests/tests
cargo test
task 5 'print-bytecode'. lines 38-46:
// Move bytecode v5
// Move bytecode v4
script {

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Bug]failed test case in pacakge move-cli cli_testsuite

๐Ÿ› Bug

To reproduce

Code snippet to reproduce

Stack trace/error message

failures:

---- run_all::verify_native_functions_in_publish/args.txt ----
Expected output differs from actual output:
Command `sandbox publish`:
error[E02007]: invalid 'fun' declaration
  โ”Œโ”€ ./sources/example.move:3:16
  โ”‚
3 โ”‚     native fun create_nothing();
  โ”‚                ^^^^^^^^^^^^^^ Missing implementation for the native function M::create_nothing
Invalid multi-module publishing: VMError with status MISSING_DEPENDENCY at location Module ModuleId { address: 0x00000000000000000000000000000042, name: Identifier("M") } at index 0 for function handle





failures:
    run_all::verify_native_functions_in_publish/args.txt

test result: FAILED. 26 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out

Expected Behavior

All test cases pass without error

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Bug]wrong logic in branch startcoin-main move_core_types::account_address::AccountAddress::from_hex_literal

๐Ÿ› Bug

improper process logic in branch startcoin-main move_core_types::account_address::AccountAddress::from_hex_literal(),

To reproduce

Code snippet to reproduce

# go to move home directory, such as /home/workplace/move
# and run the test using the following command
cargo test -p move-package --test package_hash_skips_non_move_files

Stack trace/error message

thread 'package_hash_skips_non_move_files' panicked at 'called `Result::unwrap()` on an `Err` value: Unresolved addresses found: [
Named address 'B' in package 'OtherDep'
Named address 'B' in package 'Root'
]', language/tools/move-package/tests/package_hash_skips_non_move_files.rs:17:6
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test package_hash_skips_non_move_files ... FAILED

Expected Behavior

test succeed

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.