Timeline
11/05/2018:
- 19:41 Ticket #7 (Problems with --symbolic in SV-COMP benchmarks) closed by
- fixed
- 18:57 Ticket #10 (Memory leak from symbolic values.) created by
- Problem with:[…]
- 18:53 Ticket #9 (Problem with cast form abstract int to abstract pointer.) created by
- The following code (run with divine check --symbolic) fails with …
Note: See TracTimeline
for information about the timeline view.