Chi Zhang

@r00tb3 Have you solved this problem? How did you do?

Hi, @extremecoders-re The binary I used is getting from this link [https://support.dlink.com/ProductInfo.aspx?m=DIR-880L](https://support.dlink.com/ProductInfo.aspx?m=DIR-880L) ,but this problem only occurs at certain times. I also meet the problem that I can't get the...

@extremecoders-re Sorry to bother you again. I use a older QEMU but I also can not get the IP  Can you help me, thank you very much

@extremecoders-re Thank you for your help. I get the IP address but I can not ping it.  Can you tell me how can I solve this question?

@extremecoders-re I got it, thank you very much. Can you give me some testcase that are arm arch. I have run some firmware that are arm arch but none of...

Hi, I find a more simple test case: ``` .decl hvnh(A:float, B:number) .decl mgds(A:symbol, B:unsigned) .decl ehiz(A:unsigned, B:unsigned) magic eqrel .decl bxax(A:symbol, B:symbol, C:unsigned) no_inline btree hvnh(3.21, -2). hvnh(1.26, -1)....

Hi, I reduce this program to a simplest one: ``` .decl a(b:symbol, c:unsigned) .decl d(b:unsigned, c:unsigned) magic eqrel .decl bxax(b:symbol, c:symbol, e:unsigned) a("b", 8). a("", 4). d(f+4, f) :- a(e,...

> May be same problem as described in #2302 ? I tried #2302 and feel that maybe they are not the same issue. In this issus, I print the `d`,...

Sorry for that this reduced example may not represent the bug very well, because in this example I `inline` an input, which is not allowed as [inlining-limitations](https://souffle-lang.github.io/relations#inlining-limitations) describes. Maybe there...

@langston-barrett Good advice, I'll try it out, thank you very much!