From ddaf0134d6d6b42284047ee6b543a6258c61e34d Mon Sep 17 00:00:00 2001
From: Michael Rash <mbr@cipherdyne.org>
Date: Mon, 26 May 2014 15:54:12 -0400
Subject: [PATCH] use fiu.h instead of fiu-local.h

---
 common/common.h                        | 2 +-
 lib/fko_common.h                       | 2 +-
 test/fko-wrapper/fko_basic.c           | 6 ++++++
 test/fko-wrapper/fko_fault_injection.c | 2 +-
 test/tests/fault_injection.pl          | 4 ++--
 5 files changed, 11 insertions(+), 5 deletions(-)

diff --git a/common/common.h b/common/common.h
index 71ac37d2..0e9cf91e 100644
--- a/common/common.h
+++ b/common/common.h
@@ -38,7 +38,7 @@
 #endif
 
 #if HAVE_LIBFIU
-  #include <fiu-local.h>
+  #include <fiu.h>
   #include <fiu-control.h>
 #endif
 
diff --git a/lib/fko_common.h b/lib/fko_common.h
index c7ad5d5a..b1c5284d 100644
--- a/lib/fko_common.h
+++ b/lib/fko_common.h
@@ -36,7 +36,7 @@
 #endif
 
 #if HAVE_LIBFIU
-  #include <fiu-local.h>
+  #include <fiu.h>
 #endif
 
 #include <stdio.h>
diff --git a/test/fko-wrapper/fko_basic.c b/test/fko-wrapper/fko_basic.c
index b82de518..7df787b9 100644
--- a/test/fko-wrapper/fko_basic.c
+++ b/test/fko-wrapper/fko_basic.c
@@ -1,7 +1,13 @@
 #include <stdio.h>
 #include <stdlib.h>
+#include "../../config.h"
 #include "fko.h"
 
+#if HAVE_LIBFIU
+  #include <fiu.h>
+  #include <fiu-control.h>
+#endif
+
 int main(void) {
     fko_ctx_t       ctx = NULL;
     int             res = 0;
diff --git a/test/fko-wrapper/fko_fault_injection.c b/test/fko-wrapper/fko_fault_injection.c
index 3bd0d836..689db1c7 100644
--- a/test/fko-wrapper/fko_fault_injection.c
+++ b/test/fko-wrapper/fko_fault_injection.c
@@ -1,6 +1,6 @@
 #include <stdio.h>
 #include <stdlib.h>
-#include <fiu-local.h>
+#include <fiu.h>
 #include <fiu-control.h>
 #include "fko.h"
 
diff --git a/test/tests/fault_injection.pl b/test/tests/fault_injection.pl
index f437e9c2..fe5c98be 100644
--- a/test/tests/fault_injection.pl
+++ b/test/tests/fault_injection.pl
@@ -57,8 +57,8 @@
         'function' => \&fiu_run_fault_injection,
         'cmdline' => "$fwknopCmd -A tcp/22 -a $fake_ip -D $loopback_ip --get-key " .
             "$local_key_file --no-save-args $verbose_str",
-        'fiu_injection_style' => 'enable_random name=libc/mm/*,probability=1',
-        'fiu_iterations' => 10
+        'fiu_injection_style' => 'enable_random name=libc/mm/*,probability=0.05',
+        'fiu_iterations' => 1000
     },
 
 );