tree 075206cda3bd2d468b35e274786ccfc9c6f8564e
parent 0f6ff384cfde23cfdb3451484dcbf8e42a0f262e
author Mate Soos <soos.mate@gmail.com> 1446168853 +0000
committer Mate Soos <soos.mate@gmail.com> 1446168853 +0000

Adding symbolic link for klee compilation