关于sat_atpg的使用操作

Building：

Build with cmake:

mkdir _build && cd _build
cmake --build .

先执行：

mkdir _build && cd _build
cmake --build 

按照提示：Usage: cmake --build <dir>；执行下列命令：

 发现文件无法下载，于是在windows下把文件下载后，放到linux的_build 文件夹下，再执行下列操作；（绿色标记的文件即为windows下载后放到linux的_build文件夹下的文件

此时再次执行：cmake --build 即可运行成功;

 注意：如果直接执行cmake --build /home/hkm/Desktop/TGpro/sat_atpg/_build不能成功，则执行先执行一次：cmake ..

 运行成功的标志是：在_build文件夹下能找到文件atpgSat

Running：

./atpgSat bench文件目录
//例如
./atpgSat /home/hkm/Desktop/TGpro/benchmark/iscas85/c880.bench