User Tools
pvs:install:bugs
Differences
This shows you the differences between two versions of the page.
|
pvs:install:bugs [2016/10/20 02:24] jonathan created |
pvs:install:bugs [2016/10/20 02:25] (current) jonathan |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== PVS Bugs ====== | ====== PVS Bugs ====== | ||
| + | |||
| + | The following should not be type correct. | ||
| <code> | <code> | ||
| Line 22: | Line 24: | ||
| END embedded_cond_bug | END embedded_cond_bug | ||
| </code> | </code> | ||
| + | |||
| + | In PVS 6.0 there was a bug in a COND embedded in another COND. | ||
pvs/install/bugs.1476930252.txt.gz · Last modified: 2016/10/20 02:24 by jonathan
Page Tools
