-
Notifications
You must be signed in to change notification settings - Fork 219
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.
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
chore: consolidate and add a collection of swingset analysis tools #3789
Conversation
@@ -0,0 +1,52 @@ | |||
import '@agoric/install-ses'; | |||
import process from 'process'; | |||
import { openLMDBSwingStore } from '@agoric/swing-store-lmdb'; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This appears to have been cribbed from one of the db tools as they existed before the recent swing store refactoring.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
A couple of the files predate the swing store refactoring, but you've probably already noticed that because they won't pass CI.
The GitHub PR machinery doesn't support commenting on file renaming so I'll comment here: A couple of the tools that you moved into analysis-tools
from tools
aren't analysis tools, notably rekernalize
and replace-bundle
. Some of the database tools aren't really used for analysis either, but for making changes and repairs. We should either go back to just having a single tools
directory or be more selective about what we put where.
I can't comment as to the awesomeness/adequacy of the Python tools :-)
Oh, yeah, there's no CI on any of this. Although I suppose I have to make lint stop complaining, at least. I figured that rekernelize and replace-bundle qualified as "ad-hoc", since we built them to investigate a low-level XS memory problem, and normal "users" of swingset wouldn't need them. I kind of wanted to put all the not-for-normal-use things in a single directory, and Maybe the answer is to change the |
Thanks for sharing this stuff. I'm mildly surprised to see a non-DRAFT PR, i.e. aimed for long-term maintenance. Is that really the target? |
This PR is just about getting a bunch of random tools into a place where you (and others) can access them. Half of them barely even work, they're ad-hoc things I whipped up, and are hyper-specific to the particular bit of investigation I was doing. I figure that putting them in a suitably- I'm going to rename the directory |
I guess I'm saying: that's achieved already, without merging anything. |
Fair point, I guess my real concern is that I'll keep losing them (and others won't be able to discover them) unless they're in the tree for real. |
9ef01bb
to
318d9ca
Compare
Some were previously in bin/ , however they aren't really solid enough to live there. Some were in tools/, however that's currently the home of importable utilities like `prepare-test-env-ava.js`, and I want to avoid confusion between "things you run" and "things you import". Some are new, assembled from various one-off analysis tools I've written over the last year. These are all getting put in misc-tools/ , and are excluded from lint and prettier, as befits quick hacks.
8a732d9
to
7f7fb51
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yah shoor.
cc @dckc here are some tools that may or may not be helpful