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