Sleigh raised a bad data exception

[infinitesteps]

I am just getting started with Maat. I get the following error when trying to execute a function:

FATAL: Error in sleigh translate(): Sleigh raised a bad data exception: r0x00000002: Unable to resolve constructor
[Fatal] Lifter error: MaatEngine::run(): failed to lift instructions

The target binary is generated from the following code:

#include <stdio.h>

int foo(int a) {
    int c, b = 7;

    c = a * b;

    if (c == 14) {
        printf("FAIL\n");
    } else {
        printf("OK\n");
    }

    return c;
}

int main(int args, char **argv) {
	printf("%d\n", foo(4));
	printf("%d\n", foo(2));
	return 0;
}

My Python looks like the following. The address 0x1169 corresponds to the foo function.

from maat import MaatEngine, ARCH, OS, BIN

engine = MaatEngine(ARCH.X64, OS.LINUX)
libdirs = ['/usr/lib64']
libdirs.append('/usr/lib/x86_64-linux-gnu')
engine.load('data/1.elf', BIN.ELF64, libdirs=libdirs)
engine.settings.log_insts = True
stop = engine.run_from(0x1169)

[Boyan-MILANOV]

Transferred to issue #109