/* 

StackTest_1.c 
Author: W. M. Farmer
Revised: January 27, 2007

Description: Tests procedures for the interface of StackPlus module.

*/

#include <stdio.h>
#include "StackPlus.h"
#include "StackTestProcedures.h"


/* Main */

int main() {
  print_state();
  test_stack_push(0);
  test_stack_push(1);
  test_stack_push(2);
  test_stack_push(3);
  test_stack_pop();
  test_stack_pop();
  test_stack_push(4);
  test_stack_set_top(5);
  test_stack_reset();
  stack_top();
  stack_pop();
  return 0;  
}