diff options
Diffstat (limited to 'src/CfimOfJson.ml')
| -rw-r--r-- | src/CfimOfJson.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml index 0b9caebc..39aa88f6 100644 --- a/src/CfimOfJson.ml +++ b/src/CfimOfJson.ml @@ -191,7 +191,12 @@ let big_int_of_json (js : json) : (big_int, string) result = | `String is -> Ok (Z.of_string is) | _ -> Error "") -(** Deserialize a [scalar_value] from JSON and **check the ranges** *) +(** Deserialize a [scalar_value] from JSON and **check the ranges**. + + Note that in practice we also check that the values are in range + in the interpreter functions. Still, it doesn't cost much to be + a bit conservative. + *) let scalar_value_of_json (js : json) : (scalar_value, string) result = let res = combine_error_msgs js "scalar_value_of_json" |