package-info.java

/**
 * Provides Java and Xtend classes for the implementation of the PROMELA back-end.
 */
package net.sf.orcc.backends.promela;