diff options
author | David Phillips <david@sighup.nz> | 2017-12-28 19:58:57 +1300 |
---|---|---|
committer | David Phillips <david@sighup.nz> | 2017-12-28 20:23:38 +1300 |
commit | 7823d9c7e4f3c0485e8d96e44e0d94541762c6d1 (patch) | |
tree | 38588863cbdfc5752bc9d6473f6809fc478bda97 /logic.c | |
parent | 12fc1ad7e759715a11776298f6da6d946d75bbd1 (diff) | |
download | hence-7823d9c7e4f3c0485e8d96e44e0d94541762c6d1.tar.xz |
Move logic tests to test framework
Diffstat (limited to 'logic.c')
-rw-r--r-- | logic.c | 63 |
1 files changed, 0 insertions, 63 deletions
@@ -1,4 +1,3 @@ -#include <assert.h> #include <stdlib.h> #include "logic.h" @@ -51,65 +50,3 @@ enum BINARY logic_nor(enum BINARY a, enum BINARY b) { return logic_not(logic_or(a, b)); } - -void -logic_test_and() { - emit_info("Testing AND\n"); - assert(LOGIC_HIGH == logic_and(LOGIC_HIGH, LOGIC_HIGH)); - assert(LOGIC_LOW == logic_and(LOGIC_HIGH, LOGIC_LOW )); - assert(LOGIC_LOW == logic_and(LOGIC_LOW , LOGIC_HIGH)); - assert(LOGIC_LOW == logic_and(LOGIC_LOW , LOGIC_LOW )); -} - -void -logic_test_or() { - emit_info("Testing OR\n"); - assert(LOGIC_HIGH == logic_or(LOGIC_HIGH, LOGIC_HIGH)); - assert(LOGIC_HIGH == logic_or(LOGIC_HIGH, LOGIC_LOW )); - assert(LOGIC_HIGH == logic_or(LOGIC_LOW , LOGIC_HIGH)); - assert(LOGIC_LOW == logic_or(LOGIC_LOW , LOGIC_LOW )); -} - -void -logic_test_xor() { - emit_info("Testing XOR\n"); - assert(LOGIC_HIGH == logic_xor(LOGIC_HIGH, LOGIC_LOW )); - assert(LOGIC_HIGH == logic_xor(LOGIC_LOW , LOGIC_HIGH)); - assert(LOGIC_LOW == logic_xor(LOGIC_HIGH, LOGIC_HIGH)); - assert(LOGIC_LOW == logic_xor(LOGIC_LOW , LOGIC_LOW )); -} - -void -logic_test_nand() { - emit_info("Testing NAND\n"); - assert(LOGIC_LOW == logic_nand(LOGIC_HIGH, LOGIC_HIGH)); - assert(LOGIC_HIGH == logic_nand(LOGIC_HIGH, LOGIC_LOW )); - assert(LOGIC_HIGH == logic_nand(LOGIC_LOW , LOGIC_HIGH)); - assert(LOGIC_HIGH == logic_nand(LOGIC_LOW , LOGIC_LOW )); -} - -void -logic_test_nor() { - emit_info("Testing NOR\n"); - assert(LOGIC_HIGH == logic_nor(LOGIC_LOW , LOGIC_LOW )); - assert(LOGIC_LOW == logic_nor(LOGIC_LOW , LOGIC_HIGH)); - assert(LOGIC_LOW == logic_nor(LOGIC_HIGH, LOGIC_LOW )); - assert(LOGIC_LOW == logic_nor(LOGIC_HIGH, LOGIC_HIGH)); -} - -void -logic_test_not() { - emit_info("Testing NOT\n"); - assert(LOGIC_HIGH == logic_not(LOGIC_LOW )); - assert(LOGIC_LOW == logic_not(LOGIC_HIGH)); -} - -void -logic_test() { - logic_test_and(); - logic_test_or(); - logic_test_nand(); - logic_test_nor(); - logic_test_xor(); - logic_test_not(); -} |