search

kupl / Graphick

MIT License
8 stars 2 forks source link

error: predicate 'HeapAllocationRef' is not declared at level 0 (code: PREDICATE_UNDECLARED) #6

Closed LuoRongLuoRong closed 2 years ago

LuoRongLuoRong commented 2 years ago

I ran the project and got lots of errors:

image

I have no idea. Could you please tell me the reason and solution?

MinseokJGit commented 2 years ago

I think the cached database used has a problem (e.g., .../Graphick/Ctx_sensitivity/doop/cache/...):

image

Please, clear the cache database before the analysis by typing the following command:

$ rm -r /home/fdse/luorong/course/Graphick/Ctx_Sensitivity/doop/cache/*

Then, run the analysis:

$ ./run.py graphick luindex

I will reproduce a result in our paper:

image
MinseokJGit commented 2 years ago

Hi @LuoRongLuoRong, if you find the answer satisfactory, please close the issue. Otherwise, if there is another question, feel free to leave it here.

LuoRongLuoRong commented 2 years ago

Thanks!