-
Philippe Suter authoredPhilippe Suter authored
CompilationResult.scala 93 B
package leon
package codegen
case class CompilationResult(
successful : Boolean = false
)
package leon
package codegen
case class CompilationResult(
successful : Boolean = false
)