blob: 215fc3cfcce45e45f8ecfe4df5d813217d72de7e (
plain)
1
2
3
4
5
6
7
8
9
|
# Vim syntax highlighting for Certora
`certora.vim` provides Vim syntax highlighting directives for Certora prover's
specification language. Put it in your `~/.vim/syntax/` directory, and add a
`~/.vim/ftdetect/certora.vim` file with
autocmd BufNewFile,BufRead *.spec set filetype=certora
for autodetection of the spec filetype.
|