From: bdemsky <bdemsky@uci.edu>
Date: Tue, 11 Jul 2017 23:41:39 +0000 (-0700)
Subject: Updating format file
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=67679b601e2f6767cad6067c6ac502b261fe4d0d;p=satune.git

Updating format file
---

diff --git a/src/C.cfg b/src/C.cfg
index 7623926..641aede 100644
--- a/src/C.cfg
+++ b/src/C.cfg
@@ -6,10 +6,26 @@ output_tab_size = 2
 input_tab_size = 2
 nl_func_leave_one_liners = True
 sp_after_semi = Ignore
-sp_after_semi_for = Remove
-sp_before_semi_for = Ignore
+sp_after_semi_for = add 
+sp_before_semi_for = Remove
 sp_special_semi                           = ignore
 sp_before_semi                            = ignore
 sp_before_semi_for_empty                  = ignore
 sp_after_semi_for_empty                   = ignore
-sp_before_nl_cont	= ignore
\ No newline at end of file
+sp_before_nl_cont	= ignore
+sp_assign=add
+sp_inside_paren = remove
+sp_paren_brace = add
+sp_before_sparen = add
+sp_sparen_brace = add
+sp_fparen_brace = add
+sp_before_ptr_star = add
+sp_after_ptr_star = remove
+sp_between_ptr_star = remove
+sp_after_byref = remove
+sp_before_byref = add
+sp_else_brace = add
+sp_brace_else = add
+sp_arith = add
+sp_bool = add
+sp_compare = add