Lab 2 Test Suite

Programming Language Technology, 2021

Introduction

Before you submit lab 2, your solution must pass the testsuite. This document describes how to obtain and use this testsuite.

Preparations

You will only need to do this part once.

  1. Download lab2-testsuite.tar.gz.

  2. Unpack the downloaded file:
      $ tar -xzf lab2-testsuite.tar.gz
    

  3. Enter the lab2-testsuite directory:
      $ cd lab2-testsuite
    

  4. Compile the test program using make or alternatively:
      $ ghc -threaded --make -o progs-test-lab2 progs-test-lab2.hs
    

Running the testsuite

This is what you need to do to test your grammar.

  1. Enter the lab2-testsuite directory (if you are not there already):
      $ cd lab2-testsuite
    

  2. Run progs-test-lab2 with the path to the directory where your solution is located:

      $ ./progs-test-lab2 path/to/your/solution/