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

From 406e1900f38e6ca43e74c98a5de0c1ec0f3e3213 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 | 48 +++++++++++-----------------------------
 1 file changed, 13 insertions(+), 35 deletions(-)

diff --git a/src/boards/mcu/stm32/utilities.c b/src/boards/mcu/stm32/utilities.c
index 8861235..583cae1 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

-    {
-        return '?';
-    }
+    memset(dst, value, size);
 }
-- 
2.17.1

