ada-libraries
/
jwx
mirror of https://github.com/Componolit/jwx
1
0
Fork 0
Code Issues Releases Wiki Activity
jwx/spark.adc

3 lines
79 B
Plaintext
Raw Permalink Blame History

pragma SPARK_Mode (On);
pragma Assertion_Policy (Pre => Check, Post => Check);
Reference in New Issue View Git Blame Copy Permalink