Skip to content
GitLab
Explore
Sign in
Daniel Liew
klee-cl
Repository
klee-cl
include
klee
KleeDebug.h
Find file
Blame
History
Permalink
Added KLEE_DEBUG() macro. It's main purpose is to only print out
· 49ebcb22
Daniel Liew
authored
Oct 24, 2013
comments when -debug-only=klee is passed AND we have a debug build.
49ebcb22