Add TON language support: Tact, FunC, and Tolk by mysteryon88 · Pull Request #52 · agroce/universalmutator

mysteryon88 · 2026-05-04T17:00:22Z

Summary

I have known this tool for a long time and wanted to make a small but useful contribution to its development.

This PR adds mutation testing support for three TON languages: Tact, FunC, and Tolk. I tried to keep changes to the existing codebase as limited as possible and stay close to the current architecture, but along the way I also made a few targeted improvements in the core and surrounding infrastructure to make the integration more stable and practical.

What Changed

added support for .tact, .fc / .func, and .tolk files so the new languages can be detected by extension and flow through the existing mutation pipeline
added both regex rules and Comby rules for all three languages, plus shared TON rules, so both mutation modes are supported without drifting apart in their core rule families
added handlers and a compile-check flow so that only valid mutants are kept, automatically filtering out mutants that do not pass compiler validation
made small, focused updates to genmutants.py, mutator.py, and a few related parts: this includes proper TON rule set / matcher selection, less noise in some swap and regex cases, and more robust execution and temp-file handling
fixed mutant path handling so basename extraction now works correctly for both Windows-style (\) and Unix-style (/) paths, which makes downstream commands such as show_mutants and related flows behave consistently on both platforms
added and updated tests, examples, and packaging so the new rules and handlers are reproducible locally and are correctly included in the package
made a small CI/CD update so the new scenarios are better covered by automated checks

Why

I wanted to bring TON smart contract support to a tool I have known and appreciated for a long time
I intentionally avoided large refactors and tried to fit the new languages into the existing design
the accompanying core changes were only added where they directly helped the new languages and also improved the overall behavior of the tool

Next Steps

I plan to continue supporting and developing the TON side of this tool
at this point, I believe the main integration work has been completed
next, I want to revisit and refine the mutation rules
Tolk is currently evolving quite actively, so it is likely that new mutation rules for it will appear over time

Validation

implemented and verified both regex rules and Comby rules
checked the flow on both Windows and Linux
added a regression test for cross-platform mutant path handling to make sure Windows-style paths also work correctly in the analysis/show pipeline
ran test mutation flows for all three languages: Tact, FunC, and Tolk
based on the current runs, everything works well; if helpful, I can also attach additional statistics and run summaries

…le validity checks. [new] Added Makefile and updated README (sorry for Russian in it but I'll work on it later) [fix] Fixed genmutants.py and mutator.py for work with up-to-date libraries.

Fixes and improvements

…s, FunC rules and tests

- skip universal numeric literal mutations for dense sums in store_uint/store_int (func-only, regex mode) - add inline/inline_ref removal to static and comby rules - update FunC rule tests and mutation table; document core changes in FORK

- skip swaps for identical lines (including same content after strip)

- split shared TON mutations into ton_common and keep language-specific rules focused - narrow unsafe CR/comment-replacement rules for FunC, Tolk, and Tact - reduce invalid mutants by guarding FunC special operators and Tolk call-site swaps - sync static and Comby rule layers with current TON ruleset behavior

mysteryon88 · 2026-05-04T17:08:35Z

@agroce

Hi! I’d appreciate your review and feedback.

agroce · 2026-05-04T17:18:39Z

@mysteryon88 will take a look! it'll take a bit, since I'm finishing up grading for semester and other things, but I'll put this a bit ahead of student submits. one thing to note that you might want to look at yourself, and I'll try to handle this week so you can take advantage, is that I'm finally dumping the terrible hand parsing of command line arguments and using a sane argparse approach, assuming a student PR for this works (I have a few candidates).

agroce · 2026-05-04T17:38:32Z

And thanks very much! At a look, lots of little cleanups, including I think I saw in analyze.py some fixes I'd applied elsewhere and never done there! The problem with having a professor as the "code guy" is that my actual employer has zero interest in my doing this stuff well!

mysteryon88 · 2026-05-04T17:53:12Z

@agroce
Thanks! I’ll keep an eye on the changes and update my pull request once your updates are in. Glad the small cleanups look useful — I tried to keep them focused and low-risk, especially in places like analyze.py.

agroce · 2026-05-19T21:47:49Z

I integrated a number of the smaller pending PRs, I think the conflicts for you are just argparse transition, but that's in place now and so you should be good to fix it up and this will be ready to bring in (I'll probably do a release here/on pip once I merge you and maybe the other small ones)!

