Commit eb39b24e authored by Liam Andrieux's avatar Liam Andrieux
Browse files

Deleted unnecessary file and directories that could be build

parent 8aaa58c9
This diff is collapsed.
This diff is collapsed.
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE log4j:configuration SYSTEM "log4j.dtd">
<log4j:configuration xmlns:log4j="">
<appender name="DEBUGFILE" class="org.apache.log4j.RollingFileAppender">
<param name="Append" value="true"/>
<param name="File" value="C:/Users/pc/STM32CubeIDE/TestMinnow/.metadata/.ide.log"/>
<param name="MaxBackupIndex" value="1"/>
<param name="MaxFileSize" value="50MB"/>
<param name="Threshold" value="INFO"/>
<layout class="org.apache.log4j.PatternLayout">
<param name="ConversionPattern" value="%d{yyyy-MM-dd HH:mm:ss,SSS} [%p] %c{1}:%L - %m%n"/>
<level value="ALL"/>
<appender-ref ref="DEBUGFILE"/>
\ No newline at end of file
*** SESSION mars 11, 2021 15:45:16.09 ------------------------------------------
*** SESSION mars 13, 2021 13:37:34.56 ------------------------------------------
<?xml version="1.0" encoding="UTF-8"?>
<section name="Workbench">
<section name="org.eclipse.cdt.internal.ui.MakeView">
15:34:32 **** Incremental Build of configuration Debug for project MinnowServer ****
make -j4 all
arm-none-eabi-gcc -o "MinnowServer.elf" @"objects.list" -mcpu=cortex-m7 -T"C:\Users\pc\STM32CubeIDE\TestMinnow\MinnowServer\STM32F779NIHX_FLASH.ld" --specs=nosys.specs -Wl,-Map="" -Wl,--gc-sections -static --specs=nano.specs -mfpu=fpv5-d16 -mfloat-abi=hard -mthumb -Wl,--start-group -lc -lm -Wl,--end-group
Finished building target: MinnowServer.elf
arm-none-eabi-size MinnowServer.elf
arm-none-eabi-objdump -h -S MinnowServer.elf > "MinnowServer.list"
text data bss dec hex filename
23312 24 20600 43936 aba0 MinnowServer.elf
arm-none-eabi-objcopy -O binary MinnowServer.elf "MinnowServer.bin"
Finished building: default.size.stdout
Finished building: MinnowServer.list
Finished building: MinnowServer.bin
15:34:35 Build Finished. 0 errors, 0 warnings. (took 3s.439ms)
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project name="MinnowServer">
<provider id="org.eclipse.cdt.ui.provider1"/>
<?xml version="1.0" encoding="UTF-8"?>
<section name="Workbench">
<section name="completion_proposal_size">
<section name="org.eclipse.cdt.ui.text.hover.CMacroExpansionExploration">
<section name="OptionalMessageDialog.hide.">
<item key="askReindex.detail" value="0"/>
<section name="org.eclipse.cdt.ui.OPEN_ACTION_SELECTION_DIALOG_SECTION">
<item key="DIALOG_X_ORIGIN" value="757"/>
<item key="DIALOG_Y_ORIGIN" value="148"/>
<item key="DIALOG_WIDTH" value="398"/>
<item key="DIALOG_HEIGHT" value="438"/>
<item key="DIALOG_FONT_NAME" value="1|Segoe UI|9.0|0|WINDOWS|1|-12|0|0|0|400|0|0|0|1|0|0|0|0|Segoe UI"/>
This diff is collapsed.
/* Standard includes. */
#include <stdint.h>
#include <stdio.h>
/* FreeRTOS includes. */
#include "FreeRTOS.h"
#include "list.h"
/* FreeRTOS+TCP includes. */
#include "FreeRTOS_IP.h"
#include "FreeRTOS_IP_Private.h"
#include "FreeRTOS_Sockets.h"
#include "memory_assignments.c"
uint16_t prvGetPrivatePortNumber( BaseType_t xProtocol )
uint16_t usResult;
return usResult;
BaseType_t xIPIsNetworkTaskReady( void )
/* Return true saying that the task is ready. */
return pdTRUE;
/* Random number generator provided by the application. In our case, CBMC provides
* an indeterministic value. */
BaseType_t xApplicationGetRandomNumber( uint32_t * pulNumber )
__CPROVER_assert( pulNumber != NULL, "Argument to xApplicationGetRandomNumber cannot be NULL" );
if( nondet_bool() )
*pulNumber = nondet_uint32_t();
return 1;
*pulNumber = NULL;
return 0;
void harness()
FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated();
__CPROVER_assume( pxSocket != NULL );
struct freertos_sockaddr * pxBindAddress = safeMalloc( sizeof( struct freertos_sockaddr ) );
/* uxAddressLength is not used in this implementation. */
size_t uxAddressLength;
BaseType_t xInternal;
/* Call to init the socket list. */
vSocketBind( pxSocket, pxBindAddress, uxAddressLength, xInternal );
* The Ethernet header files for STM32F2, STM32F4 and STM32F7 have been merged to
* a single module that works for both parts: "stm32fxx_hal_eth"
#include "stm32fxx_hal_eth.h"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment