| ... | ... | @@ -94,6 +94,6 @@ root@lazart:/opt/lazart/tests/regression# ./run_all.sh |
|
|
|
|
|
|
|
# Build Lazart
|
|
|
|
|
|
|
|
If you want to install **Lazart** directly on your machine, please install all dependencies by yourself: **LLVM**, **Clang**, **Klee**, **Python**...
|
|
|
|
If you want to install **Lazart** directly on your machine, please install all dependencies by yourself: **LLVM**, **Clang**, **KLEE** and **Python**.
|
|
|
|
|
|
|
|
**This section is under development.** |
|
|
\ No newline at end of file |
|
|
|
You could have to edit the file `constants.py` (`src/python-api/src/lazart/constants.py`) to change the name of the programs (DSE, compiler, disassembler, etc.) and the library paths. |
|
|
\ No newline at end of file |
