draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

Run ocp-indent on all .ml and .mli files in cbat_tools #287

Closed gltrost closed 3 years ago

gltrost commented 3 years ago

Adresses issue #286. I ran ocp-indent -i on all .ml and .mli files I could manually find, including those outside of wp. This will allow our code to be more compliant with standard OCaml style.

codyroux commented 3 years ago

Sorry for your hard work Greg, but it sounds like the consensus is that the bang/buck ratio is too low on this one.