void Sample3()

in cpp/DFAchecks.cpp [59:67]


void Sample3(States current) {
    current = States::Started;

    if (current == States::Stopped) {
        //...
    }

    //...
}