Skip to content
GitLab
Menu
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
91e9333c
Commit
91e9333c
authored
Apr 01, 2019
by
Julien Signoles
Browse files
[Logic_functions] better hash function
parent
463e0e0a
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/e-acsl/logic_functions.ml
View file @
91e9333c
...
...
@@ -327,7 +327,10 @@ module Memo = Hashtbl.Make(struct
Cil_datatype
.
Logic_type
.
equal
lfs1
.
lfs_args_lty
lfs2
.
lfs_args_lty
let
hash
=
Hashtbl
.
hash
let
hash
lfs
=
Cil_datatype
.
Logic_info
.
hash
lfs
.
lfs_li
+
257
*
let
module
L
=
Datatype
.
List
(
Cil_datatype
.
Logic_type
)
in
L
.
hash
(
lfs
.
lfs_lty
::
lfs
.
lfs_args_lty
)
end
)
let
tbl
=
Memo
.
create
7
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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