ci: report coverage of TUI's integration tests

TritonVM · Mar 7, 2024 · 718b211 · 718b211
1 parent d7b8e34
commit 718b211
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -31,7 +31,7 @@ jobs:
         run: cargo run --bin constraint-evaluation-generator
 
       - name: Collect coverage data
-        run: cargo llvm-cov nextest --lcov --output-path lcov.info
+        run: cargo llvm-cov nextest --lcov --output-path lcov.info --features integration-tests
 
       - name: Upload coverage to coveralls.io
         uses: coverallsapp/github-action@v2

diff --git a/triton-tui/tests/tests.rs b/triton-tui/tests/tests.rs
@@ -1,6 +1,5 @@
-//! Integration tests for the triton-tui binary. Currently ignored for two reasons:
-//! 1. They break code-coverage tool `cargo-tarpaulin`.
-//! 2. The crate `rexpect` does not compile on Windows.
+//! Integration tests for the triton-tui binary. Feature-gated because the crate `rexpect` does not
+//! compile on Windows.
 
 #[cfg(test)]
 #[cfg(feature = "integration-tests")]