mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Merge pull request #1947 from waywardmonkeys/fix-from-file-docs

Browse source 
Correct Z3_(fixedpoint|optimize)_from_file param doc.
This commit is contained in:
Nikolaj Bjorner 2018-11-18 22:09:42 -08:00 committed by GitHub
parent 5188f4d82e 93835eab05
commit 127b585eaa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/z3_fixedpoint.h
View file

@ -308,7 +308,7 @@ extern "C" {
\param c - context. \param c - context.
\param f - fixedpoint context. \param f - fixedpoint context.
\param s - string containing SMT2 specification. \param s - path to file containing SMT2 specification.
def_API('Z3_fixedpoint_from_file', AST_VECTOR, (_in(CONTEXT), _in(FIXEDPOINT), _in(STRING))) def_API('Z3_fixedpoint_from_file', AST_VECTOR, (_in(CONTEXT), _in(FIXEDPOINT), _in(STRING)))
*/ */

2
src/api/z3_optimization.h
View file

@ -252,7 +252,7 @@ extern "C" {
\param c - context. \param c - context.
\param o - optimize context. \param o - optimize context.
\param s - string containing SMT2 specification. \param s - path to file containing SMT2 specification.
def_API('Z3_optimize_from_file', VOID, (_in(CONTEXT), _in(OPTIMIZE), _in(STRING))) def_API('Z3_optimize_from_file', VOID, (_in(CONTEXT), _in(OPTIMIZE), _in(STRING)))
*/ */