X-Git-Url: http://git.euphorik.ch/?p=crypto_lab2.git;a=blobdiff_plain;f=labo2-fsharp%2FCryptoFileTests%2FTests.fs;fp=labo2-fsharp%2FCryptoFileTests%2FTests.fs;h=03b5c4a3b137d1d64cd51fec37d4c6656b11a3ee;hp=aeea186d2bf60bc064f754017161ae09c4510313;hb=96cd30efb6e215aec86803cc2a5f0a601930be1d;hpb=57d7ae8d75a854296718cb1056efbeb476309908

diff --git a/labo2-fsharp/CryptoFileTests/Tests.fs b/labo2-fsharp/CryptoFileTests/Tests.fs
index aeea186..03b5c4a 100644
--- a/labo2-fsharp/CryptoFileTests/Tests.fs
+++ b/labo2-fsharp/CryptoFileTests/Tests.fs
@@ -72,7 +72,7 @@ let doSomeTests () =
             | error -> assert (error :? UnableToDecryptKeys)
     printfn ""
 
-    let cyphertextLength = (int (FileInfo (cipherFilename)).Length) + API.hmacSize + API.signatureSize + API.keysSize
+    let cyphertextLength = (int (FileInfo (cipherFilename)).Length) - API.hmacSize - API.signatureSize - API.keysSize
     printfn "== Altering the cyphertext... (%d bytes)" cyphertextLength
     for i in 0 .. cyphertextLength do 
         printf "."
@@ -88,4 +88,4 @@ let doSomeTests () =
     File.Delete cipherFilename
     File.Delete plainFilename
 
-    printfn "===== API tests OK"
+    printfn "===== API tests OK"
\ No newline at end of file