f(s)=s′f(s) = s' f(s)=s′
马院：怎么大家考那么烂？期末开卷均分 40 几分？ 助教：我一直觉得这个课问题很大……讲得东西太多了，每个部分都没讲清楚……一学期有 30 次左右作业，助教也来不及出题，学生也来不及做，就抄答案……但没讲清楚计算机人为什么要学离散数学……” jyy: 讲那么快怎么可能学得懂？
马院：怎么大家考那么烂？期末开卷均分 40 几分？
助教：我一直觉得这个课问题很大……讲得东西太多了，每个部分都没讲清楚……一学期有 30 次左右作业，助教也来不及出题，学生也来不及做，就抄答案……但没讲清楚计算机人为什么要学离散数学……”
jyy: 讲那么快怎么可能学得懂？
int popcount(int x) { int count = 0; while (x) { x -= (x & -x); count++; } return count; }
int popcount(int x) { int count = 0; while (x) { x -= (x & -x); count++; } return count; } void popcount_spec() { for (uint64_t x = 0; x <= 0xffffffff; x++) { assert( ((x >> 0) & 1) + ((x >> 1) & 1) + ... ((x >> 31) & 1) == popcount(x) ); } }
For all executions of fff, the specification is satisfied.