Look at these commits:
https://github.com/klee/klee/commit/c7e5ed32a3cb869d63fbb3f98b55035cbc4bbcf7
https://github.com/klee/klee/commit/512b9f16e1c7ef23c8adc25cb435517de6bf3e81
Cristian
On 01/04/16 01:10, Sumit Kumar wrote:
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 <[email protected]
<mailto:[email protected]>> 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
[email protected] <mailto:[email protected]>
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
