Code

Line coverage reports#2609

Code

Merged

adpaco-aws merged 94 commits intomodel-checking:mainmodel-checking/kani:mainfrom jaisnan:Add-coverage-prototypejaisnan/kani:Add-coverage-prototypeCopy head branch name to clipboardJul 28, 2023

+967-17

Commits

Commits on Jul 13, 2023

• Add coverage and coverage test script

  jaisnan

  committed
  22751fd

• Add coverage to basic blocks (both stmts and terms)

  adpaco-aws

  committed
  b3a679e

• Add descriptions to printed lines

  jaisnan

  committed
  487e4bb

• Add cover statements to the 1st statement of each basic block (NO TERMS)

  adpaco-aws

  committed
  4f42a32

• Add cover stmts to the front of each basic block (including terminators)

  adpaco-aws

  committed
  789cc00

• Add cover before every statement/terminator

  adpaco-aws

  committed
  c9ef05c

Commits on Jul 14, 2023

• Add new coverage prop. class and method to codegen it

  adpaco-aws

  committed
  77da3b4

• Adjustments to post-processing for coverage checks

  adpaco-aws

  committed
  3466b7f

Commits on Jul 15, 2023

• Merge branch 'main' of https://github.com/model-checking/kani into coverage-tests-2

  jaisnan

  committed
  37d9e5f

Commits on Jul 16, 2023

• Flatten coverage directory

  jaisnan

  committed
  9543241

Commits on Jul 17, 2023

• Add coverage test suite

  jaisnan

  committed
  c1d5569

• Remove python script

  jaisnan

  committed
  8206ff0

• Add coverage-related flags to driver and compiler

  adpaco-aws

  committed
  0638f8b

• Format

  adpaco-aws

  committed
  9b0b866

• Codegen assert as assume if not for coverage

  adpaco-aws

  committed
  ba72fc5

Commits on Jul 18, 2023

• Add python script for coverage postprocessing

  adpaco-aws

  committed
  d94b53e

Commits on Jul 19, 2023

• Merge branch 'proto-cover-every-stmt-term' of https://github.com/adpaco-aws/rmc into coverage-tests-2

  jaisnan

  committed
  b2bc2ca

• Merge branch 'postcov-script' of https://github.com/adpaco-aws/rmc into coverage-tests-2

  jaisnan

  committed
  8602593

• Remove explicit kani::cover!() calls

  jaisnan

  committed
  b0a4d25

• Add fixed expected files

  jaisnan

  committed
  cf31e98

• Add changes to compiletest

  jaisnan

  committed
  54cf004

• Add copyright string

  jaisnan

  committed
  265158c

• Remove redundant tests and expected lines

  jaisnan

  committed
  7945cc1

• add copyright string to script

  jaisnan

  committed
  252c776

• Format python script

  jaisnan

  committed
  d4842fb

• fix expected

  jaisnan

  committed
  c344f80

• change test collection

  jaisnan

  committed
  8dad837

• Use existing output checking function

  jaisnan

  committed
  4f346ed

Commits on Jul 20, 2023

• add coverage output format

  jaisnan

  committed
  3d009b2

• remove os specific strings from expected

  jaisnan

  committed
  36cdaf6

• Fix clippy

  jaisnan

  committed
  815eef5

• Remove redundant expected files

  jaisnan

  committed
  cba1909

• Add --coverage flag and remove post-processing script

  jaisnan

  committed
  6a5749c

• Refactor post-processing

  jaisnan

  committed
  82184b3

• Add comments

  jaisnan

  committed
  5a1b50a

• Remove comments from expected files

  jaisnan

  committed
  0d4d88d

Commits on Jul 21, 2023

• Address-PR-comments

  jaisnan

  committed
  c6b681e

Commits on Jul 25, 2023

• Remove assume from codegen_Assert

  jaisnan

  committed
  c95db7f

• Add check for kani library paths

  jaisnan

  committed
  64b003a

• Add coverage with verification results

  jaisnan

  committed
  2124086

• Add FULL,NONE and PARTIAL outputs

  jaisnan

  committed
  ca000cb

• bless expected files

  jaisnan

  committed
  ac3a7f5

• bless expected files

  jaisnan

  committed
  43c0841

