Added example source

goblint · Dec 6, 2024 · 2968963 · 2968963
1 parent 99cf805
commit 2968963
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...unit/cdomains/affineEqualityDomain/sparseImplementation/sparseMatrixImplementationTest.ml b/...unit/cdomains/affineEqualityDomain/sparseImplementation/sparseMatrixImplementationTest.ml
@@ -11,6 +11,7 @@ module Vector = SparseVector (D)
 module Matrix = ListMatrix (D) (SparseVector)
 
 let normalize _ =
+  (* Example from a [Youtube video](https://www.youtube.com/watch?v=TYs4h-AoqyQ)*)
   let width = 4 in
   let int x = D.of_int x in
   let any_matrix =