<rtc>: update test case.
<rtc>: Reoganised klee data folder.