/* 

StackTestProcedures.h 
Author: W. M. Farmer
Revised: January 27, 2007

Description: Interface for StackTestProcedures module.

*/

#include <stdio.h>


/* Interface */

void print_state();
void test_stack_push(int x);
void test_stack_pop();
void test_stack_set_top(int x);
void test_stack_reset();