|
| From: | Andreas Weber |
| Subject: | Re: Stories from static analysis of the Octave code base |
| Date: | Sun, 6 Jan 2019 18:21:49 +0100 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 |
Am 04.01.19 um 21:28 schrieb Andreas Weber:
I found(1) one that wasn't detected by PVS, perhaps it was configured without java and thus not checked?http://hg.savannah.gnu.org/hgweb/octave/rev/45d5a4ae636b
Answered in https://savannah.gnu.org/bugs/?55347#comment23
| [Prev in Thread] | Current Thread | [Next in Thread] |