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.

{1} Active Tickets (8 matches)

Ticket Summary Comp. Target Type Status
#1 Fix memory leaks in DiOS DiOS 4.2 defect new
#6 Improve support for debugging inlined functions sim 4.2 defect new
#2 Lazy loading / linking of DiOS bitcode. MC 4.2 feature new
#4 Implement exec --symbolic. MC 4.2 feature new
#5 Invalid YAML report for programs with options or stdin UI defect new
#7 Problems with --symbolic in SV-COMP benchmarks DiOS defect new
#8 Missing or spurious ODBC dependency bench defect new
#3 Aggregate and garbage-collect *_log tables. bench feature new
Note: See TracReports for help on using and creating reports.