DEP: Basic Block Coverage (no longer continued) #341
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Member
|
@sanghu1790 your local version of code is not up to date and as a result is reporting conflict with the master branch. You should resolve the conflict first. Do the following: |
sanghu1790
force-pushed
the
sanghu-codepen
branch
from
7af2b41 to
360c68b
Compare
sanghu1790
force-pushed
the
sanghu-codepen
branch
from
360c68b to
9b2490e
Compare
…nd its logic of checkpoints. Also, cleaned the code.
… for 100 new states i.e. countFreq=100.
…he running time of TX.
…nallyBB.txt, VisitedBB.txt, GraphBBC.dat, and LogBBC.txt into klee-out folder.
Member
|
@sanghu1790 should we drop this PR? |
rasoolmaghareh
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This version has the feature of printing and counting all basic blocks present in an assembly.ll code and printing and counting of visited basic blocks at least once.