ASSERT 70 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 72 src/attack.cpp ASSERT(DeltaIncAll[DeltaOffset+delta]==IncNone); ASSERT 82 src/attack.cpp ASSERT(inc!=IncNone); ASSERT 89 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 91 src/attack.cpp ASSERT(DeltaIncLine[DeltaOffset+delta]==IncNone); ASSERT 93 src/attack.cpp ASSERT(DeltaIncAll[DeltaOffset+delta]==IncNone); ASSERT 104 src/attack.cpp ASSERT(inc!=IncNone); ASSERT 111 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 113 src/attack.cpp ASSERT(DeltaIncLine[DeltaOffset+delta]==IncNone); ASSERT 115 src/attack.cpp ASSERT(DeltaIncAll[DeltaOffset+delta]==IncNone); ASSERT 126 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 212 src/attack.cpp ASSERT(size>=0&&size<3); ASSERT 225 src/attack.cpp ASSERT(piece>=0&&piece<4); ASSERT 226 src/attack.cpp ASSERT(delta_is_ok(king)); ASSERT 227 src/attack.cpp ASSERT(delta_is_ok(target)); ASSERT 230 src/attack.cpp ASSERT(size>=0&&size<3); ASSERT 255 src/attack.cpp ASSERT(board!=NULL); ASSERT 256 src/attack.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 257 src/attack.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 277 src/attack.cpp ASSERT(inc!=IncNone); ASSERT 297 src/attack.cpp ASSERT(board!=NULL); ASSERT 298 src/attack.cpp ASSERT(SQUARE_IS_OK(from)); ASSERT 299 src/attack.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 302 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 305 src/attack.cpp ASSERT(inc!=IncNone); ASSERT 324 src/attack.cpp ASSERT(board!=NULL); ASSERT 325 src/attack.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 326 src/attack.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 383 src/attack.cpp ASSERT(attack!=NULL); ASSERT 384 src/attack.cpp ASSERT(board!=NULL); ASSERT 421 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 432 src/attack.cpp ASSERT(inc!=IncNone); ASSERT 451 src/attack.cpp ASSERT(attack_is_ok(attack)); ASSERT 465 src/attack.cpp ASSERT(board!=NULL); ASSERT 466 src/attack.cpp ASSERT(piece_is_ok(piece)); ASSERT 467 src/attack.cpp ASSERT(SQUARE_IS_OK(from)); ASSERT 468 src/attack.cpp ASSERT(SQUARE_IS_OK(king)); ASSERT 473 src/attack.cpp ASSERT(code>=0&&code<4); ASSERT 479 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 482 src/attack.cpp ASSERT(inc!=IncNone); ASSERT 490 src/attack.cpp ASSERT(DISTANCE(to,king)==1); ASSERT 500 src/attack.cpp ASSERT(delta_is_ok(delta)); ASSERT 505 src/attack.cpp ASSERT(DISTANCE(to,king)==1); ASSERT 177 src/board.cpp ASSERT(board!=NULL); ASSERT 204 src/board.cpp ASSERT(dst!=NULL); ASSERT 205 src/board.cpp ASSERT(board_is_ok(src)); ASSERT 221 src/board.cpp ASSERT(board!=NULL); ASSERT 249 src/board.cpp ASSERT(pos>=0&&pos<16); ASSERT 262 src/board.cpp ASSERT(pos>=1&&pos<=16); ASSERT 277 src/board.cpp ASSERT(pos>0&&pos<size); ASSERT 279 src/board.cpp ASSERT(board->pos[sq]==pos-1); ASSERT 283 src/board.cpp ASSERT(pos>=0&&pos<size); ASSERT 285 src/board.cpp ASSERT(board->pos[square]==i); ASSERT 296 src/board.cpp ASSERT(board->pos[sq]==i); ASSERT 299 src/board.cpp ASSERT(PIECE_IS_KING(board->square[sq])); ASSERT 301 src/board.cpp ASSERT(!PIECE_IS_KING(board->square[sq])); ASSERT 302 src/board.cpp ASSERT(PIECE_ORDER(board->square[board->piece[colour][i]])<=PIECE_ORDER(board->square[board->piece[colour][i-1]])); ASSERT 323 src/board.cpp ASSERT(pos>=0&&pos<8); ASSERT 335 src/board.cpp ASSERT(pos>=0&&pos<=8); ASSERT 366 src/board.cpp ASSERT(board_is_ok(board)); ASSERT 373 src/board.cpp ASSERT(board!=NULL); ASSERT 382 src/board.cpp ASSERT(board!=NULL); ASSERT 393 src/board.cpp ASSERT(board!=NULL); ASSERT 410 src/board.cpp ASSERT(board!=NULL); ASSERT 434 src/board.cpp ASSERT(board!=NULL); ASSERT 442 src/board.cpp ASSERT(board->ply_nb==100); ASSERT 448 src/board.cpp ASSERT(board->sp>=board->ply_nb); ASSERT 466 src/board.cpp ASSERT(board!=NULL); ASSERT 495 src/board.cpp ASSERT(board!=NULL); ASSERT 53 src/book.cpp ASSERT(file_name!=NULL); ASSERT 90 src/book.cpp ASSERT(board!=NULL); ASSERT 109 src/book.cpp ASSERT(score>0); ASSERT 143 src/book.cpp ASSERT(left<=right); ASSERT 148 src/book.cpp ASSERT(mid>=left&&mid<right); ASSERT 159 src/book.cpp ASSERT(left==right); ASSERT 170 src/book.cpp ASSERT(entry!=NULL); ASSERT 171 src/book.cpp ASSERT(n>=0&&n<BookSize); ASSERT 173 src/book.cpp ASSERT(BookFile!=NULL); ASSERT 194 src/book.cpp ASSERT(file!=NULL); ASSERT 195 src/book.cpp ASSERT(size>0&&size<=8); ASSERT 211 src/book.cpp ASSERT(b>=0&&b<256); ASSERT 220 src/eval.cpp ASSERT(board!=NULL); ASSERT 222 src/eval.cpp ASSERT(board_is_legal(board)); ASSERT 223 src/eval.cpp ASSERT(!board_is_check(board)); // exceptions are extremely rare ASSERT 278 src/eval.cpp ASSERT(PIECE_IS_BISHOP(board->square[wb])); ASSERT 281 src/eval.cpp ASSERT(PIECE_IS_BISHOP(board->square[bb])); ASSERT 302 src/eval.cpp ASSERT(eval>=-ValueEvalInf&&eval<=+ValueEvalInf); ASSERT 308 src/eval.cpp ASSERT(!value_is_mate(eval)); ASSERT 324 src/eval.cpp ASSERT(board!=NULL); ASSERT 325 src/eval.cpp ASSERT(mat_info!=NULL); ASSERT 326 src/eval.cpp ASSERT(pawn_info!=NULL); ASSERT 327 src/eval.cpp ASSERT(mul!=NULL); ASSERT 569 src/eval.cpp ASSERT(board!=NULL); ASSERT 570 src/eval.cpp ASSERT(mat_info!=NULL); ASSERT 571 src/eval.cpp ASSERT(pawn_info!=NULL); ASSERT 572 src/eval.cpp ASSERT(opening!=NULL); ASSERT 573 src/eval.cpp ASSERT(endgame!=NULL); ASSERT 782 src/eval.cpp ASSERT(board!=NULL); ASSERT 783 src/eval.cpp ASSERT(mat_info!=NULL); ASSERT 784 src/eval.cpp ASSERT(opening!=NULL); ASSERT 785 src/eval.cpp ASSERT(endgame!=NULL); ASSERT 824 src/eval.cpp ASSERT(piece_nb>=0&&piece_nb<16); ASSERT 854 src/eval.cpp ASSERT(penalty_2>=0&&penalty_2<=penalty_1); ASSERT 859 src/eval.cpp ASSERT(penalty>=0); ASSERT 888 src/eval.cpp ASSERT(penalty_2>=0&&penalty_2<=penalty_1); ASSERT 893 src/eval.cpp ASSERT(penalty>=0); ASSERT 917 src/eval.cpp ASSERT(board!=NULL); ASSERT 918 src/eval.cpp ASSERT(pawn_info!=NULL); ASSERT 919 src/eval.cpp ASSERT(opening!=NULL); ASSERT 920 src/eval.cpp ASSERT(endgame!=NULL); ASSERT 939 src/eval.cpp ASSERT(file>=FileA&&file<=FileH); ASSERT 942 src/eval.cpp ASSERT(rank>=Rank2&&rank<=Rank7); ASSERT 947 src/eval.cpp ASSERT(PIECE_IS_PAWN(board->square[sq])); ASSERT 948 src/eval.cpp ASSERT(COLOUR_IS(board->square[sq],att)); ASSERT 960 src/eval.cpp ASSERT(delta>0); ASSERT 993 src/eval.cpp ASSERT(board!=NULL); ASSERT 994 src/eval.cpp ASSERT(opening!=NULL); ASSERT 995 src/eval.cpp ASSERT(endgame!=NULL); ASSERT 1098 src/eval.cpp ASSERT(board!=NULL); ASSERT 1099 src/eval.cpp ASSERT(SQUARE_IS_OK(pawn)); ASSERT 1100 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1123 src/eval.cpp ASSERT(rank==PAWN_RANK(pawn,me)); ASSERT 1126 src/eval.cpp ASSERT(rank>=Rank3&&rank<=Rank7); ASSERT 1131 src/eval.cpp ASSERT(dist==Rank8-rank); ASSERT 1148 src/eval.cpp ASSERT(board!=NULL); ASSERT 1149 src/eval.cpp ASSERT(SQUARE_IS_OK(pawn)); ASSERT 1150 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1177 src/eval.cpp ASSERT(board!=NULL); ASSERT 1178 src/eval.cpp ASSERT(SQUARE_IS_OK(pawn)); ASSERT 1179 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1186 src/eval.cpp ASSERT(SQUARE_IS_OK(sq)); ASSERT 1204 src/eval.cpp ASSERT(SQUARE_IS_OK(pawn)); ASSERT 1205 src/eval.cpp ASSERT(SQUARE_IS_OK(king)); ASSERT 1206 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1224 src/eval.cpp ASSERT(SQUARE_IS_OK(pawn)); ASSERT 1225 src/eval.cpp ASSERT(SQUARE_IS_OK(king)); ASSERT 1226 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1247 src/eval.cpp ASSERT(list!=NULL); ASSERT 1248 src/eval.cpp ASSERT(board!=NULL); ASSERT 1249 src/eval.cpp ASSERT(COLOUR_IS_OK(pawn_colour)); ASSERT 1258 src/eval.cpp ASSERT(board->pawn_size[att]==1); ASSERT 1259 src/eval.cpp ASSERT(board->pawn_size[def]==0); ASSERT 1283 src/eval.cpp ASSERT(pos==board->piece_nb); ASSERT 1315 src/eval.cpp ASSERT(list!=NULL); ASSERT 1316 src/eval.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 1321 src/eval.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 1324 src/eval.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 1325 src/eval.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 1328 src/eval.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 1331 src/eval.cpp ASSERT(SQUARE_IS_OK(bq)); ASSERT 1333 src/eval.cpp ASSERT(*list==SquareNone); ASSERT 1352 src/eval.cpp ASSERT(bq!=prom); ASSERT 1393 src/eval.cpp ASSERT(bq!=prom); ASSERT 1412 src/eval.cpp ASSERT(list!=NULL); ASSERT 1413 src/eval.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 1418 src/eval.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 1421 src/eval.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 1422 src/eval.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 1425 src/eval.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 1428 src/eval.cpp ASSERT(SQUARE_IS_OK(br)); ASSERT 1430 src/eval.cpp ASSERT(*list==SquareNone); ASSERT 1452 src/eval.cpp ASSERT(abs(wk_file-wp_file)<=1); ASSERT 1453 src/eval.cpp ASSERT(abs(wk_rank-wp_rank)<=1); ASSERT 1459 src/eval.cpp ASSERT(abs(wk_file-wp_file)==2); ASSERT 1460 src/eval.cpp ASSERT(abs(wk_rank-wp_rank)<=1); ASSERT 1504 src/eval.cpp ASSERT(list!=NULL); ASSERT 1505 src/eval.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 1510 src/eval.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 1513 src/eval.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 1514 src/eval.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 1517 src/eval.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 1520 src/eval.cpp ASSERT(SQUARE_IS_OK(bb)); ASSERT 1522 src/eval.cpp ASSERT(*list==SquareNone); ASSERT 1531 src/eval.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 1536 src/eval.cpp ASSERT(delta_is_ok(delta)); ASSERT 1541 src/eval.cpp ASSERT(inc_2!=IncNone); ASSERT 1546 src/eval.cpp ASSERT(SQUARE_IS_OK(sq)); ASSERT 1547 src/eval.cpp ASSERT(sq!=wk); ASSERT 1548 src/eval.cpp ASSERT(sq!=wp); ASSERT 1549 src/eval.cpp ASSERT(sq!=bb); ASSERT 1568 src/eval.cpp ASSERT(list!=NULL); ASSERT 1569 src/eval.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 1574 src/eval.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 1577 src/eval.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 1578 src/eval.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 1581 src/eval.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 1584 src/eval.cpp ASSERT(SQUARE_IS_OK(bn)); ASSERT 1586 src/eval.cpp ASSERT(*list==SquareNone); ASSERT 1598 src/eval.cpp ASSERT(SQUARE_IS_OK(sq)); ASSERT 1612 src/eval.cpp ASSERT(list!=NULL); ASSERT 1613 src/eval.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 1618 src/eval.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 1621 src/eval.cpp ASSERT(SQUARE_IS_OK(wn)); ASSERT 1624 src/eval.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 1625 src/eval.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 1628 src/eval.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 1630 src/eval.cpp ASSERT(*list==SquareNone); ASSERT 1649 src/eval.cpp ASSERT(list!=NULL); ASSERT 1650 src/eval.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 1655 src/eval.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 1658 src/eval.cpp ASSERT(SQUARE_IS_OK(wr)); ASSERT 1661 src/eval.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 1662 src/eval.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 1665 src/eval.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 1668 src/eval.cpp ASSERT(SQUARE_IS_OK(br)); ASSERT 1670 src/eval.cpp ASSERT(*list==SquareNone); ASSERT 1719 src/eval.cpp ASSERT(list!=NULL); ASSERT 1720 src/eval.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 1725 src/eval.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 1728 src/eval.cpp ASSERT(SQUARE_IS_OK(wb)); ASSERT 1731 src/eval.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 1732 src/eval.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 1735 src/eval.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 1738 src/eval.cpp ASSERT(SQUARE_IS_OK(bb)); ASSERT 1740 src/eval.cpp ASSERT(*list==SquareNone); ASSERT 1753 src/eval.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 1758 src/eval.cpp ASSERT(delta_is_ok(delta)); ASSERT 1763 src/eval.cpp ASSERT(inc_2!=IncNone); ASSERT 1768 src/eval.cpp ASSERT(SQUARE_IS_OK(sq)); ASSERT 1769 src/eval.cpp ASSERT(sq!=wk); ASSERT 1770 src/eval.cpp ASSERT(sq!=wb); ASSERT 1771 src/eval.cpp ASSERT(sq!=wp); ASSERT 1772 src/eval.cpp ASSERT(sq!=bb); ASSERT 1788 src/eval.cpp ASSERT(board!=NULL); ASSERT 1789 src/eval.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 1790 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1819 src/eval.cpp ASSERT(board!=NULL); ASSERT 1820 src/eval.cpp ASSERT(file>=FileA&&file<=FileH); ASSERT 1821 src/eval.cpp ASSERT(rank>=Rank1&&rank<=Rank8); ASSERT 1822 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1825 src/eval.cpp ASSERT(dist>=Rank2&&dist<=Rank8); ASSERT 1828 src/eval.cpp ASSERT(dist>=0&&dist<=6); ASSERT 1831 src/eval.cpp ASSERT(penalty>=0&&penalty<=36); ASSERT 1843 src/eval.cpp ASSERT(board!=NULL); ASSERT 1844 src/eval.cpp ASSERT(file>=FileA&&file<=FileH); ASSERT 1845 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 1848 src/eval.cpp ASSERT(dist>=Rank1&&dist<=Rank7); ASSERT 1875 src/eval.cpp ASSERT(board!=NULL); ASSERT 1876 src/eval.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 1877 src/eval.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 38 src/fen.cpp ASSERT(board!=NULL); ASSERT 39 src/fen.cpp ASSERT(fen!=NULL); ASSERT 199 src/fen.cpp ASSERT(board!=NULL); ASSERT 200 src/fen.cpp ASSERT(fen!=NULL); ASSERT 201 src/fen.cpp ASSERT(size>=92); ASSERT 217 src/fen.cpp ASSERT(piece==Empty||piece_is_ok(piece)); ASSERT 226 src/fen.cpp ASSERT(len>=1&&len<=8); ASSERT 41 src/hash.cpp ASSERT(board!=NULL); ASSERT 87 src/hash.cpp ASSERT(board!=NULL); ASSERT 112 src/hash.cpp ASSERT(board!=NULL); ASSERT 132 src/hash.cpp ASSERT(piece_is_ok(piece)); ASSERT 133 src/hash.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 145 src/hash.cpp ASSERT((flags&~0xF)==0); ASSERT 160 src/hash.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 169 src/hash.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 181 src/hash.cpp ASSERT(piece_12>=0&&piece_12<12); ASSERT 182 src/hash.cpp ASSERT(count>=0&&count<=10); ASSERT 35 src/list.cpp ASSERT(list_is_ok(list)); ASSERT 36 src/list.cpp ASSERT(pos>=0&&pos<list->size); ASSERT 52 src/list.cpp ASSERT(dst!=NULL); ASSERT 53 src/list.cpp ASSERT(list_is_ok(src)); ASSERT 71 src/list.cpp ASSERT(list_is_ok(list)); ASSERT 90 src/list.cpp ASSERT(j<size); ASSERT 100 src/list.cpp ASSERT(list->value[i]>=list->value[i+1]); ASSERT 111 src/list.cpp ASSERT(list_is_ok(list)); ASSERT 112 src/list.cpp ASSERT(move_is_ok(move)); ASSERT 127 src/list.cpp ASSERT(list_is_ok(list)); ASSERT 131 src/list.cpp ASSERT(move_is_ok(move)); ASSERT 143 src/list.cpp ASSERT(list!=NULL); ASSERT 144 src/list.cpp ASSERT(board!=NULL); ASSERT 145 src/list.cpp ASSERT(test!=NULL); ASSERT 146 src/list.cpp ASSERT(keep==true||keep==false); ASSERT 152 src/list.cpp ASSERT(pos>=0&&pos<=i); ASSERT 164 src/list.cpp ASSERT(pos>=0&&pos<=LIST_SIZE(list)); ASSERT 169 src/list.cpp ASSERT(list_is_ok(list)); ASSERT 93 src/material.cpp ASSERT(sizeof(entry_t)==16); ASSERT 127 src/material.cpp ASSERT(info!=NULL); ASSERT 128 src/material.cpp ASSERT(board!=NULL); ASSERT 188 src/material.cpp ASSERT(info!=NULL); ASSERT 189 src/material.cpp ASSERT(board!=NULL); ASSERT 317 src/material.cpp ASSERT(w_maj==0); ASSERT 318 src/material.cpp ASSERT(w_min==1); ASSERT 326 src/material.cpp ASSERT(w_maj==0); ASSERT 327 src/material.cpp ASSERT(w_min==2); ASSERT 339 src/material.cpp ASSERT(w_maj==0); ASSERT 340 src/material.cpp ASSERT(w_min==2); ASSERT 341 src/material.cpp ASSERT(b_maj==0); ASSERT 342 src/material.cpp ASSERT(b_min==1); ASSERT 378 src/material.cpp ASSERT(w_maj==0); ASSERT 379 src/material.cpp ASSERT(w_min==1); ASSERT 387 src/material.cpp ASSERT(w_maj==0); ASSERT 388 src/material.cpp ASSERT(w_min==2); ASSERT 412 src/material.cpp ASSERT(w_maj==0); ASSERT 413 src/material.cpp ASSERT(w_min==1); ASSERT 421 src/material.cpp ASSERT(w_maj==0); ASSERT 422 src/material.cpp ASSERT(w_min==2); ASSERT 453 src/material.cpp ASSERT(b_maj==0); ASSERT 454 src/material.cpp ASSERT(b_min==1); ASSERT 462 src/material.cpp ASSERT(b_maj==0); ASSERT 463 src/material.cpp ASSERT(b_min==2); ASSERT 475 src/material.cpp ASSERT(b_maj==0); ASSERT 476 src/material.cpp ASSERT(b_min==2); ASSERT 477 src/material.cpp ASSERT(w_maj==0); ASSERT 478 src/material.cpp ASSERT(w_min==1); ASSERT 514 src/material.cpp ASSERT(b_maj==0); ASSERT 515 src/material.cpp ASSERT(b_min==1); ASSERT 523 src/material.cpp ASSERT(b_maj==0); ASSERT 524 src/material.cpp ASSERT(b_min==2); ASSERT 548 src/material.cpp ASSERT(b_maj==0); ASSERT 549 src/material.cpp ASSERT(b_min==1); ASSERT 557 src/material.cpp ASSERT(b_maj==0); ASSERT 558 src/material.cpp ASSERT(b_min==2); ASSERT 617 src/material.cpp ASSERT(phase>=0&&phase<=TotalPhase); ASSERT 620 src/material.cpp ASSERT(phase>=0&&phase<=256); ASSERT 43 src/move.cpp ASSERT(move_is_ok(move)); ASSERT 45 src/move.cpp ASSERT(MOVE_IS_PROMOTE(move)); ASSERT 53 src/move.cpp ASSERT(SQUARE_RANK(MOVE_TO(move))==Rank1); ASSERT 57 src/move.cpp ASSERT(piece_is_ok(piece)); ASSERT 66 src/move.cpp ASSERT(move_is_ok(move)); ASSERT 75 src/move.cpp ASSERT(move_is_ok(move)); ASSERT 76 src/move.cpp ASSERT(board!=NULL); ASSERT 85 src/move.cpp ASSERT(move_is_ok(move)); ASSERT 94 src/move.cpp ASSERT(move_is_ok(move)); ASSERT 95 src/move.cpp ASSERT(board!=NULL); ASSERT 104 src/move.cpp ASSERT(move_is_ok(move)); ASSERT 105 src/move.cpp ASSERT(board!=NULL); ASSERT 118 src/move.cpp ASSERT(move==MoveNull||move_is_ok(move)); ASSERT 119 src/move.cpp ASSERT(string!=NULL); ASSERT 120 src/move.cpp ASSERT(size>=6); ASSERT 135 src/move.cpp ASSERT(strlen(string)==4); ASSERT 156 src/move.cpp ASSERT(string!=NULL); ASSERT 157 src/move.cpp ASSERT(board!=NULL); ASSERT 34 src/move_check.cpp ASSERT(list!=NULL); ASSERT 35 src/move_check.cpp ASSERT(board!=NULL); ASSERT 37 src/move_check.cpp ASSERT(!board_is_check(board)); ASSERT 46 src/move_check.cpp ASSERT(list_is_ok(list)); ASSERT 64 src/move_check.cpp ASSERT(list!=NULL); ASSERT 65 src/move_check.cpp ASSERT(board!=NULL); ASSERT 82 src/move_check.cpp ASSERT(is_pinned(board,from,opp)); ASSERT 93 src/move_check.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 98 src/move_check.cpp ASSERT(DELTA_INC_LINE(to-king)!=DELTA_INC_LINE(from-king)); ASSERT 99 src/move_check.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 111 src/move_check.cpp ASSERT(DELTA_INC_LINE(to-king)!=DELTA_INC_LINE(from-king)); ASSERT 137 src/move_check.cpp ASSERT(!is_pinned(board,from,opp)); ASSERT 173 src/move_check.cpp ASSERT(PSEUDO_ATTACK(pawn,king-to)); ASSERT 178 src/move_check.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 187 src/move_check.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 194 src/move_check.cpp ASSERT(PSEUDO_ATTACK(pawn,king-to)); ASSERT 199 src/move_check.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 208 src/move_check.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 219 src/move_check.cpp ASSERT(list!=NULL); ASSERT 220 src/move_check.cpp ASSERT(board!=NULL); ASSERT 222 src/move_check.cpp ASSERT(!board_is_check(board)); ASSERT 266 src/move_check.cpp ASSERT(list!=NULL); ASSERT 267 src/move_check.cpp ASSERT(move_is_ok(move)); ASSERT 268 src/move_check.cpp ASSERT(board!=NULL); ASSERT 284 src/move_check.cpp ASSERT(move_is_ok(move)); ASSERT 285 src/move_check.cpp ASSERT(board!=NULL); ASSERT 307 src/move_check.cpp ASSERT(COLOUR_IS(piece,me)); ASSERT 338 src/move_check.cpp ASSERT(list!=NULL); ASSERT 339 src/move_check.cpp ASSERT(board!=NULL); ASSERT 353 src/move_check.cpp ASSERT(delta_is_ok(delta)); ASSERT 357 src/move_check.cpp ASSERT(PIECE_IS_SLIDER(piece)); ASSERT 360 src/move_check.cpp ASSERT(inc!=IncNone); ASSERT 362 src/move_check.cpp ASSERT(SLIDER_ATTACK(piece,inc)); ASSERT 367 src/move_check.cpp ASSERT(sq!=king); ASSERT 64 src/move_do.cpp ASSERT(board!=NULL); ASSERT 65 src/move_do.cpp ASSERT(move_is_ok(move)); ASSERT 66 src/move_do.cpp ASSERT(undo!=NULL); ASSERT 68 src/move_do.cpp ASSERT(board_is_legal(board)); ASSERT 97 src/move_do.cpp ASSERT(COLOUR_IS(piece,me)); ASSERT 101 src/move_do.cpp ASSERT(board->sp<StackSize); ASSERT 153 src/move_do.cpp ASSERT(COLOUR_IS(capture,opp)); ASSERT 154 src/move_do.cpp ASSERT(!PIECE_IS_KING(capture)); ASSERT 210 src/move_do.cpp ASSERT(false); ASSERT 216 src/move_do.cpp ASSERT(board_is_ok(board)); ASSERT 228 src/move_do.cpp ASSERT(board!=NULL); ASSERT 229 src/move_do.cpp ASSERT(move_is_ok(move)); ASSERT 230 src/move_do.cpp ASSERT(undo!=NULL); ASSERT 240 src/move_do.cpp ASSERT(COLOUR_IS(piece,me)); ASSERT 257 src/move_do.cpp ASSERT(false); ASSERT 267 src/move_do.cpp ASSERT(piece==move_promote(move)); ASSERT 306 src/move_do.cpp ASSERT(board->sp>0); ASSERT 311 src/move_do.cpp ASSERT(board_is_ok(board)); ASSERT 312 src/move_do.cpp ASSERT(board_is_legal(board)); ASSERT 321 src/move_do.cpp ASSERT(board!=NULL); ASSERT 322 src/move_do.cpp ASSERT(undo!=NULL); ASSERT 324 src/move_do.cpp ASSERT(board_is_legal(board)); ASSERT 325 src/move_do.cpp ASSERT(!board_is_check(board)); ASSERT 337 src/move_do.cpp ASSERT(board->sp<StackSize); ASSERT 363 src/move_do.cpp ASSERT(board_is_ok(board)); ASSERT 370 src/move_do.cpp ASSERT(board!=NULL); ASSERT 371 src/move_do.cpp ASSERT(undo!=NULL); ASSERT 373 src/move_do.cpp ASSERT(board_is_legal(board)); ASSERT 374 src/move_do.cpp ASSERT(!board_is_check(board)); ASSERT 386 src/move_do.cpp ASSERT(board->sp>0); ASSERT 391 src/move_do.cpp ASSERT(board_is_ok(board)); ASSERT 404 src/move_do.cpp ASSERT(board!=NULL); ASSERT 405 src/move_do.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 406 src/move_do.cpp ASSERT(piece_is_ok(piece)); ASSERT 407 src/move_do.cpp ASSERT(update==true||update==false); ASSERT 412 src/move_do.cpp ASSERT(pos>=0); ASSERT 419 src/move_do.cpp ASSERT(board->square[square]==piece); ASSERT 429 src/move_do.cpp ASSERT(size>=1); ASSERT 433 src/move_do.cpp ASSERT(pos>=0&&pos<size); ASSERT 435 src/move_do.cpp ASSERT(board->pos[square]==pos); ASSERT 444 src/move_do.cpp ASSERT(board->pos[sq]==i+1); ASSERT 460 src/move_do.cpp ASSERT(size>=1); ASSERT 464 src/move_do.cpp ASSERT(pos>=0&&pos<size); ASSERT 466 src/move_do.cpp ASSERT(board->pos[square]==pos); ASSERT 475 src/move_do.cpp ASSERT(board->pos[sq]==i+1); ASSERT 493 src/move_do.cpp ASSERT(board->piece_nb>0); ASSERT 496 src/move_do.cpp ASSERT(board->number[piece_12]>0); ASSERT 535 src/move_do.cpp ASSERT(board!=NULL); ASSERT 536 src/move_do.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 537 src/move_do.cpp ASSERT(piece_is_ok(piece)); ASSERT 538 src/move_do.cpp ASSERT(pos>=0); ASSERT 539 src/move_do.cpp ASSERT(update==true||update==false); ASSERT 548 src/move_do.cpp ASSERT(board->square[square]==Empty); ASSERT 558 src/move_do.cpp ASSERT(size>=0); ASSERT 569 src/move_do.cpp ASSERT(pos>=0&&pos<size); ASSERT 577 src/move_do.cpp ASSERT(board->pos[sq]==i-1); ASSERT 583 src/move_do.cpp ASSERT(board->pos[square]==-1); ASSERT 591 src/move_do.cpp ASSERT(size>=0); ASSERT 602 src/move_do.cpp ASSERT(pos>=0&&pos<size); ASSERT 610 src/move_do.cpp ASSERT(board->pos[sq]==i-1); ASSERT 616 src/move_do.cpp ASSERT(board->pos[square]==-1); ASSERT 626 src/move_do.cpp ASSERT(board->piece_nb<32); ASSERT 629 src/move_do.cpp ASSERT(board->number[piece_12]<9); ASSERT 669 src/move_do.cpp ASSERT(board!=NULL); ASSERT 670 src/move_do.cpp ASSERT(SQUARE_IS_OK(from)); ASSERT 671 src/move_do.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 672 src/move_do.cpp ASSERT(piece_is_ok(piece)); ASSERT 673 src/move_do.cpp ASSERT(update==true||update==false); ASSERT 680 src/move_do.cpp ASSERT(pos>=0); ASSERT 684 src/move_do.cpp ASSERT(board->square[from]==piece); ASSERT 687 src/move_do.cpp ASSERT(board->pos[from]==pos); ASSERT 692 src/move_do.cpp ASSERT(board->square[to]==Empty); ASSERT 695 src/move_do.cpp ASSERT(board->pos[to]==-1); ASSERT 702 src/move_do.cpp ASSERT(board->piece[colour][pos]==from); ASSERT 707 src/move_do.cpp ASSERT(board->pawn[colour][pos]==from); ASSERT 30 src/move_evasion.cpp ASSERT(list!=NULL); ASSERT 31 src/move_evasion.cpp ASSERT(board!=NULL); ASSERT 32 src/move_evasion.cpp ASSERT(attack!=NULL); ASSERT 38 src/move_evasion.cpp ASSERT(list_is_ok(list)); ASSERT 45 src/move_evasion.cpp ASSERT(list!=NULL); ASSERT 46 src/move_evasion.cpp ASSERT(board!=NULL); ASSERT 47 src/move_evasion.cpp ASSERT(attack!=NULL); ASSERT 53 src/move_evasion.cpp ASSERT(list_is_ok(list)); ASSERT 62 src/move_evasion.cpp ASSERT(board!=NULL); ASSERT 63 src/move_evasion.cpp ASSERT(attack!=NULL); ASSERT 80 src/move_evasion.cpp ASSERT(list!=NULL); ASSERT 81 src/move_evasion.cpp ASSERT(board!=NULL); ASSERT 82 src/move_evasion.cpp ASSERT(attack!=NULL); ASSERT 83 src/move_evasion.cpp ASSERT(legal==true||legal==false); ASSERT 84 src/move_evasion.cpp ASSERT(stop==true||stop==false); ASSERT 86 src/move_evasion.cpp ASSERT(board_is_check(board)); ASSERT 87 src/move_evasion.cpp ASSERT(ATTACK_IN_CHECK(attack)); ASSERT 117 src/move_evasion.cpp ASSERT(attack->dn==1); ASSERT 130 src/move_evasion.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 131 src/move_evasion.cpp ASSERT(board->square[to]==Empty); ASSERT 150 src/move_evasion.cpp ASSERT(list!=NULL); ASSERT 151 src/move_evasion.cpp ASSERT(board!=NULL); ASSERT 152 src/move_evasion.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 153 src/move_evasion.cpp ASSERT(legal==true||legal==false); ASSERT 154 src/move_evasion.cpp ASSERT(stop==true||stop==false); ASSERT 156 src/move_evasion.cpp ASSERT(board->square[to]==Empty); ASSERT 179 src/move_evasion.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 197 src/move_evasion.cpp ASSERT(list!=NULL); ASSERT 198 src/move_evasion.cpp ASSERT(board!=NULL); ASSERT 199 src/move_evasion.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 200 src/move_evasion.cpp ASSERT(legal==true||legal==false); ASSERT 201 src/move_evasion.cpp ASSERT(stop==true||stop==false); ASSERT 203 src/move_evasion.cpp ASSERT(COLOUR_IS(board->square[to],COLOUR_OPP(board->turn))); ASSERT 229 src/move_evasion.cpp ASSERT(PAWN_RANK(to,me)==Rank5); ASSERT 230 src/move_evasion.cpp ASSERT(PIECE_IS_PAWN(board->square[to])); ASSERT 233 src/move_evasion.cpp ASSERT(PAWN_RANK(to,me)==Rank6); ASSERT 234 src/move_evasion.cpp ASSERT(board->square[to]==Empty); ASSERT 240 src/move_evasion.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 249 src/move_evasion.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 266 src/move_evasion.cpp ASSERT(list!=NULL); ASSERT 267 src/move_evasion.cpp ASSERT(board!=NULL); ASSERT 268 src/move_evasion.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 269 src/move_evasion.cpp ASSERT(legal==true||legal==false); ASSERT 270 src/move_evasion.cpp ASSERT(stop==true||stop==false); ASSERT 35 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 36 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 49 src/move_gen.cpp ASSERT(list_is_ok(list)); ASSERT 56 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 57 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 59 src/move_gen.cpp ASSERT(!board_is_check(board)); ASSERT 70 src/move_gen.cpp ASSERT(list_is_ok(list)); ASSERT 77 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 78 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 87 src/move_gen.cpp ASSERT(list_is_ok(list)); ASSERT 94 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 95 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 97 src/move_gen.cpp ASSERT(!board_is_check(board)); ASSERT 106 src/move_gen.cpp ASSERT(list_is_ok(list)); ASSERT 121 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 122 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 181 src/move_gen.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 199 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 200 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 349 src/move_gen.cpp ASSERT(false); ASSERT 407 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 408 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 554 src/move_gen.cpp ASSERT(false); ASSERT 570 src/move_gen.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 575 src/move_gen.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 592 src/move_gen.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 597 src/move_gen.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 616 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 617 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 642 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 643 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 656 src/move_gen.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 662 src/move_gen.cpp ASSERT(!SQUARE_IS_PROMOTE(to)); ASSERT 672 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 673 src/move_gen.cpp ASSERT(board!=NULL); ASSERT 675 src/move_gen.cpp ASSERT(!board_is_check(board)); ASSERT 719 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 720 src/move_gen.cpp ASSERT(SQUARE_IS_OK(from)); ASSERT 721 src/move_gen.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 739 src/move_gen.cpp ASSERT(list!=NULL); ASSERT 740 src/move_gen.cpp ASSERT(move_is_ok(move)); ASSERT 742 src/move_gen.cpp ASSERT((move&~07777)==0); // HACK ASSERT 743 src/move_gen.cpp ASSERT(SQUARE_IS_PROMOTE(MOVE_TO(move))); ASSERT 33 src/move_legal.cpp ASSERT(move_is_ok(move)); ASSERT 34 src/move_legal.cpp ASSERT(board!=NULL); ASSERT 36 src/move_legal.cpp ASSERT(!board_is_check(board)); ASSERT 44 src/move_legal.cpp ASSERT((move&~07777)==0); ASSERT 54 src/move_legal.cpp ASSERT(SQUARE_IS_OK(from)); ASSERT 59 src/move_legal.cpp ASSERT(piece_is_ok(piece)); ASSERT 64 src/move_legal.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 77 src/move_legal.cpp ASSERT(delta_is_ok(delta)); ASSERT 115 src/move_legal.cpp ASSERT(move_is_ok(move)); ASSERT 116 src/move_legal.cpp ASSERT(board!=NULL); ASSERT 118 src/move_legal.cpp ASSERT(!board_is_check(board)); ASSERT 128 src/move_legal.cpp ASSERT((move&~07777)==0); ASSERT 138 src/move_legal.cpp ASSERT(SQUARE_IS_OK(from)); ASSERT 143 src/move_legal.cpp ASSERT(piece_is_ok(piece)); ASSERT 148 src/move_legal.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 160 src/move_legal.cpp ASSERT(delta_is_ok(delta)); ASSERT 191 src/move_legal.cpp ASSERT(move_is_ok(move)); ASSERT 192 src/move_legal.cpp ASSERT(board!=NULL); ASSERT 203 src/move_legal.cpp ASSERT(COLOUR_IS(piece,me)); ASSERT 223 src/move_legal.cpp ASSERT(board->square[from]==piece); ASSERT 225 src/move_legal.cpp ASSERT(legal==!is_attacked(board,to,opp)); ASSERT 248 src/move_legal.cpp ASSERT(move_is_ok(move)); ASSERT 249 src/move_legal.cpp ASSERT(board!=NULL); ASSERT 251 src/move_legal.cpp ASSERT(!board_is_check(board)); ASSERT 99 src/option.cpp ASSERT(var!=NULL); ASSERT 100 src/option.cpp ASSERT(val!=NULL); ASSERT 116 src/option.cpp ASSERT(var!=NULL); ASSERT 139 src/option.cpp ASSERT(false); ASSERT 172 src/option.cpp ASSERT(var!=NULL); ASSERT 186 src/pawn.cpp ASSERT(sizeof(entry_t)==16); ASSERT 220 src/pawn.cpp ASSERT(info!=NULL); ASSERT 221 src/pawn.cpp ASSERT(board!=NULL); ASSERT 284 src/pawn.cpp ASSERT(info!=NULL); ASSERT 285 src/pawn.cpp ASSERT(board!=NULL); ASSERT 305 src/pawn.cpp ASSERT(file>=FileA&&file<=FileH); ASSERT 306 src/pawn.cpp ASSERT(rank>=Rank2&&rank<=Rank7); ASSERT 344 src/pawn.cpp ASSERT(file>=FileA&&file<=FileH); ASSERT 345 src/pawn.cpp ASSERT(rank>=Rank2&&rank<=Rank7); ASSERT 384 src/pawn.cpp ASSERT(rank+2<=Rank8); ASSERT 394 src/pawn.cpp ASSERT(rank+3<=Rank8); ASSERT 505 src/pawn.cpp ASSERT(rank>=Rank2); ASSERT 525 src/pawn.cpp ASSERT(y_min>=0&&y_min<=y_max&&y_max<=+32767); ASSERT 526 src/pawn.cpp ASSERT(x>=Rank2&&x<=Rank7); ASSERT 529 src/pawn.cpp ASSERT(y>=y_min&&y<=y_max); ASSERT 116 src/piece.cpp ASSERT(piece_12>=0&&piece_12<12); ASSERT 125 src/piece.cpp ASSERT(piece_is_ok(piece)); ASSERT 184 src/posix.cpp ASSERT(tv!=NULL); ASSERT 138 src/protocol.cpp ASSERT(false); ASSERT 153 src/protocol.cpp ASSERT(Infinite); ASSERT 165 src/protocol.cpp ASSERT(false); ASSERT 174 src/protocol.cpp ASSERT(false); ASSERT 179 src/protocol.cpp ASSERT(!Searching); ASSERT 180 src/protocol.cpp ASSERT(!Delay); ASSERT 189 src/protocol.cpp ASSERT(false); ASSERT 207 src/protocol.cpp ASSERT(!Searching); ASSERT 208 src/protocol.cpp ASSERT(!Delay); ASSERT 222 src/protocol.cpp ASSERT(false); ASSERT 270 src/protocol.cpp ASSERT(binc>=0.0); ASSERT 278 src/protocol.cpp ASSERT(btime>=0.0); ASSERT 286 src/protocol.cpp ASSERT(depth>=0); ASSERT 298 src/protocol.cpp ASSERT(mate>=0); ASSERT 306 src/protocol.cpp ASSERT(movestogo>=0); ASSERT 314 src/protocol.cpp ASSERT(movetime>=0.0); ASSERT 322 src/protocol.cpp ASSERT(nodes>=0); ASSERT 338 src/protocol.cpp ASSERT(winc>=0.0); ASSERT 346 src/protocol.cpp ASSERT(wtime>=0.0); ASSERT 409 src/protocol.cpp ASSERT(!Searching); ASSERT 410 src/protocol.cpp ASSERT(!Delay); ASSERT 419 src/protocol.cpp ASSERT(Searching); ASSERT 420 src/protocol.cpp ASSERT(!Delay); ASSERT 449 src/protocol.cpp ASSERT(moves>fen); ASSERT 517 src/protocol.cpp ASSERT(!Searching); ASSERT 571 src/protocol.cpp ASSERT(string!=NULL); ASSERT 572 src/protocol.cpp ASSERT(size>=65536); ASSERT 586 src/protocol.cpp ASSERT(format!=NULL); ASSERT 599 src/protocol.cpp ASSERT(s1!=NULL); ASSERT 600 src/protocol.cpp ASSERT(s2!=NULL); ASSERT 609 src/protocol.cpp ASSERT(s1!=NULL); ASSERT 610 src/protocol.cpp ASSERT(s2!=NULL); ASSERT 312 src/pst.cpp ASSERT(file>=0&&file<8); ASSERT 313 src/pst.cpp ASSERT(rank>=0&&rank<8); ASSERT 322 src/pst.cpp ASSERT(square>=0&&square<64); ASSERT 331 src/pst.cpp ASSERT(square>=0&&square<64); ASSERT 340 src/pst.cpp ASSERT(square>=0&&square<64); ASSERT 41 src/pv.cpp ASSERT(pv_is_ok(src)); ASSERT 42 src/pv.cpp ASSERT(dst!=NULL); ASSERT 52 src/pv.cpp ASSERT(pv_is_ok(src)); ASSERT 53 src/pv.cpp ASSERT(dst!=NULL); ASSERT 68 src/pv.cpp ASSERT(pv_is_ok(pv)); ASSERT 69 src/pv.cpp ASSERT(string!=NULL); ASSERT 70 src/pv.cpp ASSERT(size>=512); ASSERT 27 src/recog.cpp ASSERT(board!=NULL); ASSERT 178 src/recog.cpp ASSERT(false); ASSERT 192 src/recog.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 193 src/recog.cpp ASSERT(SQUARE_IS_OK(wk)); ASSERT 194 src/recog.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 195 src/recog.cpp ASSERT(COLOUR_IS_OK(turn)); ASSERT 197 src/recog.cpp ASSERT(SQUARE_FILE(wp)<=FileD); ASSERT 217 src/recog.cpp ASSERT(wp_rank==Rank7); ASSERT 234 src/recog.cpp ASSERT(wp_rank==Rank6); ASSERT 277 src/recog.cpp ASSERT(SQUARE_IS_OK(wp)); ASSERT 278 src/recog.cpp ASSERT(SQUARE_IS_OK(wb)); ASSERT 279 src/recog.cpp ASSERT(SQUARE_IS_OK(bk)); ASSERT 138 src/search.cpp ASSERT(board_is_ok(SearchInput->board)); ASSERT 175 src/search.cpp ASSERT(SearchInfo->can_stop); ASSERT 176 src/search.cpp ASSERT(SearchBest->move!=MoveNone); ASSERT 234 src/search.cpp ASSERT(SearchRoot->bad_2==(SearchBest->value<=SearchRoot->last_value-BadThreshold)); ASSERT 256 src/search.cpp ASSERT(!SearchRoot->bad_2); ASSERT 257 src/search.cpp ASSERT(!SearchRoot->change); ASSERT 123 src/search_full.cpp ASSERT(list_is_ok(list)); ASSERT 124 src/search_full.cpp ASSERT(board_is_ok(board)); ASSERT 141 src/search_full.cpp ASSERT(false); ASSERT 161 src/search_full.cpp ASSERT(false); ASSERT 208 src/search_full.cpp ASSERT(list_is_ok(list)); ASSERT 209 src/search_full.cpp ASSERT(board_is_ok(board)); ASSERT 210 src/search_full.cpp ASSERT(depth_is_ok(depth)); ASSERT 211 src/search_full.cpp ASSERT(search_type==SearchNormal||search_type==SearchShort); ASSERT 213 src/search_full.cpp ASSERT(list==SearchRoot->list); ASSERT 214 src/search_full.cpp ASSERT(!LIST_IS_EMPTY(list)); ASSERT 215 src/search_full.cpp ASSERT(board==SearchCurrent->board); ASSERT 216 src/search_full.cpp ASSERT(board_is_legal(board)); ASSERT 217 src/search_full.cpp ASSERT(depth>=1); ASSERT 221 src/search_full.cpp ASSERT(value_is_ok(value)); ASSERT 222 src/search_full.cpp ASSERT(LIST_VALUE(list,0)==value); ASSERT 238 src/search_full.cpp ASSERT(list_is_ok(list)); ASSERT 239 src/search_full.cpp ASSERT(board_is_ok(board)); ASSERT 240 src/search_full.cpp ASSERT(range_is_ok(alpha,beta)); ASSERT 241 src/search_full.cpp ASSERT(depth_is_ok(depth)); ASSERT 242 src/search_full.cpp ASSERT(height_is_ok(height)); ASSERT 243 src/search_full.cpp ASSERT(search_type==SearchNormal||search_type==SearchShort); ASSERT 245 src/search_full.cpp ASSERT(list==SearchRoot->list); ASSERT 246 src/search_full.cpp ASSERT(!LIST_IS_EMPTY(list)); ASSERT 247 src/search_full.cpp ASSERT(board==SearchCurrent->board); ASSERT 248 src/search_full.cpp ASSERT(board_is_legal(board)); ASSERT 249 src/search_full.cpp ASSERT(depth>=1); ASSERT 327 src/search_full.cpp ASSERT(value_is_ok(best_value)); ASSERT 331 src/search_full.cpp ASSERT(SearchBest->move==LIST_MOVE(list,0)); ASSERT 332 src/search_full.cpp ASSERT(SearchBest->value==best_value); ASSERT 363 src/search_full.cpp ASSERT(board!=NULL); ASSERT 364 src/search_full.cpp ASSERT(range_is_ok(alpha,beta)); ASSERT 365 src/search_full.cpp ASSERT(depth_is_ok(depth)); ASSERT 366 src/search_full.cpp ASSERT(height_is_ok(height)); ASSERT 367 src/search_full.cpp ASSERT(pv!=NULL); ASSERT 368 src/search_full.cpp ASSERT(node_type==NodePV||node_type==NodeCut||node_type==NodeAll); ASSERT 370 src/search_full.cpp ASSERT(board_is_legal(board)); ASSERT 497 src/search_full.cpp ASSERT(new_depth>0); ASSERT 502 src/search_full.cpp ASSERT(move==new_pv[0]); ASSERT 517 src/search_full.cpp ASSERT(!value_is_mate(value)); ASSERT 533 src/search_full.cpp ASSERT(new_depth>0); ASSERT 564 src/search_full.cpp ASSERT(best_value!=ValueNone); ASSERT 565 src/search_full.cpp ASSERT(played_nb>0); ASSERT 566 src/search_full.cpp ASSERT(sort->pos>0&&move==LIST_MOVE(sort->list,sort->pos-1)); ASSERT 569 src/search_full.cpp ASSERT(value>=0&&value<16384); ASSERT 570 src/search_full.cpp ASSERT(move!=trans_move); ASSERT 571 src/search_full.cpp ASSERT(!move_is_tactical(move,board)); ASSERT 572 src/search_full.cpp ASSERT(!move_is_check(move,board)); ASSERT 585 src/search_full.cpp ASSERT(!move_is_check(move,board)); ASSERT 591 src/search_full.cpp ASSERT(opt_value<+ValueInf); ASSERT 627 src/search_full.cpp ASSERT(node_type!=NodePV); ASSERT 630 src/search_full.cpp ASSERT(new_depth==depth-1); ASSERT 656 src/search_full.cpp ASSERT(board_is_mate(board)); ASSERT 659 src/search_full.cpp ASSERT(board_is_stalemate(board)); ASSERT 666 src/search_full.cpp ASSERT(value_is_ok(best_value)); ASSERT 676 src/search_full.cpp ASSERT(played_nb>0&&played[played_nb-1]==best_move); ASSERT 680 src/search_full.cpp ASSERT(move!=best_move); ASSERT 715 src/search_full.cpp ASSERT(board!=NULL); ASSERT 716 src/search_full.cpp ASSERT(range_is_ok(alpha,beta)); ASSERT 717 src/search_full.cpp ASSERT(depth_is_ok(depth)); ASSERT 718 src/search_full.cpp ASSERT(height_is_ok(height)); ASSERT 719 src/search_full.cpp ASSERT(pv!=NULL); ASSERT 720 src/search_full.cpp ASSERT(node_type==NodePV||node_type==NodeCut||node_type==NodeAll); ASSERT 721 src/search_full.cpp ASSERT(trans_move==MoveNone||move_is_ok(trans_move)); ASSERT 722 src/search_full.cpp ASSERT(best_move!=NULL); ASSERT 724 src/search_full.cpp ASSERT(board_is_legal(board)); ASSERT 725 src/search_full.cpp ASSERT(!board_is_check(board)); ASSERT 726 src/search_full.cpp ASSERT(depth>=1); ASSERT 742 src/search_full.cpp ASSERT(!ATTACK_IN_CHECK(attack)); ASSERT 773 src/search_full.cpp ASSERT(board_is_stalemate(board)); ASSERT 779 src/search_full.cpp ASSERT(value_is_ok(best_value)); ASSERT 799 src/search_full.cpp ASSERT(board!=NULL); ASSERT 800 src/search_full.cpp ASSERT(range_is_ok(alpha,beta)); ASSERT 801 src/search_full.cpp ASSERT(depth_is_ok(depth)); ASSERT 802 src/search_full.cpp ASSERT(height_is_ok(height)); ASSERT 803 src/search_full.cpp ASSERT(pv!=NULL); ASSERT 805 src/search_full.cpp ASSERT(board_is_legal(board)); ASSERT 806 src/search_full.cpp ASSERT(depth<=0); ASSERT 855 src/search_full.cpp ASSERT(depth<0); ASSERT 881 src/search_full.cpp ASSERT(value>best_value); ASSERT 890 src/search_full.cpp ASSERT(opt_value<+ValueInf); ASSERT 906 src/search_full.cpp ASSERT(move_is_tactical(move,board)); ASSERT 955 src/search_full.cpp ASSERT(board_is_mate(board)); ASSERT 961 src/search_full.cpp ASSERT(value_is_ok(best_value)); ASSERT 972 src/search_full.cpp ASSERT(depth_is_ok(depth)); ASSERT 973 src/search_full.cpp ASSERT(move_is_ok(move)); ASSERT 974 src/search_full.cpp ASSERT(board!=NULL); ASSERT 975 src/search_full.cpp ASSERT(single_reply==true||single_reply==false); ASSERT 976 src/search_full.cpp ASSERT(in_pv==true||in_pv==false); ASSERT 978 src/search_full.cpp ASSERT(depth>0); ASSERT 992 src/search_full.cpp ASSERT(new_depth>=0&&new_depth<=depth); ASSERT 1001 src/search_full.cpp ASSERT(board!=NULL); ASSERT 1012 src/search_full.cpp ASSERT(board!=NULL); ASSERT 1027 src/search_full.cpp ASSERT(pv!=NULL); ASSERT 1028 src/search_full.cpp ASSERT(board!=NULL); ASSERT 1030 src/search_full.cpp ASSERT(UseTrans); ASSERT 1055 src/search_full.cpp ASSERT(move_is_ok(move)); ASSERT 1056 src/search_full.cpp ASSERT(board!=NULL); ASSERT 1058 src/search_full.cpp ASSERT(!move_is_tactical(move,board)); ASSERT 1076 src/search_full.cpp ASSERT(move_is_ok(move)); ASSERT 1077 src/search_full.cpp ASSERT(board!=NULL); ASSERT 1079 src/search_full.cpp ASSERT(move_is_tactical(move,board)); ASSERT 1112 src/search_full.cpp ASSERT(board!=NULL); ASSERT 1114 src/search_full.cpp ASSERT(board_is_legal(board)); ASSERT 1115 src/search_full.cpp ASSERT(!board_is_check(board)); ASSERT 1146 src/search_full.cpp ASSERT(board_is_stalemate((board_t*)board)); ASSERT 56 src/see.cpp ASSERT(move_is_ok(move)); ASSERT 57 src/see.cpp ASSERT(board!=NULL); ASSERT 69 src/see.cpp ASSERT(piece_is_ok(piece)); ASSERT 77 src/see.cpp ASSERT(PIECE_IS_PAWN(piece)); ASSERT 79 src/see.cpp ASSERT(piece_is_ok(piece)); ASSERT 80 src/see.cpp ASSERT(COLOUR_IS(piece,att)); ASSERT 102 src/see.cpp ASSERT(piece_is_ok(capture)); ASSERT 103 src/see.cpp ASSERT(COLOUR_IS(capture,def)); ASSERT 117 src/see.cpp ASSERT(value==0); ASSERT 118 src/see.cpp ASSERT(PIECE_IS_PAWN(board->square[SQUARE_EP_DUAL(to)])); ASSERT 160 src/see.cpp ASSERT(board!=NULL); ASSERT 161 src/see.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 162 src/see.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 164 src/see.cpp ASSERT(COLOUR_IS(board->square[to],COLOUR_OPP(colour))); ASSERT 187 src/see.cpp ASSERT(piece_is_ok(piece)); ASSERT 188 src/see.cpp ASSERT(COLOUR_IS(piece,def)); ASSERT 204 src/see.cpp ASSERT(alists!=NULL); ASSERT 205 src/see.cpp ASSERT(board!=NULL); ASSERT 206 src/see.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 207 src/see.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 208 src/see.cpp ASSERT(piece_value>0); ASSERT 225 src/see.cpp ASSERT(piece_is_ok(piece)); ASSERT 226 src/see.cpp ASSERT(COLOUR_IS(piece,colour)); ASSERT 232 src/see.cpp ASSERT(PIECE_IS_PAWN(piece)); ASSERT 256 src/see.cpp ASSERT(alist!=NULL); ASSERT 257 src/see.cpp ASSERT(board!=NULL); ASSERT 258 src/see.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 259 src/see.cpp ASSERT(COLOUR_IS_OK(colour)); ASSERT 271 src/see.cpp ASSERT(inc!=IncNone); ASSERT 303 src/see.cpp ASSERT(alists!=NULL); ASSERT 304 src/see.cpp ASSERT(board!=NULL); ASSERT 305 src/see.cpp ASSERT(SQUARE_IS_OK(from)); ASSERT 306 src/see.cpp ASSERT(SQUARE_IS_OK(to)); ASSERT 317 src/see.cpp ASSERT(piece_is_ok(piece)); ASSERT 318 src/see.cpp ASSERT(PIECE_IS_SLIDER(piece)); ASSERT 329 src/see.cpp ASSERT(alist!=NULL); ASSERT 341 src/see.cpp ASSERT(alist!=NULL); ASSERT 342 src/see.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 343 src/see.cpp ASSERT(board!=NULL); ASSERT 349 src/see.cpp ASSERT(size>0&&size<16); ASSERT 352 src/see.cpp ASSERT(pos>0&&pos<size); ASSERT 356 src/see.cpp ASSERT(pos>=0&&pos<size); ASSERT 366 src/see.cpp ASSERT(alist!=NULL); ASSERT 367 src/see.cpp ASSERT(pos>=0&&pos<alist->size); ASSERT 370 src/see.cpp ASSERT(size>=1); ASSERT 372 src/see.cpp ASSERT(pos>=0&&pos<size); ASSERT 375 src/see.cpp ASSERT(i>=0&&i<size-1); ASSERT 387 src/see.cpp ASSERT(alist!=NULL); ASSERT 388 src/see.cpp ASSERT(board!=NULL); ASSERT 396 src/see.cpp ASSERT(size>=0); ASSERT 166 src/sort.cpp ASSERT(pos<CODE_SIZE); ASSERT 173 src/sort.cpp ASSERT(sort!=NULL); ASSERT 174 src/sort.cpp ASSERT(board!=NULL); ASSERT 175 src/sort.cpp ASSERT(attack!=NULL); ASSERT 176 src/sort.cpp ASSERT(depth_is_ok(depth)); ASSERT 177 src/sort.cpp ASSERT(height_is_ok(height)); ASSERT 178 src/sort.cpp ASSERT(trans_killer==MoveNone||move_is_ok(trans_killer)); ASSERT 215 src/sort.cpp ASSERT(sort!=NULL); ASSERT 227 src/sort.cpp ASSERT(move!=MoveNone); ASSERT 244 src/sort.cpp ASSERT(move_is_tactical(move,sort->board)); ASSERT 257 src/sort.cpp ASSERT(move_is_tactical(move,sort->board)); ASSERT 258 src/sort.cpp ASSERT(!capture_is_good(move,sort->board)); ASSERT 260 src/sort.cpp ASSERT(move!=sort->trans_killer); ASSERT 269 src/sort.cpp ASSERT(!move_is_tactical(move,sort->board)); ASSERT 273 src/sort.cpp ASSERT(!move_is_tactical(move,sort->board)); ASSERT 284 src/sort.cpp ASSERT(false); ASSERT 289 src/sort.cpp ASSERT(pseudo_is_legal(move,sort->board)); ASSERT 341 src/sort.cpp ASSERT(gen==GEN_END); ASSERT 354 src/sort.cpp ASSERT(sort!=NULL); ASSERT 355 src/sort.cpp ASSERT(board!=NULL); ASSERT 356 src/sort.cpp ASSERT(attack!=NULL); ASSERT 357 src/sort.cpp ASSERT(check==true||check==false); ASSERT 381 src/sort.cpp ASSERT(sort!=NULL); ASSERT 392 src/sort.cpp ASSERT(move!=MoveNone); ASSERT 404 src/sort.cpp ASSERT(move_is_tactical(move,sort->board)); ASSERT 411 src/sort.cpp ASSERT(!move_is_tactical(move,sort->board)); ASSERT 412 src/sort.cpp ASSERT(move_is_check(move,sort->board)); ASSERT 419 src/sort.cpp ASSERT(false); ASSERT 424 src/sort.cpp ASSERT(pseudo_is_legal(move,sort->board)); ASSERT 459 src/sort.cpp ASSERT(gen==GEN_END); ASSERT 475 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 476 src/sort.cpp ASSERT(board!=NULL); ASSERT 477 src/sort.cpp ASSERT(depth_is_ok(depth)); ASSERT 478 src/sort.cpp ASSERT(height_is_ok(height)); ASSERT 489 src/sort.cpp ASSERT(Killer[height][0]==move); ASSERT 490 src/sort.cpp ASSERT(Killer[height][1]!=move); ASSERT 511 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 512 src/sort.cpp ASSERT(board!=NULL); ASSERT 528 src/sort.cpp ASSERT(HistHit[index]<=HistTot[index]); ASSERT 529 src/sort.cpp ASSERT(HistTot[index]<HistoryMax); ASSERT 538 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 539 src/sort.cpp ASSERT(board!=NULL); ASSERT 554 src/sort.cpp ASSERT(HistHit[index]<=HistTot[index]); ASSERT 555 src/sort.cpp ASSERT(HistTot[index]<HistoryMax); ASSERT 565 src/sort.cpp ASSERT(list_is_ok(list)); ASSERT 566 src/sort.cpp ASSERT(board!=NULL); ASSERT 567 src/sort.cpp ASSERT(height_is_ok(height)); ASSERT 568 src/sort.cpp ASSERT(trans_killer==MoveNone||move_is_ok(trans_killer)); ASSERT 587 src/sort.cpp ASSERT(list_is_ok(list)); ASSERT 588 src/sort.cpp ASSERT(board!=NULL); ASSERT 607 src/sort.cpp ASSERT(list_is_ok(list)); ASSERT 608 src/sort.cpp ASSERT(board!=NULL); ASSERT 627 src/sort.cpp ASSERT(list_is_ok(list)); ASSERT 628 src/sort.cpp ASSERT(board!=NULL); ASSERT 647 src/sort.cpp ASSERT(list_is_ok(list)); ASSERT 648 src/sort.cpp ASSERT(board!=NULL); ASSERT 666 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 667 src/sort.cpp ASSERT(board!=NULL); ASSERT 668 src/sort.cpp ASSERT(height_is_ok(height)); ASSERT 669 src/sort.cpp ASSERT(trans_killer==MoveNone||move_is_ok(trans_killer)); ASSERT 693 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 694 src/sort.cpp ASSERT(board!=NULL); ASSERT 696 src/sort.cpp ASSERT(move_is_tactical(move,board)); ASSERT 706 src/sort.cpp ASSERT(value>=-30000&&value<=+30000); ASSERT 718 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 719 src/sort.cpp ASSERT(board!=NULL); ASSERT 721 src/sort.cpp ASSERT(!move_is_tactical(move,board)); ASSERT 726 src/sort.cpp ASSERT(value>=HistoryScore&&value<=KillerScore-4); ASSERT 737 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 738 src/sort.cpp ASSERT(board!=NULL); ASSERT 753 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 754 src/sort.cpp ASSERT(board!=NULL); ASSERT 756 src/sort.cpp ASSERT(!move_is_tactical(move,board)); ASSERT 760 src/sort.cpp ASSERT(HistHit[index]<=HistTot[index]); ASSERT 761 src/sort.cpp ASSERT(HistTot[index]<HistoryMax); ASSERT 764 src/sort.cpp ASSERT(value>=0&&value<=16384); ASSERT 775 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 776 src/sort.cpp ASSERT(board!=NULL); ASSERT 778 src/sort.cpp ASSERT(move_is_tactical(move,board)); ASSERT 793 src/sort.cpp ASSERT(move_is_capture(move,board)); ASSERT 811 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 812 src/sort.cpp ASSERT(board!=NULL); ASSERT 814 src/sort.cpp ASSERT(move_is_tactical(move,board)); ASSERT 825 src/sort.cpp ASSERT(value>=0&&value<30); ASSERT 829 src/sort.cpp ASSERT(MOVE_IS_PROMOTE(move)); ASSERT 834 src/sort.cpp ASSERT(value>=-4&&value<0); ASSERT 837 src/sort.cpp ASSERT(value>=-4&&value<+30); ASSERT 848 src/sort.cpp ASSERT(move_is_ok(move)); ASSERT 849 src/sort.cpp ASSERT(board!=NULL); ASSERT 851 src/sort.cpp ASSERT(!move_is_tactical(move,board)); ASSERT 855 src/sort.cpp ASSERT(index>=0&&index<HistorySize); ASSERT 58 src/square.cpp ASSERT(c>='a'&&c<='h'); ASSERT 67 src/square.cpp ASSERT(c>='1'&&c<='8'); ASSERT 76 src/square.cpp ASSERT(file>=FileA&&file<=FileH); ASSERT 85 src/square.cpp ASSERT(rank>=Rank1&&rank<=Rank8); ASSERT 94 src/square.cpp ASSERT(SQUARE_IS_OK(square)); ASSERT 95 src/square.cpp ASSERT(string!=NULL); ASSERT 96 src/square.cpp ASSERT(size>=3); ASSERT 113 src/square.cpp ASSERT(string!=NULL); ASSERT 97 src/trans.cpp ASSERT(trans!=NULL); ASSERT 99 src/trans.cpp ASSERT(sizeof(entry_t)==16); ASSERT 118 src/trans.cpp ASSERT(trans!=NULL); ASSERT 130 src/trans.cpp ASSERT(size>0&&size<=target); ASSERT 135 src/trans.cpp ASSERT(size!=0&&(size&(size-1))==0); // power of 2 ASSERT 144 src/trans.cpp ASSERT(trans_is_ok(trans)); ASSERT 151 src/trans.cpp ASSERT(trans_is_ok(trans)); ASSERT 168 src/trans.cpp ASSERT(trans!=NULL); ASSERT 183 src/trans.cpp ASSERT(entry_is_ok(clear_entry)); ASSERT 196 src/trans.cpp ASSERT(trans!=NULL); ASSERT 205 src/trans.cpp ASSERT(trans!=NULL); ASSERT 206 src/trans.cpp ASSERT(date>=0&&date<DateSize); ASSERT 228 src/trans.cpp ASSERT(trans!=NULL); ASSERT 229 src/trans.cpp ASSERT(date>=0&&date<DateSize); ASSERT 234 src/trans.cpp ASSERT(age>=0&&age<DateSize); ASSERT 247 src/trans.cpp ASSERT(trans_is_ok(trans)); ASSERT 248 src/trans.cpp ASSERT(move>=0&&move<65536); ASSERT 249 src/trans.cpp ASSERT(depth>=-127&&depth<=+127); ASSERT 250 src/trans.cpp ASSERT(min_value>=-ValueInf&&min_value<=+ValueInf); ASSERT 251 src/trans.cpp ASSERT(max_value>=-ValueInf&&max_value<=+ValueInf); ASSERT 252 src/trans.cpp ASSERT(min_value<=max_value); ASSERT 293 src/trans.cpp ASSERT(entry_is_ok(entry)); ASSERT 301 src/trans.cpp ASSERT(score>-32767); ASSERT 312 src/trans.cpp ASSERT(entry!=NULL); ASSERT 313 src/trans.cpp ASSERT(entry->lock!=KEY_LOCK(key)); ASSERT 323 src/trans.cpp ASSERT(entry!=NULL); ASSERT 338 src/trans.cpp ASSERT(entry_is_ok(entry)); ASSERT 348 src/trans.cpp ASSERT(trans_is_ok(trans)); ASSERT 349 src/trans.cpp ASSERT(move!=NULL); ASSERT 350 src/trans.cpp ASSERT(min_depth!=NULL); ASSERT 351 src/trans.cpp ASSERT(max_depth!=NULL); ASSERT 352 src/trans.cpp ASSERT(min_value!=NULL); ASSERT 353 src/trans.cpp ASSERT(max_value!=NULL); ASSERT 395 src/trans.cpp ASSERT(trans_is_ok(trans)); ASSERT 410 src/trans.cpp ASSERT(trans_is_ok(trans)); ASSERT 418 src/trans.cpp ASSERT(index<=trans->mask); ASSERT 41 src/util.cpp ASSERT(n>0); ASSERT 72 src/util.cpp ASSERT(size>0); ASSERT 84 src/util.cpp ASSERT(address!=NULL); ASSERT 95 src/util.cpp ASSERT(format!=NULL); ASSERT 111 src/util.cpp ASSERT(file!=NULL); ASSERT 112 src/util.cpp ASSERT(string!=NULL); ASSERT 113 src/util.cpp ASSERT(size>0); ASSERT 144 src/util.cpp ASSERT(string_1!=NULL); ASSERT 145 src/util.cpp ASSERT(string_2!=NULL); ASSERT 165 src/util.cpp ASSERT(string!=NULL); ASSERT 179 src/util.cpp ASSERT(variable!=NULL); ASSERT 191 src/util.cpp ASSERT(variable!=NULL); ASSERT 192 src/util.cpp ASSERT(string!=NULL); ASSERT 202 src/util.cpp ASSERT(timer!=NULL); ASSERT 215 src/util.cpp ASSERT(timer!=NULL); ASSERT 217 src/util.cpp ASSERT(timer->start_real==0.0); ASSERT 218 src/util.cpp ASSERT(timer->start_cpu==0.0); ASSERT 219 src/util.cpp ASSERT(!timer->running); ASSERT 230 src/util.cpp ASSERT(timer!=NULL); ASSERT 232 src/util.cpp ASSERT(timer->running); ASSERT 247 src/util.cpp ASSERT(timer!=NULL); ASSERT 263 src/util.cpp ASSERT(timer!=NULL); ASSERT 280 src/util.cpp ASSERT(timer!=NULL); ASSERT 70 src/value.cpp ASSERT(value_is_ok(value)); ASSERT 81 src/value.cpp ASSERT(value_is_ok(value)); ASSERT 82 src/value.cpp ASSERT(height_is_ok(height)); ASSERT 90 src/value.cpp ASSERT(value_is_ok(value)); ASSERT 99 src/value.cpp ASSERT(value_is_ok(value)); ASSERT 100 src/value.cpp ASSERT(height_is_ok(height)); ASSERT 108 src/value.cpp ASSERT(value_is_ok(value)); ASSERT 119 src/value.cpp ASSERT(value_is_ok(value)); ASSERT 124 src/value.cpp ASSERT(dist>0); ASSERT 131 src/value.cpp ASSERT(dist>0); ASSERT 32 src/vector.cpp ASSERT(delta_is_ok(delta));