chapuni added a comment. @aizatsky, Yes, I can let sancov (and symbolize) work on both py2 and py3. May I commit changes (and pull them into release_40)? After my investigation, String.format() is just *strongly suggested*. Repository: rL LLVM https://reviews.llvm.org/D27405