Adding type invariant diagram as svg (and removing old png)

AdaCore · Jan 7, 2025 · b1bd07f · b1bd07f
1 parent 9ade407
commit b1bd07f
Show file tree

Hide file tree

Showing 4 changed files with 441 additions and 2 deletions.
diff --git a/courses/fundamentals_of_ada/270_introduction_to_contracts/03-type_invariants.rst b/courses/fundamentals_of_ada/270_introduction_to_contracts/03-type_invariants.rst
@@ -62,7 +62,7 @@ Type Invariant
 Invariant Over Object Lifetime (Calls)
 ----------------------------------------
 
-.. image:: type_invariant_check_flow.png
+.. image:: type_invariant_check_flow.svg
 
 .. container:: speakernote
 

diff --git a/courses/fundamentals_of_ada/276_type_contracts/02-type_invariants.rst b/courses/fundamentals_of_ada/276_type_contracts/02-type_invariants.rst
@@ -48,7 +48,7 @@ Type Invariant Verifications
 Invariant Over Object Lifetime (Calls)
 ----------------------------------------
 
-.. image:: type_invariant_check_flow.png
+.. image:: type_invariant_check_flow.svg
 
 .. container:: speakernote
 

diff --git a/images/type_invariant_check_flow.png b/images/type_invariant_check_flow.png
diff --git a/images/type_invariant_check_flow.svg b/images/type_invariant_check_flow.svg