ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity

removed unintended autotest

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2022-01-27 13:06:03 +01:00 committed by GitHub
parent 1edfe43985
commit 05fa6c6b8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib.rs
View File

@ -9,7 +9,7 @@
//! Due to this uniform representation reductions on subformulae which are shared by two or more statements only need to be computed once and is already cached in the data structure for further applications. //! Due to this uniform representation reductions on subformulae which are shared by two or more statements only need to be computed once and is already cached in the data structure for further applications.
//! //!
//! # Usage //! # Usage
//! ``` //! ```plain
//! USAGE: //! USAGE:
//! adf_bdd [FLAGS] [OPTIONS] <input> //! adf_bdd [FLAGS] [OPTIONS] <input>
//! //!