default copy min ist heur2
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 1 Aug 2006 11:03:54 +0000 (11:03 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 1 Aug 2006 11:03:54 +0000 (11:03 +0000)
ir/be/test/firm.ini

index 494846f..942d849 100644 (file)
@@ -1,4 +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.copymin = heur2
 firm.be.ra.chordal.spill   = morgan
 firm.be.ra.chordal.copymin_stats = false