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

Nonexistent java_symexec in doc/manual/code #2185

Open
sauclovian-g opened this issue Jan 16, 2025 · 0 comments
Open

Nonexistent java_symexec in doc/manual/code #2185

sauclovian-g opened this issue Jan 16, 2025 · 0 comments
Labels
documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: crucible-jvm Issues related to Java verification with crucible-jvm type: bug Issues reporting bugs or unexpected/unwanted behavior
Milestone
2025T1

Comments

@sauclovian-g
Copy link
Contributor

The file doc/manual/code/java_symexec.saw refers to a nonexistent java_symexec saw-script primitive.

This must be something that existed in 2019 (when the file was last changed) but it does not exist now.

As far as I can tell this file does not actually appear in the current manual, and hasn't since later in 2019, so it is probably safe to G/C it rather than spend time trying to figure out what it was supposed to be doing.
@sauclovian-g sauclovian-g added documentation Issues involving documentation documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: crucible-jvm Issues related to Java verification with crucible-jvm type: bug Issues reporting bugs or unexpected/unwanted behavior labels Jan 16, 2025
@sauclovian-g sauclovian-g added this to the 2025T1 milestone Jan 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation debt Documentation tasks previously deferred, postponed, etc.; technical debt in documentation documentation Issues involving documentation easy Issues that are expected to be easy to resolve and might therefore be good for new contributors subsystem: crucible-jvm Issues related to Java verification with crucible-jvm type: bug Issues reporting bugs or unexpected/unwanted behavior
Projects
None yet
Milestone
2025T1
Development

No branches or pull requests
1 participant
@sauclovian-g