projects
/
crypto_lab2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Clean up.
[crypto_lab2.git]
/
labo2-fsharp
/
CryptoFileTests
/
Tests.fs
diff --git
a/labo2-fsharp/CryptoFileTests/Tests.fs
b/labo2-fsharp/CryptoFileTests/Tests.fs
index
dd1b3e0
..
eb8a290
100644
(file)
--- a/
labo2-fsharp/CryptoFileTests/Tests.fs
+++ b/
labo2-fsharp/CryptoFileTests/Tests.fs
@@
-24,10
+24,12
@@
let doSomeTests () =
let decrypt () =
API.decryptFile cipherFilename "." keySigPub keyCryptPriv
let decrypt () =
API.decryptFile cipherFilename "." keySigPub keyCryptPriv
- let
writeByteToCipherFileAt byte
position =
- using (new FileStream (cipherFilename, FileMode.Open, FileAccess.Write))
+ let
incrementByteCipherFileAt
position =
+ using (new FileStream (cipherFilename, FileMode.Open, FileAccess.
Read
Write))
(fun fs -> fs.Position <- position
(fun fs -> fs.Position <- position
- fs.Write ([| byte |], 0, 1))
+ let byte = fs.ReadByte () |> byte
+ fs.Position <- position
+ fs.Write ([| byte + 1uy |], 0, 1)) // Automatically modulo 256.
encrypt ()
File.Delete plainFilename
encrypt ()
File.Delete plainFilename
@@
-35,7
+37,7
@@
let doSomeTests () =
assert (File.ReadAllText plainFilename = fileContent)
printfn "== Altering the MAC..."
assert (File.ReadAllText plainFilename = fileContent)
printfn "== Altering the MAC..."
-
writeByteToCipherFileAt 0uy
0L
+
incrementByteCipherFileAt
0L
try
decrypt ()
assert false
try
decrypt ()
assert false
@@
-44,7
+46,7
@@
let doSomeTests () =
printfn "== Altering the signature..."
encrypt ()
printfn "== Altering the signature..."
encrypt ()
-
writeByteToCipherFileAt 0uy
32L
+
incrementByteCipherFileAt
32L
try
decrypt ()
assert false
try
decrypt ()
assert false
@@
-53,16
+55,16
@@
let doSomeTests () =
printfn "== Altering the keys..."
encrypt ()
printfn "== Altering the keys..."
encrypt ()
-
writeByteToCipherFileAt 0uy
(32L + 256L)
+
incrementByteCipherFileAt
(32L + 256L)
try
decrypt ()
assert false
with
| error -> assert (error :? UnableToDecryptAESKeys)
try
decrypt ()
assert false
with
| error -> assert (error :? UnableToDecryptAESKeys)
- printfn "== Altering the cypher
ing
..."
+ printfn "== Altering the cypher
text
..."
encrypt ()
encrypt ()
-
writeByteToCipherFileAt 0uy
(32L + 256L + 256L)
+
incrementByteCipherFileAt
(32L + 256L + 256L)
try
decrypt ()
assert false
try
decrypt ()
assert false