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.

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

Rust Checkerlib #64

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

Rust Checkerlib #64

wants to merge 4 commits into from

Conversation

siccegge
Copy link
Member

No description provided.

@siccegge
Copy link
Member Author

siccegge commented Dec 16, 2020

  • trivialchecker wants to go to toplevel examples
  • could integrate "proper" logging
  • Handle Standard Errors
  • Set Timeouts

@F30
Copy link
Member

F30 commented Dec 29, 2020

Nice! I assume this is still work in progress for now?

Some remarks from my side:

  • Please resolve the duplication between "/rust/examples" and "/examples/checker/checker_rust" (in favor of the latter).
  • Ideally, extend the example checker to check our example service (as for Python and Go).
  • "Cargo.toml" for the example checker should reference our upstream repo and maybe contain author information.
  • My Rust is probably not good enough, but can you explain why in "context.rs", you perform matches which do the same thing in all cases?
  • Local flag generation appears pretty static for now. Having it working more dynamically does seem desirable when checking for the presence of flags, doesn't it?
  • Please apply some formatting using rustfmt or whatever you deem suitable, especially regarding whitespace (e.g. superfluous newlines in "flag.rs").
  • Don't have particular insights on Rust package naming, but not sure if "checkerlib" is the best choice for a global name.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants