VIM plugin to show a quickfix list of parse and type errors for classical B machines (.mch) using the command line tool of the ProB animator and model checker for the B-Method.

To install, depending on how you manage your VIM plugins place the corresponding snippet in .vimrc or execute the corresponding commands:

Plugin 'bivab/prob.vim'

NeoBundle 'bivab/prob.vim'

cd ~/.vim/bundle
git clone https://github.com/bivab/prob.vim

If you do not wan't to use a plugin manager, place a of copy the contents of this repository into the directores with the corresponding names within your ~/.vim directory.

This plugin depends on ProB CLI which is shipped with ProB, Additionally the ProB parser depends on Java 7 or later, see Java requirements for B parser for details.

The plugin expects the probcli binary in the current $PATH. The path to the binary can be configured by overriding the g:prob_parser variable in your VIM configuration.

let g:prob_parser = "~/some_path/probcli"