Skip to content

Commit

Permalink
feat: add move-mutation-test tool
Browse files Browse the repository at this point in the history
The first version of the tool is contained here.
The code structure is based upon move-spec-test tool.

Some notes:
 - For unittest build, compilation must succeed, so `--verify-mutants`
   option for the mutator is always enabled here
 - The tool isn't that slow, but that shuold be improved with some
   concurrency feature in the future
 - For quick testing, we need to be able to generate mutants for
   specific functions. That would improve overall testing speed.
 - Readme and docs will be addede separately.
  • Loading branch information
Rqnsom committed Sep 11, 2024
1 parent 1277279 commit 7507b50
Show file tree
Hide file tree
Showing 12 changed files with 12,579 additions and 1,598 deletions.
3 changes: 3 additions & 0 deletions .github/workflows/check-and-lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,9 @@ jobs:
steps:
- uses: actions/checkout@v2

- name: Install required deps
run: sudo apt-get install libudev-dev libdw-dev

- name: Setup Rust toolchain
uses: actions-rs/toolchain@v1
with:
Expand Down
Loading

0 comments on commit 7507b50

Please sign in to comment.