tree bd874659e800b72d9e2408cb0e52e097097203d0
parent fcf2fee6a49ed0de39935e8674ce55a849cc7734
author Leonardo de Moura <leomoura@amazon.com> 1737321085 -0800
committer Leonardo de Moura <leomoura@amazon.com> 1737321085 -0800

test: beta reduction tests for `grind`