projects / cparser / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f90b5c3)
do extensive verification by default
authorMatthias Braun <matze@braunis.de>
Wed, 27 Apr 2011 16:26:45 +0000 (18:26 +0200)
committerMatthias Braun <matze@braunis.de>
Wed, 27 Apr 2011 16:27:32 +0000 (18:27 +0200)
driver/firm_cmdline.c patch | blob | history

diff --git a/driver/firm_cmdline.c b/driver/firm_cmdline.c
index 57dfc39..c500848 100644 (file)
--- a/driver/firm_cmdline.c
+++ b/driver/firm_cmdline.c
@@ -28,7 +28,7 @@ struct a_firm_opt firm_opt = {
   /* no_alias        = */ false,
   /* fp_model        = */ fp_model_precise,
   /* verify          = */ FIRM_VERIFICATION_ON,
-  /* check_all       = */ false,
+  /* check_all       = */ true,
   /* clone_threshold = */ DEFAULT_CLONE_THRESHOLD,
   /* inline_maxsize  = */ 750,
   /* inline_threshold= */ 0,
cparser