source: Deliverables/D6.6/frama-c-cost-plugin/README

Last change on this file was 3234, checked in by sacerdot, 7 years ago

Debian packages committed.
Some are using git, so you need to clone them out following the READMEs in the
various directories.

The report file is just a skeleton, to be rewritten from scratch.

File size: 76 bytes
Line 
1git clone ssh://cerco.cs.unibo.it/srv/git/pkg-cerco/frama-c-cost-plugin.git
Note: See TracBrowser for help on using the repository browser.