Error while running 117.c

[SkywalkerWgy]

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:

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]

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

[SkywalkerWgy]

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]

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