Logging¶

Leon provides a small wrapper around SLF4J (TODO: insert URL) to ease the usage for JavaScript code.

leon.getLogger(name)¶

Creates a slf4j logger instance with the given name.

Arguments:	name (String) – The name of the logger.