Instructions

The page provides the instructions how to run cyclone on different platforms.

 

---

Running Cyclone locally

Windows

Use command-line (cmd.exe) or powershell (recommended) to navigate to your Cyclone folder and use the following command:

java -jar cyclone.jar <file>

where <file> is a path to your cyclone specification file you wish to compile and run.

 

---

Linux

Use terminal (Ctrl+Alt+T) to navigate to your Cyclone folder and type the following command:

export LD_LIBRARY_PATH=.

then use the following command:

java -jar cyclone.jar <file>

where <file> is a path to your cyclone specification file you wish to compile and run.

 

---

MacOS

Use terminal (cmd+spacebar) to navigate to your Cyclone folder and type the following command:

export DYLD_LIBRARY_PATH=.

then use the following command:

java -jar cyclone.jar <file>

where <file> is a path to your cyclone specification file you wish to compile and run.

IMPORTANT: you need to allow MacOS to safely run libz3.dylib and libz3java.dylib. To do this, please click here

 

 

 

---

@2020-2023 Hao Wu. All rights reserved. Last update: July 07, 2023