Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Honor #[verify_only] in move-compiler-v2. Add relevant tests from v1. Also add tests of #[deprecated]. #13732

Merged
merged 11 commits into from
Jun 29, 2024

fix test configurations for verification and deprecated

aa91e66
Select commit
Loading
Failed to load commit list.
Merged

Honor #[verify_only] in move-compiler-v2. Add relevant tests from v1. Also add tests of #[deprecated]. #13732

fix test configurations for verification and deprecated
aa91e66
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jun 29, 2024 in 1s

65.3% of diff hit (target 59.0%)

View this Pull Request on Codecov

65.3% of diff hit (target 59.0%)

Annotations

Check warning on line 93 in third_party/move/move-compiler-v2/src/options.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-compiler-v2/src/options.rs#L93 

Added line #L93 was not covered by tests

Check warning on line 100 in third_party/move/move-compiler-v2/src/options.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-compiler-v2/src/options.rs#L100 

Added line #L100 was not covered by tests

Check warning on line 212 in third_party/move/move-compiler-v2/src/options.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-compiler-v2/src/options.rs#L207-L212 

Added lines #L207 - L212 were not covered by tests

Check warning on line 219 in third_party/move/move-compiler-v2/src/options.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-compiler-v2/src/options.rs#L214-L219 

Added lines #L214 - L219 were not covered by tests

Check warning on line 226 in third_party/move/move-compiler-v2/src/options.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-compiler-v2/src/options.rs#L221-L226 

Added lines #L221 - L226 were not covered by tests

Check warning on line 233 in third_party/move/move-compiler-v2/src/options.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

third_party/move/move-compiler-v2/src/options.rs#L228-L233 

Added lines #L228 - L233 were not covered by tests
View more details on Codecov