test: Distinguish between coverage from integration and MBT tests

.github/workflows/coverage.yml

@@ -15,6 +15,7 @@ on:
 
 jobs:
   coverage:
+    name: Integration
     runs-on: ubuntu-latest
     defaults:
       run:
@@ -38,12 +39,49 @@ jobs:
       - name: Install cargo-llvm-cov
         uses: taiki-e/install-action@cargo-llvm-cov
       - name: Generate code coverage
-        run: cargo llvm-cov nextest --all-features --workspace --lcov --output-path lcov.info
+        run: cargo llvm-cov nextest --workspace --exclude malachite-itf --all-features --lcov --output-path lcov.info
       - name: Generate text report
         run: cargo llvm-cov report
       - name: Upload coverage to Codecov
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
           files: Code/lcov.info
+          flags: integration
+          fail_ci_if_error: true
+
+  mbt-coverage:
+    name: MBT
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: Code
+    env:
+      CARGO_TERM_COLOR: always
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - uses: actions/setup-node@v3
+        with:
+          node-version: "18"
+      - run: npm install -g @informalsystems/quint
+      - name: Setup Rust toolchain
+        uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          toolchain: nightly
+          components: llvm-tools-preview
+      - name: Install cargo-nextest
+        uses: taiki-e/install-action@cargo-nextest
+      - name: Install cargo-llvm-cov
+        uses: taiki-e/install-action@cargo-llvm-cov
+      - name: Generate code coverage
+        run: cargo llvm-cov nextest -p malachite-itf --all-features --lcov --output-path lcov.info
+      - name: Generate text report
+        run: cargo llvm-cov report
+      - name: Upload coverage to Codecov
+        uses: codecov/codecov-action@v3
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          files: Code/lcov.info
+          flags: mbt
           fail_ci_if_error: true

Code/.cargo/config.toml

@@ -0,0 +1,2 @@
+[alias]
+mbt = "nextest run -p malachite-itf --all-features"

Code/itf/src/lib.rs

@@ -1,5 +1,2 @@
-pub mod consensus;
-pub mod votekeeper;
-
-mod deserializers;
 pub mod utils;
+pub mod votekeeper;

codecov.yml

@@ -1,6 +1,10 @@
 codecov:
   require_ci_to_pass: yes
 
+# ignore:
+#   - "Code/itf"
+#   - "Code/test"
+
 coverage:
   precision: 2
   round: nearest