Show how to run tests in readme as well#28

marko-subotic merged 1 commit intoRockingMat:mainRockingMat/egglog-smt:mainfrom

egraphs-good:examplesegraphs-good/egglog-experimental:examplesCopy head branch name to clipboard