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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
