int check()

in cnova/DFAchecks.cpp [111:114]


int check() {
    while(true) {}
    return 0;
}