diff options
| author | Son HO | 2022-09-22 16:28:52 +0200 |
|---|---|---|
| committer | GitHub | 2022-09-22 16:28:52 +0200 |
| commit | 692babd59421995809ce0cf7d4354a591dc73fe3 (patch) | |
| tree | 9bc8386fbc1c3c482796228815dc9842ac476298 /src | |
| parent | 0b90d3fbf2d15d88cbc4530253a1a2c77983bd91 (diff) | |
Update src/FunsAnalysis.ml
Diffstat (limited to 'src')
| -rw-r--r-- | src/FunsAnalysis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/FunsAnalysis.ml b/src/FunsAnalysis.ml index 39fa316d..33f77f89 100644 --- a/src/FunsAnalysis.ml +++ b/src/FunsAnalysis.ml @@ -1,6 +1,6 @@ (** Compute various information, including: - can a function fail (by having `Fail` in its body, or transitively - calling a function which can fail), false for globals + calling a function which can fail - this is false for globals) - can a function diverge (by being recursive, containing a loop or transitively calling a function which can diverge) - does a function perform stateful operations (i.e., do we need a state |