diff --git a/frameworks/SPASSmeter/lib/parameters.txt b/frameworks/SPASSmeter/lib/parameters.txt new file mode 100644 index 0000000000000000000000000000000000000000..11a99abd5e7a7e3868345c3c9093701cc4d9e426 --- /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 + +