Milestone 1: Language compatibility update & automation by ctoyan · Pull Request #102 · equilibriumco/move-mutation-tools

ctoyan · 2025-09-17T15:27:29Z

Description:

Refactor and update mainly move-mutator, but it may also require interacting with move-mutation-test and move-spec-test tools to ensure compatibility with the current Move language version. This work will primarily involve updating dependency versions and, if needed, making changes to parser or AST transformations to align with recent Aptos-core crate updates.
This milestone will begin with a short analysis of language changes between the current and implemented versions. Tests are needed to check if there is no need to introduce changes to the existing codebase.
The second part involves replacing the existing manual release process with an automated, repeatable, and maintainable GitHub Actions workflow. This automation will ensure that binaries are consistently built, tested, and uploaded as GitHub Releases in a form directly consumable by developers via the aptos CLI extension mechanism (e.g., aptos update move-mutation-test).

Define and implement GitHub Actions workflows for:

Building release binaries across supported platforms.
Running automated tests on built artifacts.
Packaging and uploading artifacts to GitHub Releases.

Document the release process to ensure maintainers can maintain long-term sustainability.

Deliverables:

Fully updated mutation testing tools compatible with the latest Move language features.
Validated example runs on real Aptos Move packages demonstrating functional support for function values and other new features.
Production-ready GitHub Actions workflows are integrated into the repository.
Maintainer-facing documentation for managing releases and troubleshooting automation.

Additional deliverable:

We decided to add a progress bar to the tools. It looks like this:

* sets all aptos-core Rust dependencies to `aptos-release-v1.35` branch * fixes compilation errors related to those version updates * creates new fixtures for the integration tests (re-generated report.txt files - same content of the report.txt, but different mutant order) * removes x25519-dalek patch as it's not used in the crate graph * replaces deprecated tempdir into_path() with keep()

.github/workflows/check-and-lint.yml

* remove lld compiler flag and bump rust to 1.90 * remove `force-frame-pointers` and `force-unwind-tables`

.github/workflows/release.yml

* fix clippy errors and test CI * prepend RUSTFLAGS="--cfg tokio_unstable" for all cargo tasks

.cargo/config.toml

.github/workflows/check-and-lint.yml

.github/workflows/release.yml

.github/workflows/run-tests.yml

move-mutation-test/tests/integration_tests.rs

Rqnsom

Looks great!

.github/workflows/release.yml

README.md

move-mutator/tests/move-assets/simple_move_2_features/sources/FunctionValues.move

ctoyan and others added 3 commits September 16, 2025 17:41

feat: add a progressbar to mutant testing (#100)

2641c6a

chore: add test for Move v2.2 new function values (#101)

398bc5b

ctoyan self-assigned this Sep 17, 2025

ctoyan marked this pull request as draft September 17, 2025 15:27

github-advanced-security bot found potential problems Sep 17, 2025

View reviewed changes

.github/workflows/check-and-lint.yml Fixed Show fixed Hide fixed

ctoyan added 2 commits September 30, 2025 15:57

chore: pin aptos-stdlib version in move-assets to v1.35 (#108)

50f0532

feat: automated CI releases (#104)

ee359c6

* remove lld compiler flag and bump rust to 1.90 * remove `force-frame-pointers` and `force-unwind-tables`

github-advanced-security bot found potential problems Sep 30, 2025

View reviewed changes

.github/workflows/release.yml Fixed Show fixed Hide fixed

chore: update release docs (#105)

74d072a

ctoyan requested a review from Rqnsom October 1, 2025 12:06

ctoyan marked this pull request as ready for review October 1, 2025 12:06

fix: clippy errors and failing CI (#109)

b72c666

* fix clippy errors and test CI * prepend RUSTFLAGS="--cfg tokio_unstable" for all cargo tasks