lab2_tests.ml

(*
			      CS51 Lab 2
		     Basic Functional Programming
			 Some Testing Methods
			     Spring 2019
 *)

(* Here, we introduce a few ways to test the functions you wrote in
   lab. One or more of these methods may be useful in the future as
   you will want to provide for unit-testing of your code for problem
   sets and the final project. As an example, we provide a few tests
   for the square_all function.
 *)

open Lab2 ;; (* for access to your lab2 solution *)
open CS51 ;; (* for access to the unit_test function *)

(* Method 1: Boolean

   This method executes the tests right away, returning false on
   failure. Failure in these tests will only be detected by running
   this code in a REPL.  *)

let test_square_all_bool () : bool =
  square_all [] = []
  && square_all [1] = [1]
  && square_all [-1] = [1]
  && square_all [3; 4; 5] = [9; 16; 25]
  && square_all [4; -10; 12] = [16; 100; 144] ;;

(* Run the tests. Note that if the test function returns false, simply
compiling and running this file will not reveal the failure. *)

test_square_all_bool () ;;

(* Method 2: unit_test

   By making use of side effects, we can print an indicative message
   relating to each test. We will use the CS51 unit-test function
   provided in the CS51 module.  *)

let test_square_all () =
  unit_test (square_all [] = []) "square_all empty";
  unit_test (square_all [1] = [1]) "square_all one";
  unit_test (square_all [-1] = [1]) "square_all neg_one";
  unit_test (square_all [3; 4; 5] = [9; 16; 25]) "square_all many_pos";
  unit_test (square_all [4; -10; 12] = [16; 100; 144]) "square_all many_int";;

(* Now run the tests *)
let _ = test_square_all () ;;

(* To actually execute the test, you need to run this program. First 
   you'll need to compile the file with 

     % ocamlbuild lab2_tests.byte

   Once you have a compiled file, you need to run the compiled code:

     % ./lab2_tests.byte

   We've provided a helpful makefile for you that will do both of
   these with the command

     % make tests *)