Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix[test]: fix failure in grammar fuzzing (#3892)
fixes a fuzz failure, which is that the strategy can put utf-8 characters in strings (which we reject at compile-time). the fix here is to just create programs with ascii. this bug was apparently introduced in 176e7f7 due to the new alphabet parameter passed to the grammar strategy.
- Loading branch information