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

Basic tests [DO NOT MERGE] #26

Open
wants to merge 20 commits into
base: enable_passed_test_for_flowdroid_benchmark
Choose a base branch
from
Open

Basic tests [DO NOT MERGE] #26

wants to merge 20 commits into from

Conversation

Jclavo
Copy link
Collaborator

@Jclavo Jclavo commented Mar 17, 2024 •
edited
Loading

  • Add "edge" when arguments are passings defsToFormalArgs
  • Add "edge" when values are returned defsToCallSite
  • Total test passed up to 67.3%

Jclavo added 20 commits February 23, 2024 11:14
@Jclavo
add tests
47073c1
@Jclavo
set rigth test name
fac2db4
@Jclavo
fix test name
62225b5
@Jclavo
add variants of basic_17
ae8b3f5
@Jclavo
show nodes more accurate
d774b17
@Jclavo
Merge branch 'add_comments' of https://github.com/rbonifacio/svfa-scala…
d74b799 
… into fix_test_in_basic_17
@Jclavo
another test
56305a8
@Jclavo
Merge branch 'add_comments' of https://github.com/rbonifacio/svfa-scala…
881da12 
… into fix_test_in_basic_17
@Jclavo
comment creating of adjacent nodes
316f596
@Jclavo
create extra node in defsToFormalArgs
a3ef20d
@Jclavo
create nodes to allocation sites
8607251
@Jclavo
Merge branch 'add_comments' of https://github.com/rbonifacio/svfa-scala…
4ed733b 
… into fix_test_in_basic_17_proposal_1
@Jclavo
reset global variables
de691fc
@Jclavo
update edge for getAdjacentNodes
f5369a3
@Jclavo
Merge branch 'enable_passed_test_for_flowdroid_benchmark' of https://…
d559992 
…github.com/rbonifacio/svfa-scala into task/fix_basic_tests
@Jclavo
comment failing tests
06f5fb7
@Jclavo
able basic tests
38bf30f
@Jclavo
info about basic tests
c261e5c
@Jclavo
able some test for collection
505e3b7
@Jclavo
info test
3fafdbe
@Jclavo Jclavo self-assigned this Mar 17, 2024
@Jclavo Jclavo changed the title Basic tests Basic tests [DO NOT MERGE] Apr 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Jclavo Jclavo

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Jclavo