To run tests, use dev/felt test. See dev/README.md for details.