[klee-dev] Writing tests for KLEE

[Martin Nowack]

On 15 Jun 2016, at 06:12, Marko Dimjašević <marko at cs.utah.edu> wrote:
> 
> $ $ make unittests
> llvm[0]: Running unittests test suite
> make[1]: Entering directory '/home/marko/research/klee/unittests'
> make[2]: Entering directory '/home/marko/research/klee/unittests/Expr'
> llvm[2]: Compiling ExprTest.cpp for Release+Asserts build
> llvm[2]: Linking Release+Asserts unit test Expr (without symbols)
> llvm[2]: ======= Finished Linking Release+Asserts Unit test Expr
> (without symbols)
> ="/home/marko/research/klee/Release+Asserts/lib${:+:}$" Release
> +Asserts/ExprTests
> /bin/sh: 1: Bad substitution
> /usr/lib/llvm-3.4/build/unittests/Makefile.unittest:60: recipe for
> target 'unitcheck' failed
> make[2]: *** [unitcheck] Error 2
> make[2]: Leaving directory '/home/marko/research/klee/unittests/Expr'
> /home/marko/research/klee/Makefile.rules:757: recipe for target
> 'unitcheck' failed
> make[1]: *** [unitcheck] Error 1
> make[1]: Leaving directory '/home/marko/research/klee/unittests'
> /home/marko/research/klee/Makefile.rules:1906: recipe for target
> 'unittests' failed
> make: *** [unittests] Error 2

Well yes, i stumbled over it as well.
Please have a look here, this explains it and a patch is attached:
https://llvm.org/bugs/show_bug.cgi?id=19816

Best,

Martin
---------------------------------------------------
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/20160615/a53374bf/attachment.sig>