diff options
Diffstat (limited to 'ftplugin')
| -rw-r--r-- | ftplugin/smt2.vim | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/ftplugin/smt2.vim b/ftplugin/smt2.vim new file mode 100644 index 00000000..f84af275 --- /dev/null +++ b/ftplugin/smt2.vim @@ -0,0 +1,29 @@ +if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'smt2') != -1 + finish +endif + +setlocal iskeyword+=-,:,#,',$ + +" If no command for invoking a solver is specified in ~/.vimrc, test if either +" 'z3' or 'boolector' is accessible through $PATH (in that order) +if !exists("g:smt2_solver_command") + if executable("z3") + let g:smt2_solver_command = "z3" + elseif executable("boolector") + let g:smt2_solver_command = "boolector" + endif +endif + +" If no command line switch for printing the solver's version is specified in +" ~/.vimrc, use '--version' +if !exists("g:smt2_solver_version_switch") + let g:smt2_solver_version_switch = "--version" +endif + +" Mappings +nnoremap <silent> <buffer> <localleader>r :call smt2#RunSolver()<cr> +nnoremap <silent> <buffer> <localleader>R :call smt2#RunSolverAndShowResult()<cr> +nnoremap <silent> <buffer> <localleader>v :call smt2#PrintSolverVersion()<cr> + +" Comment String +setlocal commentstring=;%s |