You've already forked Compile_And_Prove_Demo
mirror of
https://github.com/AdaCore/Compile_And_Prove_Demo.git
synced 2026-02-12 12:45:02 -08:00
6 lines
226 B
YAML
6 lines
226 B
YAML
name: Communications
|
|
description: >
|
|
This shows basic use of a protected object to communicate between two tasks.
|
|
In the initial version, two tasks may access concurrently a global variable
|
|
without adequate synchronization.
|