Run in IDE

Intellij IDEA

IntelliJ IDEA is the IDE with the best specs2 integration for now. You can:

• execute a specification by selecting its name and pressing CTRL+SHIFT+F10
• execute a single example by selecting its description and pressing CTRL+SHIFT+F10

However passing arguments needs to be done through system properties for now. So if you need to use the xonly argument you need to pass -Dspecs2.xonly.

VSCode

specs2 is integrated to the metals language server, which means that any compiling specification in VSCode should be adorned with a small test button to run it.