starcoinorg / move Goto Github PK
View Code? Open in Web Editor NEWThis project forked from move-language/move
License: Apache License 2.0
This project forked from move-language/move
License: Apache License 2.0
There are many test errors in starcoin-main branch. It output like that
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
Please complete the following information:
Add any other context about the problem here.
Is your feature request related to a problem? Please describe.
Describe the solution you'd like
Describe alternatives you've considered
Are you willing to open a pull request? (See CONTRIBUTING)
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
Please complete the following information:
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)
}
}
bech32 version 0.9.0. If we need to upgrade 0.11.0. The API has changed.
Is your feature request related to a problem? Please describe.
Describe the solution you'd like
Describe alternatives you've considered
Are you willing to open a pull request? (See CONTRIBUTING)
no_std compile starcoin/vm-runtime
Describe the solution you'd like
refractoring
Describe alternatives you've considered
nope
Are you willing to open a pull request? (See CONTRIBUTING)
yes
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
Please complete the following information:
Add any other context about the problem here.
Found RUSTSEC in dependencies in job https://github.com/starcoinorg/move/actions/runs/10405377823
Fetching advisory database from `https://github.com/RustSec/advisory-db.git`
Loaded 647 security advisories (from /opt/cargo/advisory-db)
Updating crates.io index
Scanning Cargo.lock for vulnerabilities (707 crate dependencies)
Crate: evm
Version: 0.33.1
Title: evm incorrect state transition
Date: 2022-10-25
ID: RUSTSEC-2022-0083
URL: https://rustsec.org/advisories/RUSTSEC-2022-0083
Severity: 7.5 (high)
Solution: Upgrade to >=0.36.0
Dependency tree:
evm 0.33.1
โโโ 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-unit-test 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
โ โ โ โ โ โ โโโ extract-ethereum-abi 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-to-yul 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-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-prover 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 0.1.0
โ โ โ โ โ โ โโโ move-package 0.1.0
Pick move-language#556 move-language#549
to starcoin-main branch, check if exists a TypeTag nesting deeper than 13 on Barnard and Main.
Right now move framework use lowercase, we need to update prelude.bpl for Vector operation and other operation. Let move prover pass.
Is your feature request related to a problem? Please describe.
Describe the solution you'd like
Describe alternatives you've considered
Are you willing to open a pull request? (See CONTRIBUTING)
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
All test cases pass without error
Please complete the following information:
Add any other context about the problem here.
legacy_size is for old struct memory calculation. If we can remove it for starcoin dag version
Is your feature request related to a problem? Please describe.
Describe the solution you'd like
Describe alternatives you've considered
Are you willing to open a pull request? (See CONTRIBUTING)
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
Please complete the following information:
Add any other context about the problem here.
move-language/main
ไธ starcoinorg/dev
ๆฏ่พๅคง็ๅทฎๅผๅจ
้ฎ้ข๏ผ
starcoinorg/move:dev
ๆ่
starcoinorg/move:starcoin-main
็ดๆฅๆฌ่ฟๅป๏ผstarcoin
/starcoin-main
/ stc
ไฝไธบ move-language/move ไปๅบไธ็ๅๆฏๅ็งฐ๏ผ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
Please complete the following information:
Add any other context about the problem here.
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
Please complete the following information:
Add any other context about the problem here.
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
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
}
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
Please complete the following information:
Add any other context about the problem here.
improper process logic in branch startcoin-main move_core_types::account_address::AccountAddress::from_hex_literal(),
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
test succeed
Please complete the following information:
Add any other context about the problem here.
Request release of a starcoin compatible move-analyzer
starcoin-ide integrates move-analyzer and requires an official download channel
Publishing steps:
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.