Go to file

Taeyang123456 54dbed6b82 change ignore		2020-10-23 13:42:12 +08:00
include	first commit	2020-10-23 12:11:06 +08:00
lib	change ignore	2020-10-23 13:42:12 +08:00
.gitignore	change ignore	2020-10-23 13:42:12 +08:00
CMakeLists.txt	add lib	2020-10-23 13:36:13 +08:00
LICENSE	Initial commit	2020-10-23 11:00:15 +08:00
README.md	modify README	2020-10-23 13:40:58 +08:00
main.cpp	first commit	2020-10-23 12:11:06 +08:00

README.md

C代码有界模型验证工具BRICK

运行方法

cd to the BRICK directory
unzip lib.zip
rm lib.zip
mkdir build
cd build
cmake ..
make

then run BRICK with ./bin/brick