• Merge branch 'Add-coverage-prototype' of https://github.com/jaisnan/kani into Add-coverage-prototype

  jaisnan

  committed
  8b29842

• Add formatting

  jaisnan

  committed
  3012579

• Remove full path from expected

  jaisnan

  committed
  414a06b

• Add more tests

  jaisnan

  committed
  93642e8

• Add better comments

  jaisnan

  committed
  52bd8cb

• Merge branch 'main' into Add-coverage-prototype

  jaisnan

  authored
  955e46b

• Remove unnecessary cloning

  jaisnan

  committed
  59e9181

• Merge branch 'Add-coverage-prototype' of https://github.com/jaisnan/kani into Add-coverage-prototype

  jaisnan

  committed
  593e8ca

Commits on Jul 26, 2023

• Merge branch 'main' into Add-coverage-prototype

  jaisnan

  authored
  b232dad

Commits on Jul 27, 2023

• Add dependency coverage reports

  jaisnan

  committed
  1d76b5d

• Merge branch 'main' into Add-coverage-prototype

  jaisnan

  authored
  135715b

• Merge branch 'main' into Add-coverage-prototype

  jaisnan

  authored
  dd386e1

• Refactor coverage cases in codegen_block

  adpaco-aws

  committed
  823d72a

• Add/remove comments in codegen_block

  adpaco-aws

  committed
  043e236

• Improve comments for Coverage class/methods

  adpaco-aws

  committed
  48b6612

• Add assume to div. overflow check

  adpaco-aws

  committed
  74dc8e8

• Use unstable feature flag

  adpaco-aws

  committed
  d7e85f2

• Update doc comment for COVERAGE_CHECKS

  adpaco-aws

  committed
  8d9d5ec

• Change formatting cond. on coverage

  adpaco-aws

  committed
  644be2a

• Use format_coverage

  adpaco-aws

  committed
  0ceecdd

• Changes to comment/visibility of format_result_coverage

  adpaco-aws

  committed
  c1fb90c

• Rename to Coverage to CodeCoverage

  adpaco-aws

  committed
  d5f36ef

• Add formatting

  jaisnan

  committed
  5e206b2

• dummy commit

  jaisnan

  committed
  e7ec1fc

• Fix post-processing and regression

  jaisnan

  committed
  88d19f8

• Change status parsing

  jaisnan

  committed
  7bea0d4

• Refactor post-processing function to single loop

  jaisnan

  committed
  a3aa443

• Add comments

  jaisnan

  committed
  ece3554

Commits on Jul 28, 2023

• Remove unnecessary clone

  jaisnan

  committed
  9072fad

• Add help message and fix typo

  jaisnan

  committed
  edd3f86

• Remove redundant tests

  jaisnan

  committed
  b7372e4

• Use strum::Display

  jaisnan

  committed
  e65d5c1

• Address test related comments

  jaisnan

  committed
  d91b354

• Change description of code coverage property class

  jaisnan

  committed
  235b872

• Update status to COVERED, UNCOVERED

  jaisnan

  committed
  aece576

• add comment

  jaisnan

  committed
  f99284e

• Update comments for CheckStatus

  adpaco-aws

  committed
  d974cf3

• Update format_result_coverage

  adpaco-aws

  committed
  16a5170

• Update comment on update_results...coverage_checks

  adpaco-aws

  committed
  3d3d391

• Add comments to some tests

  adpaco-aws

  committed
  e200b52

• Run formatting

  jaisnan

  committed
  cd47c9f

• More comments in two tests

  adpaco-aws

  committed
  a4a7f22

• Comments in one test

  adpaco-aws

  committed
  dd54c09

• Make UNCOVERED red

  adpaco-aws

  committed
  ee3290f

• Rename CoverStatus to CoverageStatus

  adpaco-aws

  committed
  4235ba6

• Rewrite condition for PARTIAL status

  adpaco-aws

  committed
  eea1d25

• Rewrite status updates for coverage into match

  adpaco-aws

  committed
  88a7e2e

• Change test to use kani::any_where

  adpaco-aws

  committed
  c518bf2

• Change comment

  adpaco-aws

  committed
  9a279b5

• Remove a bunch of tests

  adpaco-aws

  committed
  1f552de

• Add descriptions to three tests and update results

  adpaco-aws

  committed
  c3afce2