diff options
author | Joachim StroĢmbergson <joachim@secworks.se> | 2015-05-22 10:41:44 +0200 |
---|---|---|
committer | Joachim StroĢmbergson <joachim@secworks.se> | 2015-05-22 10:41:44 +0200 |
commit | 214ebcd9ecf76c8848080ab2d7a3a4f00c98ecda (patch) | |
tree | f1427a34afb250bfc45d51f67ebbcd2d28f9e41d /src/model | |
parent | 3e8d9c71f4d15be7f1aac3bba94a0964e122f255 (diff) |
Removed file that should not have been in the repo.
Diffstat (limited to 'src/model')
-rw-r--r-- | src/model/c/src/bajs.c | 226 |
1 files changed, 0 insertions, 226 deletions
diff --git a/src/model/c/src/bajs.c b/src/model/c/src/bajs.c deleted file mode 100644 index e064fb8..0000000 --- a/src/model/c/src/bajs.c +++ /dev/null @@ -1,226 +0,0 @@ -#include <stdio.h> -#include <stdlib.h> -#include "montgomery_array.h" -#include "bignum_uint32_t.h" -void autogenerated_BASIC_M4962768465676381896(void) { - printf("=== autogenerated_BASIC_M4962768465676381896 ===\n"); - uint32_t X[] = { 0x00000001, 0x946473e1 }; - uint32_t E[] = { 0x00000001, 0x0e85e74f }; - uint32_t M[] = { 0x00000001, 0x70754797 }; - uint32_t expected[] = { 0x00000000, 0x7761ed4f }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_8982867242010371843(void) { - printf("=== autogenerated_BASIC_8982867242010371843 ===\n"); - uint32_t X[] = { 0x00000001, 0x6eb4ac2d }; - uint32_t E[] = { 0x00000001, 0xbb200e41 }; - uint32_t M[] = { 0x00000001, 0x27347dc3 }; - uint32_t expected[] = { 0x00000000, 0x87d16204 }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_5090788032873075449(void) { - printf("=== autogenerated_BASIC_5090788032873075449 ===\n"); - uint32_t X[] = { 0x00000001, 0x9e504a03 }; - uint32_t E[] = { 0x00000001, 0x9bc057ef }; - uint32_t M[] = { 0x00000001, 0xc8b53fe5 }; - uint32_t expected[] = { 0x00000001, 0xc1a6494c }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_8448510918869952728(void) { - printf("=== autogenerated_BASIC_8448510918869952728 ===\n"); - uint32_t X[] = { 0x00000001, 0x73f7b309 }; - uint32_t E[] = { 0x00000001, 0x91c10f7f }; - uint32_t M[] = { 0x00000001, 0x4be322c9 }; - uint32_t expected[] = { 0x00000000, 0x9a155286 }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_4036237668019554146(void) { - printf("=== autogenerated_BASIC_4036237668019554146 ===\n"); - uint32_t X[] = { 0x00000001, 0xd0f3961d }; - uint32_t E[] = { 0x00000001, 0xcdbc9c9d }; - uint32_t M[] = { 0x00000001, 0x30367d5b }; - uint32_t expected[] = { 0x00000001, 0x15a9c15d }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_M8925041444689012509(void) { - printf("=== autogenerated_BASIC_M8925041444689012509 ===\n"); - uint32_t X[] = { 0x00000001, 0x34130e17 }; - uint32_t E[] = { 0x00000001, 0xf45e52c9 }; - uint32_t M[] = { 0x00000001, 0x9cb5c68d }; - uint32_t expected[] = { 0x00000000, 0x7c129d37 }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_M5713608137760059379(void) { - printf("=== autogenerated_BASIC_M5713608137760059379 ===\n"); - uint32_t X[] = { 0x00000001, 0x77505dbd }; - uint32_t E[] = { 0x00000001, 0xdb808627 }; - uint32_t M[] = { 0x00000001, 0xad1fed09 }; - uint32_t expected[] = { 0x00000001, 0x842cd733 }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_6816968587684568101(void) { - printf("=== autogenerated_BASIC_6816968587684568101 ===\n"); - uint32_t X[] = { 0x00000001, 0x3272b6ef }; - uint32_t E[] = { 0x00000001, 0x2cb6c09b }; - uint32_t M[] = { 0x00000001, 0xefbc64fd }; - uint32_t expected[] = { 0x00000001, 0x59c3b603 }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_4168013900853404774(void) { - printf("=== autogenerated_BASIC_4168013900853404774 ===\n"); - uint32_t X[] = { 0x00000001, 0x3c20bbcf }; - uint32_t E[] = { 0x00000001, 0xa495d8ab }; - uint32_t M[] = { 0x00000001, 0x75ddb9ef }; - uint32_t expected[] = { 0x00000001, 0x1413eac7 }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_M8394821325674331878(void) { - printf("=== autogenerated_BASIC_M8394821325674331878 ===\n"); - uint32_t X[] = { 0x00000001, 0x93d3d0d3 }; - uint32_t E[] = { 0x00000001, 0x43c2dfef }; - uint32_t M[] = { 0x00000001, 0x7443cbf1 }; - uint32_t expected[] = { 0x00000000, 0xc2eda7c3 }; - uint32_t Z[] = { 0x00000000, 0x00000000 }; - mod_exp_array(2, X, E, M, Z); - assertArrayEquals(2, expected, Z); -} -void autogenerated_BASIC_M2919828800172604435(void) { - printf("=== autogenerated_BASIC_M2919828800172604435 ===\n"); - uint32_t X[] = { 0x3d746ec5 }; - uint32_t E[] = { 0x3f7ea6d5 }; - uint32_t M[] = { 0x29b6675f }; - uint32_t expected[] = { 0x040c43d8 }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_4770912732078070597(void) { - printf("=== autogenerated_BASIC_4770912732078070597 ===\n"); - uint32_t X[] = { 0x200c0f45 }; - uint32_t E[] = { 0x24774bab }; - uint32_t M[] = { 0x234ca073 }; - uint32_t expected[] = { 0x14505436 }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_3593487472385409519(void) { - printf("=== autogenerated_BASIC_3593487472385409519 ===\n"); - uint32_t X[] = { 0x248819d1 }; - uint32_t E[] = { 0x2ad2b6ed }; - uint32_t M[] = { 0x269cc6bf }; - uint32_t expected[] = { 0x0f09d466 }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_4981749054780354961(void) { - printf("=== autogenerated_BASIC_4981749054780354961 ===\n"); - uint32_t X[] = { 0x27bec4e7 }; - uint32_t E[] = { 0x36fe540f }; - uint32_t M[] = { 0x25a46d61 }; - uint32_t expected[] = { 0x0bab2269 }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_7702189670289360961(void) { - printf("=== autogenerated_BASIC_7702189670289360961 ===\n"); - uint32_t X[] = { 0x302def29 }; - uint32_t E[] = { 0x25b9c233 }; - uint32_t M[] = { 0x33af5461 }; - uint32_t expected[] = { 0x0229dc08 }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_M5169634701858105792(void) { - printf("=== autogenerated_BASIC_M5169634701858105792 ===\n"); - uint32_t X[] = { 0x240d8cf5 }; - uint32_t E[] = { 0x2a6a7381 }; - uint32_t M[] = { 0x3471d1e9 }; - uint32_t expected[] = { 0x244dec19 }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_6469444563916025786(void) { - printf("=== autogenerated_BASIC_6469444563916025786 ===\n"); - uint32_t X[] = { 0x3cc9270b }; - uint32_t E[] = { 0x27858fdd }; - uint32_t M[] = { 0x21e65001 }; - uint32_t expected[] = { 0x17200d8c }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_M2453278165832221565(void) { - printf("=== autogenerated_BASIC_M2453278165832221565 ===\n"); - uint32_t X[] = { 0x30ca6ceb }; - uint32_t E[] = { 0x212c387b }; - uint32_t M[] = { 0x2e07a7bb }; - uint32_t expected[] = { 0x0fc15a1f }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_M1847183855567461116(void) { - printf("=== autogenerated_BASIC_M1847183855567461116 ===\n"); - uint32_t X[] = { 0x3d02c5a1 }; - uint32_t E[] = { 0x35f12b45 }; - uint32_t M[] = { 0x32f0b03f }; - uint32_t expected[] = { 0x2340f96f }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_BASIC_M7037130911981370263(void) { - printf("=== autogenerated_BASIC_M7037130911981370263 ===\n"); - uint32_t X[] = { 0x2692d1cd }; - uint32_t E[] = { 0x3b21ef8d }; - uint32_t M[] = { 0x2042c76d }; - uint32_t expected[] = { 0x1b753aea }; - uint32_t Z[] = { 0x00000000 }; - mod_exp_array(1, X, E, M, Z); - assertArrayEquals(1, expected, Z); -} -void autogenerated_tests(void) { - autogenerated_BASIC_M4962768465676381896(); - autogenerated_BASIC_8982867242010371843(); - autogenerated_BASIC_5090788032873075449(); - autogenerated_BASIC_8448510918869952728(); - autogenerated_BASIC_4036237668019554146(); - autogenerated_BASIC_M8925041444689012509(); - autogenerated_BASIC_M5713608137760059379(); - autogenerated_BASIC_6816968587684568101(); - autogenerated_BASIC_4168013900853404774(); - autogenerated_BASIC_M8394821325674331878(); - autogenerated_BASIC_M2919828800172604435(); - autogenerated_BASIC_4770912732078070597(); - autogenerated_BASIC_3593487472385409519(); - autogenerated_BASIC_4981749054780354961(); - autogenerated_BASIC_7702189670289360961(); - autogenerated_BASIC_M5169634701858105792(); - autogenerated_BASIC_6469444563916025786(); - autogenerated_BASIC_M2453278165832221565(); - autogenerated_BASIC_M1847183855567461116(); - autogenerated_BASIC_M7037130911981370263(); -} |