Make Rust-vs-Micro-Rust testing a coverage-auditable CI gate#108
Open
DominicPM wants to merge 1 commit intoawslabs:mainfrom
Open
Make Rust-vs-Micro-Rust testing a coverage-auditable CI gate#108DominicPM wants to merge 1 commit intoawslabs:mainfrom
DominicPM wants to merge 1 commit intoawslabs:mainfrom
Conversation
DominicPM
force-pushed
the
micro-rust-conformance
branch
from
56577d9 to
b406607
Compare
dominic-mulligan-aws
force-pushed
the
micro-rust-conformance
branch
from
b406607 to
d80c007
Compare
DominicPM
force-pushed
the
micro-rust-conformance
branch
from
d80c007 to
0027806
Compare
dominic-mulligan-aws
force-pushed
the
micro-rust-conformance
branch
3 times, most recently
from
f013b6a to
f665477
Compare
Establish a full conformance testing strategy that validates Rust behaviour against evaluated Micro Rust definitions and blocks CI on coverage regressions. - expand the conformance suite across core categories: arithmetic, bitwise, comparison, conversion, panic behaviour, stdlib arithmetic, option, result, range, ordering, and tuple - generate a single Rust harness from HOL-driven expectations rather than handwritten expected semantics - add/standardize panic-path testing so failure behaviour is checked, not only success paths - introduce unified generation orchestration and required-category checks - add coverage reporting infrastructure with machine-readable JSON and human-readable Markdown summaries - wire conformance coverage verification into CI so missing ownership/coverage fails the pipeline - update framework/session wiring and docs to reflect the conformance strategy and audit process Signed-off-by: Dominic Mulligan <dominic.p.mulligan@gmail.com>
DominicPM
force-pushed
the
micro-rust-conformance
branch
from
f665477 to
53aa5e2
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Establish a full conformance testing strategy that validates Rust behaviour against evaluated Micro Rust definitions and blocks CI on coverage regressions.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.