From 5e9c512c87b052801b10c406d36e159e92111525 Mon Sep 17 00:00:00 2001
From: Jan Waller <jwa@informatik.uni-kiel.de>
Date: Mon, 19 May 2014 16:57:23 +0200
Subject: [PATCH] SPASSmeter/lib/parameters.txt

---
 frameworks/SPASSmeter/lib/parameters.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 frameworks/SPASSmeter/lib/parameters.txt

diff --git a/frameworks/SPASSmeter/lib/parameters.txt b/frameworks/SPASSmeter/lib/parameters.txt
new file mode 100644
index 0000000..11a99ab
--- /dev/null
+++ b/frameworks/SPASSmeter/lib/parameters.txt
@@ -0,0 +1,10 @@
+
+Change instrumentation:
+-----------------------
+ASM
+-Dspass-meter.iFactory=de.uni_hildesheim.sse.monitoring.runtime.instrumentation.asmTree.Factory
+
+Javassist (default)
+-Dspass-meter.iFactory=de.uni_hildesheim.sse.monitoring.runtime.instrumentation.javassist.Factory
+
+
-- 
GitLab