blob: 72b0e46107886cc9773814c1f468c62059b5a03f (
plain)
1
2
3
4
5
6
7
8
9
|
# Vim syntax highlighting for Certora
`syntax.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.
|