aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/crypto-algorithms/rot-13_test.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-28 22:10:50 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-28 22:10:50 +0100
commit253446c20b5aa03014fd04bcb21e6fd607a3ac5a (patch)
treebe1b6c9f74d36f0332e7935adbb6a3ab61bbc8b5 /test/monniaux/crypto-algorithms/rot-13_test.c
parent88a8995fbbb9242d1f97110e79badd608dd03f6b (diff)
downloadcompcert-kvx-253446c20b5aa03014fd04bcb21e6fd607a3ac5a.tar.gz
compcert-kvx-253446c20b5aa03014fd04bcb21e6fd607a3ac5a.zip
crypto algorithms from https://github.com/B-Con/crypto-algorithms/
Diffstat (limited to 'test/monniaux/crypto-algorithms/rot-13_test.c')
-rw-r--r--test/monniaux/crypto-algorithms/rot-13_test.c44
1 files changed, 44 insertions, 0 deletions
diff --git a/test/monniaux/crypto-algorithms/rot-13_test.c b/test/monniaux/crypto-algorithms/rot-13_test.c
new file mode 100644
index 00000000..a6fd01d7
--- /dev/null
+++ b/test/monniaux/crypto-algorithms/rot-13_test.c
@@ -0,0 +1,44 @@
+/*********************************************************************
+* Filename: rot-13_test.c
+* Author: Brad Conte (brad AT bradconte.com)
+* Copyright:
+* Disclaimer: This code is presented "as is" without any guarantees.
+* Details: Performs known-answer tests on the corresponding ROT-13
+ implementation. These tests do not encompass the full
+ range of available test vectors, however, if the tests
+ pass it is very, very likely that the code is correct
+ and was compiled properly. This code also serves as
+ example usage of the functions.
+*********************************************************************/
+
+/*************************** HEADER FILES ***************************/
+#include <stdio.h>
+#include <string.h>
+#include "rot-13.h"
+
+/*********************** FUNCTION DEFINITIONS ***********************/
+int rot13_test()
+{
+ char text[] = {"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"};
+ char code[] = {"NOPQRSTUVWXYZABCDEFGHIJKLMnopqrstuvwxyzabcdefghijklm"};
+ char buf[1024];
+ int pass = 1;
+
+ // To encode, just apply ROT-13.
+ strcpy(buf, text);
+ rot13(buf);
+ pass = pass && !strcmp(code, buf);
+
+ // To decode, just re-apply ROT-13.
+ rot13(buf);
+ pass = pass && !strcmp(text, buf);
+
+ return(pass);
+}
+
+int main()
+{
+ printf("ROT-13 tests: %s\n", rot13_test() ? "SUCCEEDED" : "FAILED");
+
+ return(0);
+}