结合Sanp的调试

 1.第一阶段：遇到宏max/min引起的编译错误，修改方案为：将这两个宏改为函数模板，并依据编译错误提示位置将相应max/min改成能实现对应功能的条件语句。

 2.第二阶段：

 

 
   
 

 发生错误：

g++ -Wall -Wextra -O3 -DNDEBUG -I../build -o cadical cadical.o -L. -lcadical
/usr/lib/gcc/x86_64-pc-cygwin/11/../../../../x86_64-pc-cygwin/bin/ld: ./libcadical.a(restart.o):restart.cpp:(.text+0xb9e): undefined reference to `TNGraph::AddNode(int)'
collect2: error: ld returned 1 exit status
make[1]: *** [makefile:44: cadical] Error 1
make[1]: Leaving directory '/cygdrive/d/SAT_study2024/snap-SAT/cadical-rel-1.9.4-scavel-01/build'
make: *** [makefile:3: all] Error 2
   

第3阶段

 

 

 
 

 
   
 

 
   

 

posted on 2024-06-03 17:20  海阔凭鱼跃越  阅读(7)  评论(0)  编辑  收藏  举报