search

rems-project / isla

Symbolic execution tool for Sail ISA specifications
Other
61 stars 10 forks source link

error running isla-axiomatic #43

Open fengwz17 opened 2 years ago

fengwz17 commented 2 years ago

After running the commad

cargo build --realease

It is built successfully, but when I try to run "isla-axiomatic", I face the following error: InkedScreenshot The last line is 

Callback([Internal("No such file or directory (os error 2)"), Internal("No such file or directory (os error 2)"), Internal("No such file or directory (os error 2)"), Internal("No such file or directory (os error 2)")])
Alasdair commented 2 years ago

I think it may be the riscv.ir file that is missing? That's from a separate repository from the models snapshots link in the README

fengwz17 commented 2 years ago

I think it may be the riscv.ir file that is missing? That's from a separate repository from the models snapshots link in the README

Thank you!

But I had already downloaded the file "riscv64.ir", and put it in the directory. Also, if I use the command "-A" refer to another ir file which I did not download, it will report other error "Error when loading architecture: No such file or directory (os error 2)".

So I think it seems that this error "Callback([Internal("No such file or directory (os error 2)"), ..." is not caused by the missing of ir file.

fengwz17 commented 2 years ago

Also, I face another question, when I try to build "cat2smt", I use the command

build

under the directory isla-cat, but it seems there does not generate the executable file "cat2smt" successfully, how could I get this executable file ?

Alasdair commented 2 years ago

Oh, I removed that executable a while ago as it was no longer needed. I forgot to update the README