-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtoh_test_driver.c
executable file
·65 lines (52 loc) · 2.46 KB
/
toh_test_driver.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
/*----------------------------------------------------------
* 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;
}