 -    {
 -        return '?';
 -    }
--}
 +    memset(dst, value, size);
-+}
-\ No newline at end of file
+ }
 -- 
-2.14.1
+2.17.1
 

 {
-    return ( int32_t )rand1( ) % ( max - min + 1 ) + min;
-}
+    return random_uint32_range(min, max + 1);
+};
 
 void memcpy1( uint8_t *dst, const uint8_t *src, uint16_t size )

From 1143af922083090a08761ab1a871c7922962218f Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Tue, 16 Jan 2018 15:04:09 +0100
Subject: [PATCH] patch utilities functions

---
 src/boards/mcu/stm32/utilities.c | 46 +++++++++-----------------------
 1 file changed, 12 insertions(+), 34 deletions(-)

diff --git a/src/boards/mcu/stm32/utilities.c b/src/boards/mcu/stm32/utilities.c
index 8861235..e339ba5 100644
--- a/src/boards/mcu/stm32/utilities.c
+++ b/src/boards/mcu/stm32/utilities.c
@@ -14,8 +14,10 @@ Maintainer: Miguel Luis and Gregory Cristian
