Refactor hash function
Description
Environment
None
Gliffy Diagrams
Activity
Show:

Jenkins Build Server May 11, 2015 at 10:09 AM
SUCCESS: Integrated in ProB_Tests_Linux64 #9303 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64/9303/)
(p.koerner: rev 895556e748e8bf729e46995278588b5a0fd79eaa)

Jenkins Build Server May 11, 2015 at 9:14 AM
SUCCESS: Integrated in ProB_Tests_Linux64_On_Commit #1538 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/1538/)
(p.koerner: rev 895556e748e8bf729e46995278588b5a0fd79eaa)
Fixed
Details
Details
Assignee

Reporter

Priority
Created April 23, 2015 at 11:03 AM
Updated May 11, 2015 at 10:09 AM
Resolved April 29, 2015 at 2:01 PM
Refactor every call to sha1 to a function "hash(char *term, int len)". Length of hash codes should be defined in this piece of code.