Initial import

[jpf-core.git] / src / examples / NumericValueCheck.jpf

diff --git a/src/examples/NumericValueCheck.jpf b/src/examples/NumericValueCheck.jpf
new file mode 100644 (file)
index 0000000..6fa8a95
--- /dev/null
+++ b/src/examples/NumericValueCheck.jpf
@@ -0,0 +1,10 @@
+target = NumericValueCheck
+
+listener = .listener.NumericValueChecker
+
+# NumericValueChecker configuration
+range.vars = 1
+range.1.var = NumericValueCheck.main(java.lang.String[]):someVariable
+range.1.min = 0
+range.1.max = 42
+