2 Running Programs🔗ℹ

Run a program from the command line, on any platform:

The program is checked as it compiles, and runs if every claim holds. In DrRacket, checking happens when you click Run, and again for each interaction typed at the prompt. DrRacket’s background expansion does not run Z3, so a refinement error appears on Run, not as you type.