From e3b58660760830e774eff283f957ac5abb8a9b47 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <pcc@google.com>
Date: Thu, 3 Apr 2014 23:53:01 -0700
Subject: Add the ability to control whether the pretty printer uses line
 breaks

This change makes it possible to more reliably write unit tests which check
that an expression is equivalent to an expected pretty printed string.
---
 include/klee/util/ExprPPrinter.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'include')

diff --git a/include/klee/util/ExprPPrinter.h b/include/klee/util/ExprPPrinter.h
index 4d1930d8..cf4ebb18 100644
--- a/include/klee/util/ExprPPrinter.h
+++ b/include/klee/util/ExprPPrinter.h
@@ -25,6 +25,7 @@ namespace klee {
     virtual ~ExprPPrinter() {}
 
     virtual void setNewline(const std::string &newline) = 0;
+    virtual void setForceNoLineBreaks(bool forceNoLineBreaks) = 0;
     virtual void reset() = 0;
     virtual void scan(const ref<Expr> &e) = 0;
     virtual void print(const ref<Expr> &e, unsigned indent=0) = 0;
-- 
cgit 1.4.1