✨ Added preliminary cli script #471
Conversation
Signed-off-by: JonahSussman <sussmanjonah@gmail.com>
There was a problem hiding this comment.
I am wondering, if we want to take a second and design it, so that a user can make the calls that would be in the file, but via the CLI interface. something like:
a command that takes a file as input, and an optional violation information. then returns with the result of solving that file.
I am worried that this approach someone would have to understand the JSONRPC and that doesn't seem like the right interface for a user.
| request=request, server=server, app=self | ||
| ) | ||
| if not any_executed: | ||
| log.error(f"Notify method not found: {request.method}") |
There was a problem hiding this comment.
Shouldn't this be an error?
|
@shawn-hurley Ah I see. So this is less having something for testing stuff and more having an IDE that an actual end user could use, if I'm understanding correctly? |
|
I don't know about an IDE more like a CLI tool to just "do it" if that makes sense? |
No description provided.