From 1ab4f7aed0a95430f87dd851d1b31e839174c391 Mon Sep 17 00:00:00 2001 From: Lucas Cordeiro Date: Sat, 10 Nov 2018 17:11:52 +0000 Subject: [PATCH] Updated README file to include JBMC Updated README file to describe how to build the JBMC wrapper script and how to obtain the Benchexec tool script and benchmark definition. --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 7a9ec80..7b07753 100644 --- a/README.md +++ b/README.md @@ -10,16 +10,18 @@ If you you want to build the wrapper script only, use `make` tool`-wrapper` -where tool is `cbmc` or `2ls`. +where tool is `cbmc`, `jbmc` or `2ls`. #### Benchexec tool script * CBMC: https://github.com/sosy-lab/benchexec/blob/master/benchexec/tools/cbmc.py +* JBMC: https://github.com/sosy-lab/benchexec/blob/master/benchexec/tools/jbmc.py * 2LS: https://github.com/sosy-lab/benchexec/blob/master/benchexec/tools/two_ls.py #### Benchexec benchmark definition * CBMC: https://github.com/sosy-lab/sv-comp/blob/master/benchmark-defs/cbmc.xml +* JBMC: https://github.com/sosy-lab/sv-comp/blob/master/benchmark-defs/jbmc.xml * 2LS: https://github.com/sosy-lab/sv-comp/blob/master/benchmark-defs/2ls.xml #### License