Programming Languages Research Group: Git - model-checker.git/atom - output.h historyC++11 memory model checkerhttp://plrg.eecs.uci.edu/git/?p=model-checker.gitBrian Demskystatic/git-favicon.pngstatic/git-logo.png2012-11-20T00:38:28Zgitweboutput: don't redirect any output for DEBUG builds2012-11-20T00:37:26ZBrian Norrisbanorris@uci.eduBrian Norrisbanorris@uci.edu2012-11-20T00:37:26Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=222118f318e4788839083a6d99aa7309246243e7
output: don't redirect any output for DEBUG builds