Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
sat-arithmetic: don't test builtins in behavior tests
- not necessary as we are testing the operators
- Loading branch information