Skip to content

Commit c60a175

Browse files
committed
Deactivate doctest.
The tutorial added had the side-effect that it caused `doctest` to fail (because it can't find references for the code that has been detailed piecewise), which causes the tests to pass, but the doctest component of the tests to fail noisily. This supresses it for the time being.
1 parent 91d933c commit c60a175

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/libcprover-rust/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,3 +18,4 @@ cxx-build = "1.0"
1818

1919
[lib]
2020
crate-type = ["rlib"]
21+
doctest = false

0 commit comments

Comments
 (0)