jdd.internal.tests

Skip navigation links

Overview
Package
Class
Tree
Deprecated

All Classes

Class Summary
Class Description

RunTests
test calls are invoked from here.

Package jdd.internal.tests Description

JDD tests are run from here. Note that we are not using junit

Skip navigation links

Overview
Package
Class
Tree
Deprecated

All Classes

This file is a part of the JDD package, a native Java Binary Decision Diagram Library.