[klee-dev] KLEE 1.2.0 released

[Sumit Kumar]

Hi,

Can anyone please point me to any link or explain to me what the following
change is supposed to do in the latest KLEE version (1.2.0):

    Added code to dump queries and assignments (@MartinNowack)

Specifically about the "assignments" part. What is it supposed to dump
about assignments ?

--
Thanks and Regards,
Sumit

On 31 March 2016 at 22:37, Cristian Cadar <c.cadar at imperial.ac.uk> wrote:

> KLEE 1.2.0 is now available at
> https://github.com/klee/klee/releases/tag/v1.2.0.
>
> A list of changes and bug fixes can be found below.  Thanks to everyone
> for their contributions!
>
> Best,
> Cristian
>
>
> KLEE 1.2.0, 31 March 2016
> =========================
>
> * Added native support for Z3 (@delcypher)
> * Made it possible to build KLEE without using STP and only MetaSMT
> (@delcypher)
> * Added support for tcmalloc, which allows KLEE to better track memory
> consumption (@MartinNowack)
> * Added support for lowering the ``llvm.objectsize`` intrinsic (@delcypher)
> * Added soname for Runtest dynamic library (@MartinNowack)
> * Added support to load libraries from command line (@omeranson)
> * Added command line flag --silent-klee-assume to suppress errors due to
> infeasible assumptions (Valentin Wüstholz, @wuestholz)
> * Changed code to print out arrays deterministically (@MartinNowack)
> * Improved klee-clang script (@msoos)
> * Added code to dump queries and assignments (@MartinNowack)
> * Code cleanup and refactorings (@delcypher, @MartinNowack)
> * Improvements to code infrastructure (@delcypher, @domainexpert,
> @MartinNowack, @mdimjasevic, @msoos)
> * Fixed several memory leaks (@delcypher)
> * Fixed a bug with how non-power of 2 values were written to memory
> (@kren1)
> * Fixed valueIsOnlyCalled() used by MD2U (@yotann)
> * Fixed SELinux signatures (@lszekeres)
> * Fixed incorrect position of Not in Expr::Kind (@delcypher)
> * Fixed wrong std::vector usage after reserve() call (@pollnossa)
> * Improved documentation (@bananaappletw, @ccadar, @delcypher,
> @mdimjasevic, @Teemperor, @ward, @wuestholz)
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed