generate scalatest classes for CoreASM specifications
Primary LanguageScalaAcademic Free License v3.0AFL-3.0