mysteryon88 · 2026-05-20T14:34:44Z

I’ve updated the branch with the latest changes

agroce · 2026-05-20T19:12:08Z

Merged, and now in pip (v1.14.1 due to me making a dumb mistake in version numbering)

xzescha and others added 30 commits December 25, 2025 21:22

[new] Added TON languages support with default mutant rules and compi…

f383d5e

…le validity checks. [new] Added Makefile and updated README (sorry for Russian in it but I'll work on it later) [fix] Fixed genmutants.py and mutator.py for work with up-to-date libraries.

[misc] Removed tmp files

cb9099a

Merge branch 'master' into Fixes_and_improvements

7b54c91

Merge pull request #1 from xzescha/Fixes_and_improvements

c075008

Fixes and improvements

fix merge

c199662

fix merge

b3941c1

fix

5819eb4

run tests

057f5a7

update CI

1a6b497

fix ci

c4b9380

fix ci tests

4e95b38

fix ci

8f638e4

fix ci

e6f484e

fix foo.tolk

2b5c707

test tolk rules, new func compiler, solidty testing

8afed3a

fix test pylint

b7c5ee1

fix test pylint

9e7bda6

fix test

99f4f1d

update

09f157a

tolk rules test

f1ad582

del temp file

6cbb0f2

update tests

a149ca6

update readme

880f43e

Skip block comments and blank lines in regex mutator for all language…

f0ddaa4

…s, FunC rules and tests

Make swap mutations less noisy

a8d0ddb

- skip swaps for identical lines (including same content after strip)

refactoring

66b2321

Add Tact tests, expand Tolk/FunC coverage, fix store_* mutation regex

45e7ea5

update readme

56d6a72

Improve static Tact mutation rules

8bf442d

mysteryon88 and others added 17 commits April 22, 2026 20:18

fix tolk

0ab1afc

update

6a49ddb

update

56c7cd4

Align TON comby rules with static baseline and tighten invalid mutations

db9feee

update comby gen

9a36299

update comby rules, new test

1975d87

Sync comby mutations for Tolk and FunC to match static rules coverage

93c7a70

fix ci cd

1831015

test docs

1e4aabb

Sync TON mutation docs and remove legacy data

2b39d14

tolk analyze report

12d3e73

analyze tests

b3c8f02

delete test files

10d64e3

fix path

c95eab0

fix tests

0d474ab

TON: Quick Start

89d33e7

update examples, update rules

e88149f

mysteryon88 force-pushed the master branch from 80235c6 to e88149f Compare May 12, 2026 07:12

mysteryon88 added 2 commits May 12, 2026 10:12

Update quickstart for the new TON tool Acton

05c3a66

update ton rules and tests

bf16280

Merge remote-tracking branch 'upstream/master'

8e03582

agroce merged commit e4349af into agroce:master May 20, 2026
7 checks passed

Navigation Menu

Add TON language support: Tact, FunC, and Tolk - #52

Add TON language support: Tact, FunC, and Tolk#52
agroce merged 56 commits into
agroce:masterfrom
mysteryon88-forks:master

mysteryon88 commented May 4, 2026

Uh oh!

mysteryon88 commented May 4, 2026

Uh oh!

agroce commented May 4, 2026

Uh oh!

agroce commented May 4, 2026

Uh oh!

mysteryon88 commented May 4, 2026

Uh oh!

agroce commented May 19, 2026

Uh oh!

mysteryon88 commented May 20, 2026

Uh oh!

Uh oh!

agroce commented May 20, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

Conversation

mysteryon88 commented May 4, 2026

Summary

What Changed

Why

Next Steps

Validation

Uh oh!

mysteryon88 commented May 4, 2026

Uh oh!

agroce commented May 4, 2026

Uh oh!

agroce commented May 4, 2026

Uh oh!

mysteryon88 commented May 4, 2026

Uh oh!

agroce commented May 19, 2026

Uh oh!

mysteryon88 commented May 20, 2026

Uh oh!

Uh oh!

agroce commented May 20, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants