Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

DEP: Basic Block Coverage (no longer continued) #341

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

DEP: Basic Block Coverage (no longer continued) #341

wants to merge 13 commits into from

Commits on Oct 26, 2018

  1. works on local but not on amazon

    @sanghu1790
    sanghu1790 committed Oct 26, 2018
    Configuration menu
    Copy the full SHA
    e0c9434 View commit details
    Browse the repository at this point in the history

  2. Adding the feature of live block coverage

    @sanghu1790
    sanghu1790 committed Oct 26, 2018
    Configuration menu
    Copy the full SHA
    667bd3d View commit details
    Browse the repository at this point in the history

  3. Writing data (time,BC) into record.dat for graph plotting

    @sanghu1790
    sanghu1790 committed Oct 26, 2018
    Configuration menu
    Copy the full SHA
    940e53c View commit details
    Browse the repository at this point in the history

  4. Uncommenting "TxTree::blockCount++;" line at Executor.cpp to count ba… 

    …sic block by TX
    @sanghu1790
    sanghu1790 committed Oct 26, 2018
    Configuration menu
    Copy the full SHA
    9b2490e View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2018

  1. Updating into executedblocks.txt, and removed Livecoverage.txt file a… 

    …nd its logic of checkpoints. Also, cleaned the code.
    @sanghu1790
    sanghu1790 committed Oct 31, 2018
    Configuration menu
    Copy the full SHA
    7b541b3 View commit details
    Browse the repository at this point in the history

  2. Adding the feature to halt execution on max i.e 100% Block Coverage

    @sanghu1790
    sanghu1790 committed Oct 31, 2018
    Configuration menu
    Copy the full SHA
    505c061 View commit details
    Browse the repository at this point in the history

  3. Adding the feature of halting the execution when BC% will be constant… 

    … for 100 new states i.e. countFreq=100.
    @sanghu1790
    sanghu1790 committed Oct 31, 2018
    Configuration menu
    Copy the full SHA
    e405a88 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2018

  1. Adding a predicate which executes distinct basic blocks to optimize t… 

    …he running time of TX.
    @sanghu1790
    sanghu1790 committed Nov 7, 2018
    Configuration menu
    Copy the full SHA
    88bfedf View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2018

  1. Fixing formatting

    @rasoolmaghareh
    rasoolmaghareh committed Nov 8, 2018
    Configuration menu
    Copy the full SHA
    7c74ff6 View commit details
    Browse the repository at this point in the history

  2. Halting if new BB is not seen in 200 tries

    @rasoolmaghareh
    rasoolmaghareh committed Nov 8, 2018
    Configuration menu
    Copy the full SHA
    376ea23 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2018

  1. Removing the Library BBs

    @sanghu1790
    sanghu1790 committed Nov 10, 2018
    Configuration menu
    Copy the full SHA
    be386f3 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2018

  1. Excluding the 100% Block Coverage Clause

    @sanghu1790
    sanghu1790 committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    0d6aeed View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2018

  1. Writing BB coverage information into info file, Writing AllBB.txt, Fi… 

    …nallyBB.txt, VisitedBB.txt, GraphBBC.dat, and LogBBC.txt into klee-out folder.
    @sanghu1790
    sanghu1790 committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    2d0c28d View commit details
    Browse the repository at this point in the history