smartcheck-0.1: examples/Tests.hs

module Main where

import Div0
import MutualRecData
import Heap_Program
--import LambdaCalc
--import Protocol

main :: IO ()
main = do
  divTest
  mutRecTest
  heapProgramTest
--  lambdaTest
--  protocolTest