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

Jump to bottom

WIP: add Wasmi translation invariants checker #1233

Draft
wants to merge 4 commits into
base: main
Choose a base branch
from
+405 −2

Merge branch 'main' into rf-translation-post-conditions

de48f61
Select commit
Loading
Failed to load commit list.
Draft

WIP: add Wasmi translation invariants checker #1233

Merge branch 'main' into rf-translation-post-conditions
de48f61
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Oct 17, 2024 in 1s

8.18% of diff hit (target 81.74%)

View this Pull Request on Codecov

8.18% of diff hit (target 81.74%)

Annotations

Check warning on line 37 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L36-L37 

Added lines #L36 - L37 were not covered by tests

Check warning on line 45 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L44-L45 

Added lines #L44 - L45 were not covered by tests

Check warning on line 50 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L49-L50 

Added lines #L49 - L50 were not covered by tests

Check warning on line 57 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L55-L57 

Added lines #L55 - L57 were not covered by tests

Check warning on line 60 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L59-L60 

Added lines #L59 - L60 were not covered by tests

Check warning on line 62 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L62 

Added line #L62 was not covered by tests

Check warning on line 66 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L64-L66 

Added lines #L64 - L66 were not covered by tests

Check warning on line 68 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L68 

Added line #L68 was not covered by tests

Check warning on line 133 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L127-L133 

Added lines #L127 - L133 were not covered by tests

Check warning on line 143 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L140-L143 

Added lines #L140 - L143 were not covered by tests

Check warning on line 154 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L151-L154 

Added lines #L151 - L154 were not covered by tests

Check warning on line 165 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L162-L165 

Added lines #L162 - L165 were not covered by tests

Check warning on line 176 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L173-L176 

Added lines #L173 - L176 were not covered by tests

Check warning on line 187 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L184-L187 

Added lines #L184 - L187 were not covered by tests

Check warning on line 190 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L189-L190 

Added lines #L189 - L190 were not covered by tests

Check warning on line 203 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L198-L203 

Added lines #L198 - L203 were not covered by tests

Check warning on line 208 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L205-L208 

Added lines #L205 - L208 were not covered by tests

Check warning on line 211 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L210-L211 

Added lines #L210 - L211 were not covered by tests

Check warning on line 224 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L221-L224 

Added lines #L221 - L224 were not covered by tests

Check warning on line 227 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L226-L227 

Added lines #L226 - L227 were not covered by tests

Check warning on line 238 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L235-L238 

Added lines #L235 - L238 were not covered by tests

Check warning on line 248 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L246-L248 

Added lines #L246 - L248 were not covered by tests

Check warning on line 277 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L276-L277 

Added lines #L276 - L277 were not covered by tests

Check warning on line 286 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L285-L286 

Added lines #L285 - L286 were not covered by tests

Check warning on line 291 in crates/wasmi/src/engine/translator/conditions.rs

See this annotation in the file changed.

@codecov codecov / codecov/patch

crates/wasmi/src/engine/translator/conditions.rs#L290-L291 

Added lines #L290 - L291 were not covered by tests
View more details on Codecov