Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Alr Edit But Detected #1724

Open
patroclo77 opened this issue Jul 28, 2024 · 2 comments
Open

Alr Edit But Detected #1724

patroclo77 opened this issue Jul 28, 2024 · 2 comments
Labels
type: bug Something isn't working

Comments

@patroclo77
Copy link

bug_log.stderr.txt
bug_log.stdout.txt
@mosteo mosteo added the type: bug Something isn't working label Jul 29, 2024
@mosteo
Copy link
Member

mosteo commented Jul 29, 2024

Could you please paste the output of alr show when run in your crate workspace?

@patroclo77
Copy link
Author

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type: bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mosteo @patroclo77