frame_trail

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; ......
共1篇  :1/1页 首页上一页1下一页尾页