zwkylkx

I am using ocaml version 4.13.1

I just tried Ocaml 4.07.1 compiler, it still doesn't work [ProVerif-ATP make failed-4.07.1.txt](https://github.com/darrenldl/ProVerif-ATP/files/11928869/ProVerif-ATP.make.failed-4.07.1.txt)

I am working on formal verification. I have try the XOR-ProVerif to resolve the xor in multi-factor authentication protocol, but I just always failed to build SWI-Prolog 5.6.14 which is...

OK sure Thank you very much for your help!