Style Guide

Consistent style is important for readability; we do not care particularly what the style is, so long as it's consistent. However, Vampire has had many authors, not all of whom used the same style. Therefore: try and match the existing style in a file where possible.

If you are making a new file, try and match the overall "house style" as best you can. Experimentally, the ClangFormat configuration file found in .clang-format matches the current Vampire style relatively well.