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) (122 matches)

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

Results (101 - 122 of 122)

1 2

5.0 (22 matches)

Ticket Summary Comp Type Status
#63 Use refcount_ptr in DiOS. DiOS task new
#30 Possibly move divine's version() out of UI. UI feature new
#44 Multi-Threaded Performance Doesn't Scale other defect accepted
#16 Undetected double free LART feature closed
#17 Generalize smt builder interface to be usable with different back-ends. MC feature closed
#18 Implement string modification abstraction. LART task closed
#38 Report attempts to use symbolic data if symbolic is disable other defect closed
#101 Divine produces unusable memory leak reports other defect closed
#3 Aggregate and garbage-collect *_log tables. bench feature closed
#67 DiOS: VFS Capture does not work other defect closed
#58 Build fails: Directory nonexistent other defect closed
#57 Build error in divine-smt other defect closed
#42 DIVINE sim crashes after only six states sim defect closed
#14 Allow programs to override libc symbols DiOS defect closed
#28 Capturing symbolically linked files seem to crash DiOS DiOS defect closed
#29 Add/fix divcc --version and --help divcc defect closed
#8 Missing or spurious ODBC dependency bench defect closed
#23 divine cc -c -Ipath does not work divcc defect closed
#27 build filaure (fatal error: dios.h: No such file or directory) other defect closed
#5 Invalid YAML report for programs with options or stdin UI defect closed
#20 Use error output for actual errors only UI defect closed
#13 pass CMake pthreads check divcc defect closed
1 2
Note: See TracReports for help on using and creating reports.
Show open issues