VeriISLE: Error: attr term 'imul_base_case' should exist

[lehector]

I'm trying to run the VeriISLE program for AArch64, but it always fails with the error "attr term 'imul_base_case' should exist", despite the attribute being there in the ISLE files.

Steps to reproduce:

1. Clone the project
2. Run cargo run -p cranelift-isle-veri --bin veri -- --config cranelift/isle/veri/configs/aarch64-fast.args, as stated in VeriISLE's README

Output:

Writing generated file: /tmp/.tmpFYBe0Y/numerics.isle
Writing generated file: /tmp/.tmpFYBe0Y/isle_numerics.rs
Writing generated file: /tmp/.tmpFYBe0Y/clif_opt.isle
Writing generated file: /tmp/.tmpFYBe0Y/clif_lower.isle
Writing generated file: /tmp/.tmpFYBe0Y/assembler.isle
Error: attr term 'imul_base_case' should exist

Here's also a log with RUST_LOG set to TRACE
trace.log

I have also tried to run VeriISLE on the 05e7921 commit (when VeriISLE was added) but it had the same outcome.

[fitzgen]

cc @avanhatt

[avanhatt]

Ah, sorry about that and thanks for the report! PR up to fix: #13777