Harsh Deshpande

I compiled only this repo in debug (I am not using `godel` at the moment). I am not sure if this is what you asked for, but here's the backtrace:...

Thanks @jrgnicho! I will try it out one of these days and get back.

I created a dockerfile: ``` FROM osrf/ros:kinetic-desktop-full RUN apt-get update \ && apt-get install checkinstall wget RUN mkdir /dev_noether && cd /dev_noether \ && wget -q https://github.com/Kitware/VTK/archive/v7.1.0.tar.gz \ && tar...

I tried it with godel, and this is the error I receive (even though there is no crash anymore): ``` [ERROR] [RasterPathPlanner](L:805): Number of input cells for calculating intersection is...

@ChrisTimperley I recalculated, and the numbers did not change. Looks like I made the commit slightly after @git-afsantos's changes https://github.com/ChrisTimperley/ese-robust/commit/f099596e90fd0fae544b63ebc24b1f7bae4eaa79

``` Faults: BDO:DEPENDENCY : 43 BDO:BUILD : 31 BAD-SMELL : 17 PROGRAMMING:RESOURCES : 16 ROS-SPECIFIC : 15 PROGRAMMING:BROKEN-CONTRACT : 15 MODELS:ROBOT : 14 PROGRAMMING:LOGIC : 13 CONCURRENCY:NO-SYNC : 12 PROGRAMMING:CALCULATIONS...

``` Failures: SOFTWARE:RUNTIME : 56 SOFTWARE:BUILD : 50 SYSTEM:UNINTENDED-BEHAVIOUR : 42 SYSTEM:LIVENESS : 35 SYSTEM:MOTION : 22 NONE : 16 SYSTEM:NONE : 16 SOFTWARE:UX : 15 SOFTWARE:CONCURRENCY : 12 SYSTEM:PHYSICAL...

@wasowski please let me know if the changes in https://github.com/robust-rosin/robust/pull/400#issuecomment-776517218 are reasonable. Also note https://github.com/robust-rosin/robust/pull/400#issuecomment-776721556, still around 13 bugs have been labelled with `'SOFTWARE:SILENT'`, which is not part of the...

``` PROGRAMMING : 111 BDO : 77 EVOLUTION : 35 CONFIG : 24 CONCURRENCY : 20 MODELS : 18 ROS-SPECIFIC : 15 SYSTEMS : 8 NAMING-TYPOS : 6 COPYPASTA :...

@wasowski