#lang racket

(require "sem-sem/non-syntax-directed-match-test.rkt"
         "sem-sem/syntax-directed-match-test.rkt"
         "sem-sem/syntax-directed-match-total-test.rkt"
         "sem-sem/set-comp-test.rkt"
         "sem-sem/reduction-test.rkt"
         "2-models/test.rkt")
