From da1e23074c6f5712e617151a110e80078492d413 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Sat, 17 Nov 2012 00:11:27 -0800 Subject: [PATCH] common: update comment --- common.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/common.cc b/common.cc index bbb3053..f8df133 100644 --- a/common.cc +++ b/common.cc @@ -77,6 +77,8 @@ void model_assert(bool expr, const char *file, int line) * output much data, we will need to buffer it in user-space during execution. * This also means that if ModelChecker decides not to print an execution, it * should promptly clear the pipe. + * + * This function should only be called once. */ void redirect_output() { -- 2.34.1