pyre-check icon indicating copy to clipboard operation
pyre-check copied to clipboard

Right-click to generate model

Open gracewgao opened this issue 2 years ago • 5 comments

Also, this is what I'm currently stuck on: image

@m0mosenpai @gbleaney Did I miss something with the configuration?

gracewgao avatar Jul 13 '21 14:07 gracewgao

Also, this is what I'm currently stuck on:

Sorry for popping in, but will add my experience here, idk if it helps, but I usually see this error when I don't have a .pyre_configuration at the directory I am running from...

abishekvashok avatar Jul 15 '21 05:07 abishekvashok

@abishekvashok Thanks for the tip! I think the issue here for me was very similar and it was because the taint.config file was missing in my directory.

gracewgao avatar Jul 20 '21 13:07 gracewgao

@gbleaney Thanks for helping me debug earlier! The whole flow is working now:

Right-click menu

Copied model

I think what's left now is:

  • writing test for the types query function
  • adding a global exception into the pysa_server.py file
  • finishing up the suggestions you left above from the previous code review
  • pulling in Sarthak's branch (or would you prefer to do this later?)

I'm aiming to get these done this week, but let me know if there's anything else I missed!

gracewgao avatar Jul 20 '21 20:07 gracewgao

It's been a while since I had a chance to review this, but I took a bit of time to go through and try to fix some things if this is still a relevant PR :)

gracewgao avatar Jan 12 '22 04:01 gracewgao

Closing this since there hasn't been any update since 2021. Feel free to re-open or make a new PR!

arthaud avatar Apr 28 '23 09:04 arthaud