User Tools
pvs:tools:proveit
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
pvs:tools:proveit [2016/08/25 21:20] jonathan |
pvs:tools:proveit [2016/09/01 18:58] (current) marina |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| $ proveit --importchain --clean use_bag.pvs | $ proveit --importchain --clean use_bag.pvs | ||
| | | ||
| - | This example can be used to test proveit and the installation of NASA PVS library. | + | This example can be used to test ''proveit'' and the installation of NASA PVS library. |
| ===== Example ===== | ===== Example ===== | ||
| Line 29: | Line 29: | ||
| </code> | </code> | ||
| - | <code text us_bag> | + | <code text use_bag> |
| use_bag : THEORY | use_bag : THEORY | ||
| BEGIN | BEGIN | ||
pvs/tools/proveit.1472160033.txt.gz · Last modified: 2016/08/25 21:20 by jonathan
Page Tools
