From c9fa62ae097f0ef6e609fdc645d2b2783624dd4f Mon Sep 17 00:00:00 2001 From: "John L. Singleton" Date: Tue, 1 Sep 2015 16:12:01 -0400 Subject: [PATCH] added openjml-rac example --- docs/recipes.rst | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/docs/recipes.rst b/docs/recipes.rst index 22a511b..6244ad4 100644 --- a/docs/recipes.rst +++ b/docs/recipes.rst @@ -25,6 +25,34 @@ More About this Tool: Runtime Assertion Checking -------------------------- +Runtime Assertion Checking work by first compiling your program and then running it with the assertions added to your program. The listing below shows both checks configured. Note that the jml-java-7 specs have been configured. + +.. code-block:: yaml + + checks : + - name : openjml-rac-compile + description : "OpenJML All File RAC Compile" + check : rac-compile + paths : [MaybeAdd.java] + classpath : [] + out : out # the compile output directory + tool: + name : openjml-rac + + specs: + - name: jml-java-7 + + - name : openjml-rac-run + description : "OpenJML All File RAC Check" + check : rac-check + main : MaybeAdd # your main class + paths : [MaybeAdd.java] + classpath : [] + out : out # the compile output directory + tool: + name : openjml-rac + + Extended Static Checking ------------------------