๐ 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
Expected Behavior
System information
Please complete the following information:
Additional context
Add any other context about the problem here.