search

wu-haoze / Lemur-program-verification

3 stars 0 forks source link

Error while running 117.c #3

Open SkywalkerWgy opened 5 months ago

SkywalkerWgy commented 5 months ago

I'm trying to reproduce the results.

When I run the command ./run_exp_gpt3.sh ./benchmarks/code2inv/c/117, I got the following error: error

This looks like the postcondition information is missing during the inference.

I've followed your README.md to download the required package and installed the required tools with ./build.sh.

I'm looking forward to your favourable reply.

wu-haoze commented 5 months ago

Could you share the full log? And could you check whether your openAI api key is woking?

SkywalkerWgy commented 5 months ago

117.log Here is the log file for 117. Our api key is still properly.

log.zip

The same error has happened more than once. Here are all the log files we encountered when testing that reported the above error

wu-haoze commented 5 months ago

I'm not able to reproduce the error on my end. Can you try the versions specified here?