| commit | 6eece08394411d8db16ea28eacd987e12427395c | [log] [tgz] |
|---|---|---|
| author | Mate Soos <soos.mate@gmail.com> | Fri Oct 30 01:34:13 2015 |
| committer | Mate Soos <soos.mate@gmail.com> | Fri Oct 30 01:34:13 2015 |
| tree | 075206cda3bd2d468b35e274786ccfc9c6f8564e | |
| parent | 0f6ff384cfde23cfdb3451484dcbf8e42a0f262e [diff] |
Adding symbolic link for klee compilation