DEBUG

Author: tautschnig

.github/workflows/kani.yml

@@ -82,48 +82,7 @@ jobs:
         run: |
           scripts/run-kani.sh --run autoharness --kani-args \
             --include-pattern alloc::layout::Layout::from_size_align \
-            --include-pattern ascii::ascii_char::AsciiChar::from_u8 \
-            --include-pattern char::convert::from_u32_unchecked \
-            --include-pattern "num::nonzero::NonZero::<i8>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<i16>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<i32>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<i64>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<i128>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<isize>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<u8>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<u16>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<u32>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<u64>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<u128>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<usize>::count_ones" \
-            --include-pattern "num::nonzero::NonZero::<i8>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<i16>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<i32>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<i64>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<i128>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<isize>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<u8>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<u16>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<u32>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<u64>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<u128>::rotate_" \
-            --include-pattern "num::nonzero::NonZero::<usize>::rotate_" \
-            --include-pattern ptr::align_offset::mod_inv \
-            --include-pattern ptr::alignment::Alignment::as_nonzero \
-            --include-pattern ptr::alignment::Alignment::as_usize \
-            --include-pattern ptr::alignment::Alignment::log2 \
-            --include-pattern ptr::alignment::Alignment::mask \
-            --include-pattern ptr::alignment::Alignment::new \
-            --include-pattern ptr::alignment::Alignment::new_unchecked \
-            --include-pattern time::Duration::from_micros \
-            --include-pattern time::Duration::from_millis \
-            --include-pattern time::Duration::from_nanos \
-            --include-pattern time::Duration::from_secs \
-            --exclude-pattern time::Duration::from_secs_f \
-            --include-pattern unicode::unicode_data::conversions::to_ \
             --exclude-pattern ::precondition_check \
-            --harness-timeout 5m \
-            --default-unwind 1000 \
             --jobs=3 --output-format=terse | tee autoharness-verification.log
           gzip autoharness-verification.log
 
@@ -220,6 +179,8 @@ jobs:
 
       - name: Run log parser
         run: |
+          # DEBUG
+          ls -R
           gunzip ${{ matrix.os }}-autoharness-verification.log.gz
           tar xzf ${{ matrix.os }}-results.tar.gz
           python3 scripts/kani-std-analysis/log_parser.py \