Skip to content

leynos/ddlint

Repository files navigation

Differential datalog linter (ddlint)

This is a generated project using Copier.

Logging

ddlint uses the log crate to emit parser warnings. Initialize a logger in your main function to display these messages. The env_logger crate is a simple option:

fn main() {
    // Cargo.toml: env_logger = "0.11"
    env_logger::init();
    // run ddlint or your integration here
}

Control the verbosity with the RUST_LOG environment variable. For example, you can set RUST_LOG=warn to display warnings.

About

Differential Datalog Linter

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors