search

RalfRothenberger / Power-Law-Random-SAT-Generator

Power Law Random k-SAT Generator
MIT License
14 stars 3 forks source link

Minor bug - "-u 0" does not work #4

Closed ANogin closed 2 years ago

ANogin commented 2 years ago

The code has:

    bool U=true;
    [...]
    if (helper::cmdOptionExists(argv, argv+argc,"-u")) {
        char* u=helper::getCmdOption(argv, argv+argc, "-u");
        if(strcmp(u,"1")==0) U=true;
    }

which of course means that U is always true, regardless of the options specified.

RalfRothenberger commented 2 years ago

Thanks for pointing it out. I resolved it.