From 2cb6908fc6c8b4a9c64a05eaccd7a3a7f3baf135 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 12 Jul 2015 20:37:57 -0700
Subject: Print-out for char arrays.

---
 src/misc/vec/vecStr.h | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'src/misc/vec/vecStr.h')

diff --git a/src/misc/vec/vecStr.h b/src/misc/vec/vecStr.h
index d183ae24..f5f3e9be 100644
--- a/src/misc/vec/vecStr.h
+++ b/src/misc/vec/vecStr.h
@@ -578,6 +578,26 @@ static inline char Vec_StrPop( Vec_Str_t * p )
     return p->pArray[--p->nSize];
 }
 
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+static inline Vec_StrIntPrint( Vec_Str_t * p )
+{
+    int i;
+    printf( "Vector has %d entries: {", Vec_StrSize(p) );
+    for ( i = 0; i < Vec_StrSize(p); i++ )
+        printf( " %d", Vec_StrEntry(p, i) );
+    printf( " }\n" );
+}
+
 /**Function*************************************************************
 
   Synopsis    []
-- 
cgit v1.2.3