Property-based Testing for λ-Expressions Semantics in Featherweight Java

Authors: Samuel Feitosa, Rodrigo Ribeiro, Andre Du Bois

Interpreters and test suite

Run "make" to create executable files.

Run "make coverage" to run the tests and generate statistics of code coverage.

Run "make clean" to clean generated files.