Searched defs:DEFAULTS (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ | ||
H A D | File.h | 40 #define DEFAULTS fd(-1), mode(READ), buf(NULL), size(-1), pos(0), own_fd(true) macro 48 #undef DEFAULTS macro |
Completed in 27 milliseconds