diff contrib/reghunt/examples/30643.config @ 0:a06113de4d67

first commit
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Fri, 17 Jul 2009 14:47:48 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/contrib/reghunt/examples/30643.config	Fri Jul 17 14:47:48 2009 +0900
@@ -0,0 +1,19 @@
+BUGID=30643
+FIND=break
+LANG=c
+BUILD_KIND=simple
+BUG_KIND=ice-on-valid-code
+OPTS="-O2"
+REG_TARGET=i686-linux
+
+. ./common.config
+
+REG_TEST=${BUGID}.test
+
+#LOW_PATCH=11
+#HIGH_PATCH=21
+
+#msg 0 'NOTE: skipping low patch, already verified'
+#SKIP_LOW=1
+msg 0 'NOTE: skipping high patch, already verified'
+SKIP_HIGH=1