Chi Zhang

`inline` cause `Ungrounded variable` not assertion failure

1

Hi, I meet an `Ungrounded variable` error with `inline` in the following program: ``` .decl iyis(A:symbol, B:number) .decl ghxz(A:symbol, B:symbol) inline .decl mrjp(A:symbol, B:symbol, C:symbol) inline .decl kerp(A:number, B:number, C:symbol,...

`inline` cause `Floating-point arithmetic exception` without divide-by-zero

1

Hi, I find a `Floating-point arithmetic exception` caused by `inline`, consider the following program: ``` .decl bydd(A:symbol, B:number) .decl unoa(A:number, B:number, C:number, D:number, E:number, F:number, G:symbol, H:symbol) inline .decl ycuc(A:number,...

Hi, Consider the following program: ``` .decl payb(A:float, B:float) .decl uuyd(A:float) payb(0.80300000000000082, 0.80300000000000082). uuyd(F) :- payb(0.80300000000000082, F). .output payb .output uuyd ``` When I run it with `souffle -w example.dl`,...

Hi, I run `souffle -w example.dl` and find can't ignore the warning report. The current version of Souffle is `1fc233d`. It works on version `29c5921`. I find this on Ubuntu...

`inline` and `magic` used together cause `Segmentation violation`

3

Hi, The following program gets a `Segmentation violation`: ``` .decl xwwr(A:symbol) .decl hles(A:symbol, B:symbol, C:symbol, D:symbol) inline .decl crux(A:symbol, B:symbol, C:symbol) .decl alpg(A:symbol) magic .decl bzja(A:symbol) xwwr("Y"). crux("n", "n", "n")....

Assertion failure "relation not found" on provenance

4

Hi, This program assertion failure on provenance with `-t none`: ``` .decl mrxr(A:unsigned) .decl lxgy(A:unsigned) btree .decl toay(A:unsigned) .decl iemw(A:unsigned, B:unsigned, C:unsigned) inline .decl pwfp(A:unsigned, B:unsigned, C:unsigned, D:unsigned, E:unsigned, F:unsigned,...

The subsumption causes the execution of program been killed

1

Hi, The following program with subsumption will hang and then be killed by the system: ``` .decl vfna(A:symbol, B:symbol) .decl kils(A:symbol) inline brie .decl umtm(A:symbol, B:symbol, C:symbol, D:symbol, E:symbol, F:symbol)...

Unexpected error `Self-suppression not permitted`, only appear recently

3

Does anyone meet the `Self-suppression not permitted` error recently, I guess it was caused by the `IgnoreMeException()` we threw in a `try` clause. I first met this error when I...

I find in NoREC oracle, each optimized and unoptimized query is logged twice in '-cur.log' file. Once on line https://github.com/sqlancer/sqlancer/blob/ad5d891bf683c24c760ae9638cd337751d6d4ce4/src/sqlancer/common/oracle/NoRECOracle.java#L77 and line https://github.com/sqlancer/sqlancer/blob/ad5d891bf683c24c760ae9638cd337751d6d4ce4/src/sqlancer/common/oracle/NoRECOracle.java#L82 The second time on line https://github.com/sqlancer/sqlancer/blob/ad5d891bf683c24c760ae9638cd337751d6d4ce4/src/sqlancer/common/oracle/NoRECOracle.java#L127 and...