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)

Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Major