search

haoxintu / LLM4CBI

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models (Accepted by IEEE TSE)
7 stars 0 forks source link

问题请教 #1

Open qyxgw opened 2 months ago

qyxgw commented 2 months ago

尊敬的作者，了解到你们的工作与我们的工作相关，我们想作为基线研究，目前有些问题想请教一下你们，llm4cbi-gcc/llm4cbi/gcc/search-A2C-gpt.py中676行拷贝的是oclint工具吗？

haoxintu commented 2 months ago

Hi,

感谢你对LLM4CBI工作的关注。如果我没理解错的话，你想问的是这行https://github.com/haoxintu/LLM4CBI/blob/main/llm4cbi-gcc/llm4cbi/gcc/search-A2C-gpt.py#L676.

是的，其中的cyclo-temp.txt来自https://github.com/haoxintu/LLM4CBI/blob/main/llm4cbi-gcc/llm4cbi/gcc/search-A2C-gpt.py#L667

Best, Haoxin