/*----------------------------------------------------------
 *				HTBLA-Leonding / Klasse: n/a
 * ---------------------------------------------------------
 * Exercise Number: 09
 * Title:			Unit Tests for Boolean Term
 * Author:			S. Schraml
 * Due Date:		n/a
 * ----------------------------------------------------------
 * Description:
 * Test functions for ADT ToH Disk.
 * ----------------------------------------------------------
 */
#ifndef ___TEST_TOH_SOLVER_H
#define ___TEST_TOH_SOLVER_H

#include "shortcut.h"

TEST(test_ts_init__with_one_disk);
TEST(test_ts_init__with_many_disks);
TEST(test_ts_init__subsequent_inits);

TEST(test_ts_solve__one);
TEST(test_ts_solve__two);
TEST(test_ts_solve__three);

#endif