This directory is for running formal property checking.
Read the Makefile for more info.
Simply:
make jg
More advanced:
make jg USER_DEFINES=+define+MYDEFINE USER_INCDIRS=+incdir+MYINCDIR JG_EXTRAS=""
Files
fv
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||