Marek Chalupa
Marek Chalupa
Hi, yes, it is the expected behavior. The program contains only one path which is error-free and infinite, therefore, symbolic execution will just keep executing this infinite path forever.
> It looks like a finite-state program to me. Am I missing anything? @kdudka : It is a finite state program, but symbolic execution does not remember states. It builds...
> Since we can never be sure whether Symbiotic is just stuck or can not find any errors, it seems unsuitable for our application. @blizzard4591 Well, you can try other...
Hi, It would be possible and it is one of our long-term goals, but the change is not trivial (but should not be that hard either). Btw. in the example...
Great work! :+1:
The answer is fine when `--no-slice` is used, which points to a bug in slicer or instrumentation.
Yep, you are right.
I cannot reproduce the first one, but I can reproduce the latter one. What version of Symbiotic did you use? By the way, may I add these code snippets as...
and some floating point handling could be rewritten to fractions using instrumentation?
I see, I know about this problem, but ignoring the calls can introduce other problems. The printf function may not only print output but also set variables ("%n" format), so...