You've already forked code_examples_server
mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
7 lines
273 B
Plaintext
7 lines
273 B
Plaintext
|
pragma Profile(GNAT_Extended_Ravenscar);
|
||
|
|
pragma Partition_Elaboration_Policy(Sequential);
|
||
|
|
pragma SPARK_Mode (On);
|
||
|
|
pragma Warnings (Off, "no Global contract available");
|
||
|
|
pragma Warnings (Off, "subprogram * has no effect");
|
||
|
|
pragma Warnings (Off, "file name does not match");
|