Installation Guide » History » Revision 12
MicroTESK is a set of Java-based utilities that are run from the command line. It can be used on Windows, Linux and OS X machines that have JDK 1.6 or later installed. To build MicroTESK from source code or to build generated Java models, Apache Ant version 1.8 or later is required. To generate test data based on constraints, MicroTESK needs Microsoft Research Z3 that can work under the corresponding operating system.
- Download and unpack the MicroTESK installation package (the .tar.gz file) to your computer.
- Open your console terminal and set the <installation folder>/bin as the working directory.
- Now you can run the compile.sh (or .bat) script to create a microprocessor model and the generate.sh (or .bat) to generate test for this model.