> On 14 Jun 2016, at 03:37, Marko Dimjašević <[email protected]> wrote: > > Unit tests for KLEE should be under the unittests directory. I see only > 3 meaningful C++ files in there. Therefore, can you confirm this is how > unit tests should be written for KLEE, or is the guide outdated? > No, it is not outdated, according to unit tests, it’s the current state of the KLEE project.
Cheers, Martin > > -- > Regards, > Marko Dimjašević <[email protected]> . University of Utah > https://dimjasevic.net/marko . PGP key ID: 1503F0AA > Learn email self-defense! https://emailselfdefense.fsf.org > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev --------------------------------------------------- Martin Nowack Research Assistant Technische Universität Dresden Computer Science Institute of Systems Architecture Systems Engineering 01062 Dresden Phone: +49 351 463 39608 Email: [email protected] ----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
