How can we plan to construct oracles while testing Coreutils using KLEE? Sent on the go with Vodafone -------------- next part -------------- HTML attachment scrubbed and removed