Korat API

Packages

korat
korat.config
korat.finitization
korat.finitization.impl
korat.gui.viz
korat.gui.viz.metamodel
korat.instrumentation
korat.instrumentation.bytecode
korat.loading
korat.loading.filter
korat.testing
korat.testing.impl
korat.utils
korat.utils.cv
korat.utils.io