added firm ini file, so options can be specified in here
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 1 Aug 2006 10:56:31 +0000 (10:56 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 1 Aug 2006 10:56:31 +0000 (10:56 +0000)
ir/be/test/firm.ini [new file with mode: 0644]

diff --git a/ir/be/test/firm.ini b/ir/be/test/firm.ini
new file mode 100644 (file)
index 0000000..494846f
--- /dev/null
@@ -0,0 +1,4 @@
+firm.be.ra.chordal.jc.jvm  = /usr/public/java/jdk1.5.0_04/jre/lib/i386/client/libjvm.so
+firm.be.ra.chordal.copymin = heur3
+firm.be.ra.chordal.spill   = morgan
+firm.be.ra.chordal.copymin_stats = false