error running isla-axiomatic

[fengwz17]

After running the commad

cargo build --realease

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

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]

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]

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]

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]

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