2023年5月26日
kissat分析01_基本数据结构03_frame_trail
摘要： frame.h 1 #define INVALID_TRAIL UINT_MAX 2 3 struct frame 4 { 5 unsigned decision; 6 unsigned trail:LD_MAX_TRAIL; 7 unsigned used:2; 8 bool promote:1; 阅读全文
posted @ 2023-05-26 17:03 海阔凭鱼跃越 阅读(29) 评论(0) 推荐(0) 编辑
kissat分析02_主要功能函数03_restart-变元选择策略-对trail的访问
摘要： 需要查看以下文件 restart.h、restart.c、mode.h、mode.c、search.c backtrack.h backtrack.c limit.h limit.c trail.h trail.c frames.h frames.c decide.h decide.c 1.重启涉及 阅读全文
posted @ 2023-05-26 09:50 海阔凭鱼跃越 阅读(43) 评论(0) 推荐(0) 编辑