Yes, there is a bug for now in the “Run” feature (by opposition to “Debug”) that prevents it to flash the program; we’re working on this and it will be fixed in a future release.
In the mean-time, if you want to test a program compiled in the Release configuration (to check that optimization does not break anything) you may create a second debug configuration where:
- In the Main tab
- Select “Release/program.elf” as program to execute
- Use the Release configuration
- In the Startup tab:
- Uncheck “Load symbols” (there is no symbols in a program compiled in the Release configuration)
- Uncheck “Set breakpoint at: main” (there is no symbols)
Then you can start your program by debugging using this configuration; it will be flashed and started. However, when your test is finished, you should go to the Debug perspective (top right button) and stop the debugger (hitting the red square button); if you wand your program to run again, just hit the reset button on the board.