Open patroclo77 opened 1 month ago
Could you please paste the output of alr show
when run in your crate workspace?
benchmark_tmpl_stm32_test_harness=0.1.0: Blinking LED on STM32 Origin: path /home/adalab/Ada_Projects/Spark_Benchmarks/Benchmark_Template_STM32_new Properties: Author: AdaCore, Olivier Henley Description: Blinking LED on STM32 Executable: stm32_benchmark_template License: BSD-3-Clause Maintainer: Olivier Henley olivier.henley@gmail.com Maintainers_Logins: ohenley Name: benchmark_tmpl_stm32_test_harness Tag: embedded Tag: stm32 Version: 0.1.0 Website: https://github.com/GNAT-Academic-Program/stm32_blinky_demo Dependencies (direct): stm32f4xxm_devebox0.1.0
bug_log.stderr.txt bug_log.stdout.txt