65 lines
2.5 KiB
C
65 lines
2.5 KiB
C
/*----------------------------------------------------------
|
|
* HTBLA-Leonding
|
|
* ---------------------------------------------------------
|
|
* Exercise Number: 09
|
|
* Title: Test Driver for Truth Table Generator
|
|
* Author: S. Schraml
|
|
* Due Date: n/a
|
|
* ----------------------------------------------------------
|
|
* Description:
|
|
* Executes all unit tests of Truth Table Generator.
|
|
* ----------------------------------------------------------
|
|
*/
|
|
|
|
#include "shortcut.h"
|
|
#include "test_toh_disk.h"
|
|
#include "test_toh_board.h"
|
|
#include "test_toh_solver.h"
|
|
|
|
int main(int argc, char *argv[])
|
|
{
|
|
ADD_TEST(test_td_get_disk__shall_provide_valid_disk_for_each_size);
|
|
ADD_TEST(test_td_get_disk__shall_provide_0_for_invalid_size);
|
|
|
|
ADD_TEST(test_td_is_valid__shall_be_valid_for_valid_disks);
|
|
ADD_TEST(test_td_is_valid__shall_be_invalid_for_0_disks);
|
|
ADD_TEST(test_td_is_valid__shall_be_invalid_for_disks_with_invalid_sizes);
|
|
|
|
ADD_TEST(test_td_get_size__shall_provide_size_of_valid_disk);
|
|
ADD_TEST(test_td_get_size__shall_provide_0_for_invalid_disk);
|
|
|
|
ADD_TEST(test_td_is_smaller__shall_be_true_for_smaller_disks);
|
|
ADD_TEST(test_td_is_smaller__shall_be_false_for_larger_disks);
|
|
ADD_TEST(test_td_is_smaller__shall_be_false_for_invalid_disk);
|
|
ADD_TEST(test_td_is_smaller__shall_be_false_for_invalid_candidates);
|
|
|
|
ADD_TEST(test_td_is_smaller__shall_be_false_for_invalid_attributes);
|
|
|
|
ADD_TEST(test_tb_get_board__shall_provide_valid_board);
|
|
ADD_TEST(test_tb_get_board__shall_provide_the_same_board_each_time);
|
|
ADD_TEST(test_tb_is_valid__shall_be_invalid_for_0_board);
|
|
|
|
ADD_TEST(test_tb_push_disk__shall_push_valid_disks_on_each_rod);
|
|
ADD_TEST(test_tb_push_disk__shall_not_push_on_invalid_board);
|
|
ADD_TEST(test_tb_push_disk__shall_not_push_invalid_disks_on_each_rod);
|
|
ADD_TEST(test_tb_push_disk__shall_not_push_wrong_disks_on_any_rod);
|
|
|
|
ADD_TEST(test_tb_pop_disk__shall_pop_valid_disks_from_each_rod);
|
|
ADD_TEST(test_tb_pop_disk__shall_pop_invalid_disks_from_each_empty_rod);
|
|
ADD_TEST(test_tb_pop_disk__shall_pop_invalid_disks_from_invalid_board);
|
|
|
|
ADD_TEST(test_tb_get_disk__shall_provide_valid_disks_from_each_rod);
|
|
ADD_TEST(test_tb_get_disk__shall_provide_0_for_invalid_board);
|
|
ADD_TEST(test_tb_get_disk__shall_provide_0_for_empty_rod_positions);
|
|
|
|
ADD_TEST(test_ts_init__with_one_disk);
|
|
ADD_TEST(test_ts_init__with_many_disks);
|
|
ADD_TEST(test_ts_init__subsequent_inits);
|
|
|
|
ADD_TEST(test_ts_solve__one);
|
|
ADD_TEST(test_ts_solve__two);
|
|
ADD_TEST(test_ts_solve__three);
|
|
|
|
run_tests();
|
|
return 0;
|
|
}
|