crest

crest copied to clipboard

Hi, I just tried to run crest with uniform.c example, it successfully read branches and write branches, but it just stopped without iteration, and also no error message showed. The...

yh570

bits/libc-header-start.h

1

/usr/include/stdio.h:27:10: fatal error: bits/libc-header-start.h: No such file or directory #include ^~~~~~~~~~~~~~~~~~~~~~~~~~ on Ubuntu 18 64 bits I had to install 32 bit compatibility library.

quinzio

Error while compiling CREST : base/basic_types.cc

7

Hello, I'am starting using CREST but as subject, I have a problem of "narrowing conversion" as follow >vagrant@vagrant:~/vagrant_data/tools/jburnim-crest-f5ff7fc/src$ make g++ -I. -I../../yices-1.0.40/include -Wall -O2 -c -o base/basic_types.o base/basic_types.cc base/basic_types.cc:96:1: error:...

uwevil

g++ -I. -I/home/lmagoncalo/Desktop/yices-1.0.40/include -Wall -O2 -c -o base/basic_types.o base/basic_types.cc base/basic_types.cc:96:1: error: narrowing conversion of ‘18446744073709551615’ from ‘long unsigned int’ to ‘crest::value_t {aka long long int}’ inside { } [-Wnarrowing] };...

lmagoncalo

Question about kMinValue array

1

Hello, I have been modified yicies_solver for my term project. I found that kMinValue[0](Minimum value of U_CHAR) does not give me correct value(0) --- ``` for(size_t i = 0 ;...

nobe0716

Error when trying to run test: uniform_test.c

1

Hi, So I'm trying to run the test program just to make sure crest is functioning and keep getting the error: uniform_test.c:12:19: error: crest.h: No such file or directory Where...

ramayyala

return struct crestc error

1

Compiling ```C struct a { char const b; } g_1782; struct a c() { for (;;) return g_1782; } int main() { } ``` With ```crestc``` gives me ``` test7.c:...

kren1

How to use CREST with muti-files program?How to build the executable program?

1

/home/yzb/Downloads/crest-master/benchmarks/grep-2.2/src/grep.c:112: undefined reference to `__CrestChar' /home/yzb/Downloads/crest-master/benchmarks/grep-2.2/src/grep.c:112: undefined reference to `__CrestChar' grep_comb.o: In function `main': /home/yzb/Downloads/crest-master/benchmarks/grep-2.2/src/grep.c:957: undefined reference to `__CrestChar' collect2: error: ld returned 1 exit status make: *** [grep] Error...

SOSCapture

I've encountered another prediction failed issue, it looks very different from the other one to me. Running: ```C unsigned short a = 0; unsigned char b = 1; void main()...

kren1

I think I found another issue with crest when dealing with bit fields. Given a program like: ```C struct { unsigned a : 16; } b = {1}; int d;...

kren1