use fiu.h instead of fiu-local.h

This commit is contained in:
Michael Rash
2014-05-26 15:54:12 -04:00
parent e893ecad21
commit ddaf0134d6
5 changed files with 11 additions and 5 deletions
+1 -1
View File
@@ -38,7 +38,7 @@
#endif
#if HAVE_LIBFIU
#include <fiu-local.h>
#include <fiu.h>
#include <fiu-control.h>
#endif
+1 -1
View File
@@ -36,7 +36,7 @@
#endif
#if HAVE_LIBFIU
#include <fiu-local.h>
#include <fiu.h>
#endif
#include <stdio.h>
+6
View File
@@ -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;
+1 -1
View File
@@ -1,6 +1,6 @@
#include <stdio.h>
#include <stdlib.h>
#include <fiu-local.h>
#include <fiu.h>
#include <fiu-control.h>
#include "fko.h"
+2 -2
View File
@@ -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
},
);