[prev in list] [next in list] [prev in thread] [next in thread]
List: klee-commits
Subject: [klee-commits] [ccadar/klee] ad0f0b: Replaced --libc=klee with --libc=uclibc in two tes...
From: c.cadar () imperial ! ac ! uk (Cristian Cadar)
Date: 2013-10-14 17:29:02
Message-ID: 525c29deb0bb9_276512afd54659c9 () hookshot-fe2-pe1-prd ! aws ! github ! net ! mail
[Download RAW message or body]
Branch: refs/heads/master
Home: https://github.com/ccadar/klee
Commit: ad0f0bd772ab8f03967a83bb8960658bf6caafa4
https://github.com/ccadar/klee/commit/ad0f0bd772ab8f03967a83bb8960658bf6caafa4
Author: Cristian Cadar <c.cadar at imperial.ac.uk>
Date: 2013-10-14 (Mon, 14 Oct 2013)
Changed paths:
M test/Runtime/POSIX/SeedAndFail.c
M test/Runtime/POSIX/Stdin.c
Log Message:
-----------
Replaced --libc=klee with --libc=uclibc in two tests (as for \
https://github.com/ccadar/klee/issues/32) and fixed an #include in one of the tests.
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic