Menu ▾ ▴

Verification / Bug hunting

Development
Daniel Marjamäki
2020-01-14
2020-01-16

  • Daniel Marjamäki

    Daniel Marjamäki - 2020-01-14

    Do you have some opinions?

    I am thinking about renaming --verify to --bug-hunting or something like that.

    I have the feeling that Verification is a academic term that kind of means something else. There is for instance a competition https://sv-comp.sosy-lab.org/2020/
    In my opinion the test cases are not designed as I think they should. It's like the Juliet test cases.

     

  • Daniel Marjamäki

    Daniel Marjamäki - 2020-01-14

    I will rename it. It feels better with a different name so it's not confused with the academic term.

     

  • versat

    versat - 2020-01-15

    Do you think it is useful to add --bug-hunting to the daca@home client?
    There are only extra checks if I understand it correctly, so I guess it should be OK.

     

  • Daniel Marjamäki

    Daniel Marjamäki - 2020-01-15

    Yes. I have started running it on some projects and it crashes too easily.

     

  • Daniel Marjamäki

    Daniel Marjamäki - 2020-01-16

    I don't know if I am happy about --bug-hunting neither. Maybe something like --sound and say that this will turn on "sound" analysis. I just don't think "sound" means anything to many users. Any better ideas?

     

  • Daniel Marjamäki

    Daniel Marjamäki - 2020-01-16

    Do you think it is useful to add --bug-hunting to the daca@home client?

    I fixed some crashes. I think it should be added soonish. Feel free to add it if you want.

    However the syntax is not really stable (compilation options, commandline options) at the moment. That is something I'll have to consider when I continue developing it..

     

Log in to post a comment.