diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-28 22:10:50 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-28 22:10:50 +0100 |
commit | 253446c20b5aa03014fd04bcb21e6fd607a3ac5a (patch) | |
tree | be1b6c9f74d36f0332e7935adbb6a3ab61bbc8b5 /test/monniaux/crypto-algorithms/rot-13_test.c | |
parent | 88a8995fbbb9242d1f97110e79badd608dd03f6b (diff) | |
download | compcert-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.c | 44 |
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); +} |