[klee-dev] Writing tests for KLEE

[Martin Nowack]

> On 14 Jun 2016, at 03:37, Marko Dimjašević <marko at cs.utah.edu> 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ć <marko at cs.utah.edu> .   University of Utah
> https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
> Learn email self-defense!  https://emailselfdefense.fsf.org
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> 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: martin_nowack at tu-dresden.de
----------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160614/8a0300dd/attachment.sig>