`cargo audit` has warnings

[io12]

Running cargo audit has this output:

warning: 2 warnings found

Crate:  failure
Title:  failure is officially deprecated/unmaintained
Date:   2020-05-02
URL:    https://rustsec.org/advisories/RUSTSEC-2020-0036
Dependency tree: 
failure 0.1.5
├── varisat-lrat 0.2.1
│   └── varisat-cli 0.2.1
├── varisat-internal-proof 0.2.1
│   ├── varisat-checker 0.2.1
│   │   ├── varisat-lrat 0.2.1
│   │   └── varisat 0.2.1
│   │       ├── varisat-lrat 0.2.1
│   │       └── varisat-cli 0.2.1
│   └── varisat 0.2.1
├── varisat-dimacs 0.2.1
│   ├── varisat-checker 0.2.1
│   └── varisat 0.2.1
├── varisat-cli 0.2.1
├── varisat-checker 0.2.1
└── varisat 0.2.1

Crate:    bitflags
Version:  1.0.5
Warning:  package has been yanked!
Dependency tree: 
bitflags 1.0.5
├── proptest 0.9.4
│   ├── varisat-lrat 0.2.1
│   │   └── varisat-cli 0.2.1
│   ├── varisat-internal-proof 0.2.1
│   │   ├── varisat-checker 0.2.1
│   │   │   ├── varisat-lrat 0.2.1
│   │   │   └── varisat 0.2.1
│   │   │       ├── varisat-lrat 0.2.1
│   │   │       └── varisat-cli 0.2.1
│   │   └── varisat 0.2.1
│   ├── varisat-formula 0.2.1
│   │   ├── varisat-lrat 0.2.1
│   │   ├── varisat-internal-proof 0.2.1
│   │   ├── varisat-dimacs 0.2.1
│   │   │   ├── varisat-checker 0.2.1
│   │   │   └── varisat 0.2.1
│   │   ├── varisat-checker 0.2.1
│   │   └── varisat 0.2.1
│   ├── varisat-dimacs 0.2.1
│   ├── varisat-checker 0.2.1
│   └── varisat 0.2.1
├── cloudabi 0.0.3
│   └── rand_os 0.1.3
│       └── rand 0.6.5
│           ├── varisat-formula 0.2.1
│           ├── varisat-dimacs 0.2.1
│           ├── varisat 0.2.1
│           ├── tempfile 3.0.8
│           │   ├── varisat-lrat 0.2.1
│           │   ├── varisat-dimacs 0.2.1
│           │   ├── varisat 0.2.1
│           │   ├── rusty-fork 0.2.2
│           │   │   └── proptest 0.9.4
│           │   └── proptest 0.9.4
│           └── proptest 0.9.4
└── clap 2.33.0
    └── varisat-cli 0.2.1

warning: 2 warnings found!

The bitflags crate issue can be solved by updating the dependencies with cargo update. For the failure crate, it needs to be replaced with another error handling library, like snafu.

[jix]

Thank you for letting me know. I sadly didn't find time to work on or even maintain varisat for the past year, but I'll try to do a minor cleanup to fix these issues soon (including migrating to github actions, so I have a working CI setup again).