Change temp folder handling.

[Yiannis128]

Currently, any file that's passed by the AI model into ESBMC is placed in temp directory created in the CWD of the user. The file is always called temp.c regardless if it is a java file or any other file whatsoever. A different approach needs to be designed with the following features:

• Language agnostic: If it is a different language to C, save it in its respective language. This is because ESBMC will not be able to detect any other languages if the files are all saved as C.
• Move the temp folder to /tmp and windows equivalent... On Linux consider the $HOME/.cache folder.

[lucasccordeiro]

I fully agree with these features. Em qui., 18 de mai. de 2023 às 03:14, Yiannis Charalambous < ***@***.***> escreveu:

…

Currently, any file that's passed by the AI model into ESBMC is placed in temp directory created in the CWD of the user. The file is always called temp.c regardless if it is a java file or any other file whatsoever. A different approach needs to be designed with the following features: - Language agnostic: If it is a different language to C, save it in its respective language. This is because ESBMC will not be able to detect any other languages if the files are all saved as C. - Move the temp folder to /tmp and windows equivalent... — Reply to this email directly, view it on GitHub <#28>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AA4F4HM6NK5E4JUXORSG643XGWAWZANCNFSM6AAAAAAYF3RCAE> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

-- Lucas C. Cordeiro​ https://ssvlab.github.io/lucasccordeiro/

[Yiannis128]

The issue will be implemented in temp-dir-handling

[Yiannis128]

Implemented in 729b176