[klee-dev] Trailing spaces

[Insu Yun]

Dear all.

Hi. I am using vim editor with checking trailing space plug-in.
Because of that, I see many unnecessary trailing spaces in klee source code.
[image: Inline image 1]

As you can see it, It looks not good. and it is waste of bytes (even though
it is very small)
How about removing these trailing spaces?

========================================
#!/usr/bin/ruby
Dir['klee/**/**'].each do |fn|
  if(fn.end_with?(".cpp") || fn.end_with?(".h"))
    x = File.read(fn);
    File.write(fn, x.gsub(/[ \t]+$/,""))
  end
end
=========================================

The above script will remove all trailing spaces.
I am sorry it is ruby, not python.


-- 
Regards
Insu Yun
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 4666 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150312/25ecfcba/attachment.png>