term_rewriting 0.2.0

A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Documentation
language: rust
cache: cargo
rust:
  - stable
  - beta
  - nightly
script:
  - cargo build --verbose
  - cargo test  --verbose
  - cargo rustdoc --verbose
matrix:
  fast_failures: true
  allow_failures:
    - env: KCOV=1
  include:
    - rust: nightly-2018-04-11
      env:
        - CLIPPY_VERSION=0.0.193
      before_script:
        - rustup component add rustfmt-preview
        - cargo install clippy --version $CLIPPY_VERSION || echo "clippy already installed"
      script:
        - cargo fmt --all -- --write-mode=diff
        - cargo clippy
    - 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