Property-testing core for Luau: a symbolic-program differential fuzzer, a delta-debugging shrinker, a mutator and an oracle-necessity grader.
This package doesn't have any dependencies.