X-Git-Url: http://git.euphorik.ch/?p=crypto_lab2.git;a=blobdiff_plain;f=labo2-fsharp%2FCryptoFile%2FUnitTests.fs;fp=labo2-fsharp%2FCryptoFile%2FUnitTests.fs;h=7345538945b072ec16a7cf6310c2486bfec27764;hp=203f789ec1326e54c676cb9511df5ce1cc04fc50;hb=95f772ef77baee15929c1feccc4de4c9a795f81d;hpb=0126bf5a082b8e37ad1dc5f7686802146269ae97

diff --git a/labo2-fsharp/CryptoFile/UnitTests.fs b/labo2-fsharp/CryptoFile/UnitTests.fs
index 203f789..7345538 100644
--- a/labo2-fsharp/CryptoFile/UnitTests.fs
+++ b/labo2-fsharp/CryptoFile/UnitTests.fs
@@ -19,7 +19,7 @@ module UnitTests =
     let testRSASignature () =
         let kpub, kpriv = generateRSAKeysPair
         let plaintext = "Lightspeed is too slow. We'll have to go right to ludicrous speed!"
-        let sha256 = new SHA256Managed ()
+        use sha256 = new SHA256Managed ()
         let signature = signRSA kpriv (sha256.ComputeHash (Encoding.UTF8.GetBytes plaintext))
         assert verifySignRSA kpub (sha256.ComputeHash (Encoding.UTF8.GetBytes plaintext)) signature
         assert not (verifySignRSA kpub (sha256.ComputeHash (Encoding.UTF8.GetBytes "Hello!")) signature)
@@ -27,19 +27,19 @@ module UnitTests =
 
     let testAES () =
         let plaintext = "There is no place like 127.0.0.1"
-        let memory = new MemoryStream ()
+        use memory = new MemoryStream ()
         let key = Crypto.rand 16
         let iv = Crypto.rand 16
 
         let input = encryptAES key iv memory
-        let sw = new StreamWriter (input)
+        use sw = new StreamWriter (input)
         sw.Write plaintext
         sw.Flush ()
         input.FlushFinalBlock ()
 
         memory.Position <- 0L
         let output = decryptAES key iv memory
-        let sr = new StreamReader (output)
+        use sr = new StreamReader (output)
 
         assert (sr.ReadToEnd () = plaintext)
         printfn "testAES OK"