enforce 100% code/test coverage (#43)

* adding progress

* trying this

* more specific git ignore

* fix command

* there's some bug

* print what I'm parsing

* remove unuseful assert

* revert rmq

* trying fix

* trying this fix

* fix unused code warning

* fix

* fix compile error

* another fix

* removing ONLY TO TEST CI; WILL REVERT

* fix

* remove unused function for now

* remove add_var from example

* make not executable

* revert

* revert

---------

Co-authored-by: Luke Videckis <lukevideckis@gmail.com>

Author: lrvideckis

.github/workflows/check_code_cov.py

@@ -0,0 +1,10 @@
+import sys, json
+
+dt=json.load(sys.stdin)['data'][0]['totals']
+
+print(json.dumps(dt, indent=4))
+
+assert(dt['branches']['count'] == dt['branches']['covered'])
+assert(dt['functions']['count'] == dt['functions']['covered'])
+assert(dt['lines']['count'] == dt['lines']['covered'])
+assert(dt['regions']['count'] == dt['regions']['covered'])

.github/workflows/ci.yml

@@ -4,9 +4,8 @@ on: [push, workflow_dispatch]
 
 env:
   CARGO_TERM_COLOR: always
-  # `-D warnings` causes CI to fail on any warning
   RUSTFLAGS: -D warnings -C instrument-coverage -C link-dead-code
-  RUSTDOCFLAGS: -D warnings
+  RUSTDOCFLAGS: -D warnings -D missing_docs
 
 jobs:
   cargo:
@@ -34,7 +33,7 @@ jobs:
       run: cargo test
 
     - name: cargo doc
-      run: RUSTDOCFLAGS="-D warnings -D missing_docs" cargo doc --all
+      run: cargo doc --all
 
   library_checker_aizu_tests:
     runs-on: ubuntu-latest
@@ -47,7 +46,7 @@ jobs:
         rustup install nightly
         rustup override set nightly
         rustup component add --toolchain nightly rustfmt clippy
-        cargo install cargo-binutils
+        cargo install cargo-binutils rustfilt
         rustup component add llvm-tools-preview
 
     - name: install oj-verify submodule
@@ -76,8 +75,8 @@ jobs:
       run: oj-verify all --tle 20 --jobs 4 --timeout 21600
 
     # https://doc.rust-lang.org/rustc/instrument-coverage.html
-    # - name: code coverage
-    # run: |
-    # cargo profdata -- merge -sparse default_*.profraw -o json5format.profdata
-    # cargo cov -- report --use-color --ignore-filename-regex='/.cargo/registry' --instr-profile=json5format.profdata $(find target/debug/examples -type f -executable)
-    # cargo cov -- export --ignore-filename-regex='/.cargo/registry' --instr-profile=json5format.profdata $(find target/debug/examples -type f -executable) | python -c "import sys, json; l=json.load(sys.stdin)['data'][0]['totals']['lines']; assert(l['count'] == l['covered'])"
+    - name: code coverage
+      run: |
+        cargo profdata -- merge -sparse default_*.profraw -o ptc_rust.profdata
+        cargo cov -- show -Xdemangler=rustfilt --use-color --ignore-filename-regex='/.cargo/registry' --instr-profile=ptc_rust.profdata $(find target/debug/examples/ -type f -executable | sed 's/^/--object /')
+        cargo cov -- export -Xdemangler=rustfilt --ignore-filename-regex='/.cargo/registry' --instr-profile=ptc_rust.profdata $(find target/debug/examples/ -type f -executable | sed 's/^/--object /') --summary-only | python .github/workflows/check_code_cov.py

.gitignore

@@ -1,3 +1,5 @@
 /target
 Cargo.lock
 .verify-helper/
+default_*.profraw
+ptc_rust.profdata

examples/data_structures/binary_trie.rs

@@ -26,10 +26,7 @@ fn main() {
                     trie.update(x, -1);
                 }
             }
-            2 => {
-                println!("{}", trie.min_xor(x));
-            }
-            _ => unreachable!(),
+            _ => println!("{}", trie.min_xor(x)),
         }
     }
 }

examples/data_structures/dsu_aizu.rs

@@ -15,8 +15,7 @@ fn main() {
             0 => {
                 dsu.unite(u, v);
             }
-            1 => println!("{}", u8::from(dsu.same(u, v))),
-            _ => unreachable!(),
+            _ => println!("{}", u8::from(dsu.same(u, v))),
         }
     }
 }

examples/data_structures/dsu_yosupo.rs

@@ -15,8 +15,7 @@ fn main() {
             0 => {
                 dsu.unite(u, v);
             }
-            1 => println!("{}", u8::from(dsu.same(u, v))),
-            _ => unreachable!(),
+            _ => println!("{}", u8::from(dsu.same(u, v))),
         }
     }
 }

examples/data_structures/fenwick_aizu.rs

@@ -20,14 +20,13 @@ fn main() {
                 }
                 fenwick.add(i - 1, x);
             }
-            1 => {
+            _ => {
                 input! {
                     le: usize,
                     ri: usize,
                 }
                 println!("{}", fenwick.sum(le - 1..ri));
             }
-            _ => unreachable!(),
         }
     }
 }

examples/data_structures/fenwick_yosupo.rs

@@ -29,14 +29,13 @@ fn main() {
                 }
                 fenwick.add(p, x);
             }
-            1 => {
+            _ => {
                 input! {
                     le: usize,
                     ri: usize,
                 }
                 println!("{}", fenwick.sum(le..ri));
             }
-            _ => unreachable!(),
         }
     }
 }

examples/data_structures/lazy_seg_tree.rs

@@ -24,14 +24,13 @@ fn main() {
                 }
                 seg_tree.update(le - 1, ri, delta);
             }
-            1 => {
+            _ => {
                 input! {
                     le: usize,
                     ri: usize
                 }
                 println!("{}", seg_tree.query(le - 1, ri));
             }
-            _ => unreachable!(),
         }
     }
 }

examples/data_structures/seg_tree_build_on_array.rs

@@ -24,14 +24,13 @@ fn main() {
                 }
                 seg_tree.update(p, p + 1, x);
             }
-            1 => {
+            _ => {
                 input! {
                     le: usize,
                     ri: usize
                 }
                 println!("{}", seg_tree.query(le, ri));
             }
-            _ => unreachable!(),
         }
     }
 }