- Need to have JDK 1.8 only.
- Change Intellij IDEA version to 2019 (or lower, 2019.3.4 is recommended);
- Download the latest release and install it manually using Preferences > Plugins > ⚙️ > Install plugin from disk...;
- Change Intellij IDEA runtime. You need install Runtime plugin and download JDK - Runtime version 1.8.0_252 -1649 relese amd64;
- Build cmd-jbse project or donwload compiled JBSE JAR file;
- Dowloads modified JBSE project from this repo or download and unzipping this archive;
- Download and compile Z3 pathresolver;
- Open tesable project and go to ⚙️ Settings -> Other -> AutoTest Settings and specify all the required paths (path to JBSE project, path to JBSE jar, path to Z3 solver and path to JRE (1.8 only);
- Click on the right mouse button on the desired class and click on "Create test"
- Wait until you see a message that the generation was successful. Notifications in progress are visible at the bottom left.
For the project under test, you must have a compiled test class. If you testing Example.java then you need to have Example.class. The compiled classes must also follow one of the following paths: "/out" for simple java projects, "target/classes" for maven projects and "build/classes" for Gradle project ( these are usually the default outputs). This is necessary for searching for descriptors and for javassist to work.