Refactor hash function
Description
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.
Environment
None
Activity
Show:
Jenkins Build Server
May 11, 2015, 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)
Jenkins Build Server
May 11, 2015, 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)
