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

typo #744

Closed
weaversa opened this issue Jun 14, 2020 · 0 comments · Fixed by #758
Closed

typo #744

weaversa opened this issue Jun 14, 2020 · 0 comments · Fixed by #758
Assignees
@ChrisEPhifer
Labels
documentation Issues involving documentation usability An issue that impedes efficient understanding and use
Milestone
0.6

Comments

@weaversa
Copy link
Contributor 

sawscript> :h sat
Description
-----------

    sat : ProofScript SatResult -> Term -> TopLevel SatResult

Use the given proof script to attempt to prove that a term is
satisfiable (true for any input). Returns a proof result that can
be analyzed with 'caseSatResult' to determine whether it represents
a satisfiying assignment or an indication of unsatisfiability.

satisfiying -> satisfying.
@ChrisEPhifer ChrisEPhifer self-assigned this Jun 29, 2020
@ChrisEPhifer ChrisEPhifer added documentation Issues involving documentation usability An issue that impedes efficient understanding and use labels Jun 29, 2020
@ChrisEPhifer ChrisEPhifer added this to the 0.6 milestone Jun 29, 2020
@ChrisEPhifer ChrisEPhifer mentioned this issue Jun 29, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ChrisEPhifer ChrisEPhifer

Labels
documentation Issues involving documentation usability An issue that impedes efficient understanding and use
Projects
None yet
Milestone
0.6
Development

Successfully merging a pull request may close this issue.

Fixed typo in help message for sat GaloisInc/saw-script
2 participants
@weaversa @ChrisEPhifer