term_rewriting 0.6.0

A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Documentation
# a configuration for a rust project
language: rust

# only rebuild dependencies if they or the compiler were upgraded
cache: cargo

# test on all three channels
rust:
  - stable
  - beta
  - nightly

# the basic things to test
before_script:
  - rustup component add clippy
script:
  - cargo build --verbose
  - cargo test  --verbose
  - cargo doc --verbose
  - cargo clippy --verbose
matrix:
  fast_failures: true
  allow_failures:
    - rust: nightly
    - env: KCOV=1
  include:
    # test formatting
    - rust: stable
      env: FMT=1
      before_script:
        - rustup component add rustfmt
      script:
        - cargo fmt --all -- --check
    # test coverage
    - rust: stable
      env: KCOV=1
      sudo: required # travis-ci/travis-ci#9061
      before_script:
        - cargo install cargo-update || echo "cargo-update already installed"
        - cargo install cargo-travis || echo "cargo-travis already installed"
        - cargo install-update -a
      script:
        - |
          cargo build    --verbose &&
          cargo coverage --verbose &&
          bash <(curl -s https://codecov.io/bash) -s target/kcov
      addons: # required for kcov
        apt:
          packages:
            - libcurl4-openssl-dev
            - libelf-dev
            - libdw-dev
            - binutils-dev
            - cmake