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 index 0e84fc0b4..b0f8cb8e3 100644 --- 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 index 3761ec848..13f157b83 100644 --- 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 deleted file mode 100644 index 8c2eac58b..000000000 Binary files a/images/type_invariant_check_flow.png and /dev/null differ diff --git a/images/type_invariant_check_flow.svg b/images/type_invariant_check_flow.svg new file mode 100644 index 000000000..7551de7b5 --- /dev/null +++ b/images/type_invariant_check_flow.svg @@ -0,0 +1,439 @@ + + + +Exported Routine CallExported Routine CallImported Routine CallAutomaticType InvariantCheckNo invariant checksRaiseAssertion_ErrorException