Skip to content

teach-plt/lab4-testsuite

Repository files navigation

PLT Lab 4 Test Suite

Programming Language Technology (PLT, Chalmers DAT151, University of Gothenburg DIT231)

This is the test suite for PLT lab 4: Functional languages: call-by-values and call-by-name.

Prerequisites

The following tools need to be in the PATH:

Your solution directory needs to contain a Makefile with instructions so that the invocation of make there builds your solution and places it as executable lab4 there.

Running the testsuite

Invoke the test runner with the path to the directory containing your solution.

stack run -- path/to/solution/directory

This will first call make in this directory and then invoke the generated lab4 there on all the test files, checking that their output is correct.

About

Golden value testsuite for PLT lab4

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published