enable_veritesting의 내용을 찾아보면 이해하기 꽤

enable_veritesting의 내용을 찾아보면 이해하기 꽤 어려운 내용을 설명하고 있다. 간단히 이해한 내용을 적어보자면, smart merging을 수행하면서 loop문의 깊이가 깊어지면 symbolic execution을 수행할 때 state explosions 문제가 생기게 되는데, enable_veritesting의 옵션을 True로 설정하면 이 문제를 해결해준다. 그 원리는 loop 에 들어갈 때마다 state를 초기화 해준다고 하는 것 같다.

結果 (繁體中文) 1:

我確信你明白 enable_veritesting 很難解釋的內容。只是寫下你的理解、 智慧合併 gipeojimyeon 符號執行迴圈的深度接觸時狀態創建一個與爆炸的問題時，enable_veritesting 設置為 True 的選項解決這一問題。每次我走進環狀態這一原則，似乎初始化。

結果 (繁體中文) 2:

當瀏覽enable_veritesting的內容來理解和解釋的細節相當困難的。簡單地寫下來bojamyeon了解細節，有執行智能合併時，同時進行循環時，接觸深度較深符號執行，設置enable_veritesting為True解決了這個問題的選項導致問題的狀態爆炸。其原理似乎haejundago每當進入環路初始化狀態。