Skip to content

Modifications for analyzing unit tests #2

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

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

Modifications for analyzing unit tests #2

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
09db8e1
test-aware instrumentation changes
Jan 29, 2020
3be6efc
removed TEST_AWARE variable from tigger and path instrumentation types
Jan 29, 2020
30f398d
script that cleans up python process
Jan 29, 2020
05e23d2
handling test data
Jan 30, 2020
1d6909a
changes
Feb 12, 2020
25fae4b
updates
Feb 12, 2020
192461e
push
Feb 12, 2020
9256a1c
merged to Josh updates
Feb 14, 2020
9ac3752
added condition for setup class
Mar 23, 2020
010a487
updates
Mar 26, 2020
1daca89
updates
Mar 26, 2020
b025c9a
removed anti-patterns
Mar 30, 2020
a1c542e
updates based on Joshs new approach to path
Apr 2, 2020
06e7655
updates
Apr 2, 2020
b1030b4
updates to VyPR
Apr 2, 2020
955ac80
updated requirement file
Apr 2, 2020
facb1d9
fixed minor issue
Apr 5, 2020
ba25e72
added flask
Apr 24, 2020
29b3911
updates based on verification coverage issue
May 14, 2020
6ae81de
added
May 14, 2020
f8aaabc
handling test cases for terminating the monitoring thread
May 15, 2020
1c649d7
fixed the transaction issue for analysis library
May 15, 2020
ec55c7d
removed the problem of monitor termination based on unit tests
May 16, 2020
148c822
removed test analysis problems
May 16, 2020
73a05f6
updated the instrumentation for fixing the time between property viol…
May 17, 2020
3cd6723
modified instrumentation for taking only timestimp with vypr.get_time()
May 18, 2020
5f41f0b
updated
May 27, 2020
be48984
removed comments
May 27, 2020
ca4bcb8
removed comments in monitoring thread
May 27, 2020
b50d0d4
fixed path problem
Jun 15, 2020
188bafe
updated SCFG
Jun 22, 2020
b0516a0
sync local changes
Aug 17, 2020
8ece76d
sync final
Aug 17, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading