Re: [klee-dev] a question about kleaver

Hi, On 8 January 2016 at 10:18, xiaoqixue_1 wrote: > > > Hi, > > When a use kleaver to solve a query, I found that "Ult" and "Ugt" can not be > used at the same time. > the logic is simple: > if( sn > 5) { >if( sn < 8 ) { > if (sn==0) printf("hello"); >

[klee-dev] a question about kleaver

Hi, When a use kleaver to solve a query, I found that "Ult" and "Ugt" can not be used at the same time. the logic is simple: if( sn > 5) {        if( sn < 8 ) { if (sn==0) printf("hello"); } } the query is as follows:      array sn[4] : w32 -> w8 =