/* $Id: m3makefile,v 1.1 2002/11/10 22:46:48 thielman Exp $ */

import("libm3")
import("bdd")
import("cit_util")

implementation("BDDTest")

program("bddtest")