If you have encountered a problem with DIVINE, please check below whether there is an active ticket for your issue. Otherwise, please login with GitHub and report your issue. Thank you.

{6} All Tickets By Milestone (Including closed) (20 matches)

A more complex example to show how to make advanced reports.

future (11 matches)

Ticket Summary Comp Type Status
#19 SYM: Spurious errors due to infeasible explicit values LART defect assigned
#3 Aggregate and garbage-collect *_log tables. bench feature new
#14 Allow programs to override libc symbols divcc defect assigned
#5 Invalid YAML report for programs with options or stdin UI defect new
#10 Memory leak from symbolic values. DiOS defect new
#13 pass CMake pthreads check divcc defect new
#8 Missing or spurious ODBC dependency bench defect new
#16 Undetected double free VM defect new
#17 Generalize smt builder interface to be usable with different back-ends. MC feature assigned
#18 Implement string modification abstraction. LART task new
#20 Use error output for actual errors only UI defect closed

4.2 (9 matches)

Ticket Summary Comp Type Status
#2 Lazy loading / linking of DiOS bitcode. MC feature new
#4 Implement exec --symbolic. MC feature new
#6 Improve support for debugging inlined functions sim defect new
#1 Fix memory leaks in DiOS DiOS defect new
#7 Problems with --symbolic in SV-COMP benchmarks DiOS defect closed
#9 Problem with cast form abstract int to abstract pointer. LART defect closed
#15 Implement strcmp for mstring domain. DiOS feature closed
#11 Implement string abstraction with 'strlen' function. LART task closed
#12 Have both versions of strerror_r DiOS defect closed
Note: See TracReports for help on using and creating reports.
Show open issues