fishfacegit

Solved via: ``` expr_simp.enable_passes(ExpressionSimplifier.PASS_HIGH_TO_EXPLICIT) ircfg.simplify(expr_simp) ```

How to resolve this vmcpu? ``` AttributeError Traceback (most recent call last) Cell In[36], line 9 6 func.init_fc() 8 # IRCFG is imported, without the final "ret void" ----> 9...

Hi! can you reproduce the error in this Python 3.10.6 environment? `uname -a` 5.19.0-41-generic #42~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC `(venv-miasm):$ python3 -m pip freeze` asttokens==2.2.1 backcall==0.2.0 boto==2.49.0 comm==0.1.3 debugpy==1.6.7 decorator==5.1.1 executing==1.2.0 future==0.18.3...

Maybe trouble z3 solver.model() returning another value than expected? ``` addr: 0xdeadbef0 contraints: 0xdeadbef2: 2 Traceback (most recent call last): File "../miasm/test/ir/translators/z3_ir.py", line 121, in check_interp(model[memb.get_mem_array(32)], File "../miasm/test/ir/translators/z3_ir.py", line 35,...

You cannot refresh the item because there is no database instance connected with it. To do that you need to retrieve the item from the database using an select statement....

+1 on building from source