Skip to content

Commit b1bd07f

Browse files
dm-at-adadm-at-ada
committed
Adding type invariant diagram as svg (and removing old png)
1 parent 9ade407 commit b1bd07f

File tree

4 files changed

+441
-2
lines changed

4 files changed

+441
-2
lines changed

‎courses/fundamentals_of_ada/270_introduction_to_contracts/03-type_invariants.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ Type Invariant
6262
Invariant Over Object Lifetime (Calls)
6363
----------------------------------------
6464

65-
.. image:: type_invariant_check_flow.png
65+
.. image:: type_invariant_check_flow.svg
6666

6767
.. container:: speakernote
6868

‎courses/fundamentals_of_ada/276_type_contracts/02-type_invariants.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ Type Invariant Verifications
4848
Invariant Over Object Lifetime (Calls)
4949
----------------------------------------
5050

51-
.. image:: type_invariant_check_flow.png
51+
.. image:: type_invariant_check_flow.svg
5252

5353
.. container:: speakernote
5454

‎images/type_invariant_check_flow.png

-44.3 KB
Binary file not shown.

‎images/type_invariant_check_flow.svg

Lines changed: 439 additions & 0 deletions
Loading

0 commit comments

Comments
 (0)