Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
e3dee0ab
Commit
e3dee0ab
authored
Jan 17, 2023
by
Virgile Prevosto
Committed by
Virgile Prevosto
Jan 17, 2023
Browse files
Add missing `@since` tag in new function's odoc
parent
b4c9716e
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/kernel_services/analysis/interpreted_automata.mli
View file @
e3dee0ab
...
...
@@ -348,7 +348,9 @@ sig
val
iter_stmt
:
(
Cil_types
.
stmt
->
state
->
unit
)
->
result
->
unit
(** Same as [iter_stmt] but guarantee that the iteration will always
be in the same increasing order of statements sid *)
be in the same increasing order of statements sid.
@since Frama-C+dev *)
val
iter_stmt_asc
:
(
Cil_types
.
stmt
->
state
->
unit
)
->
result
->
unit
(** Output result to the given channel. Must be supplied with a pretty
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment