Develop strategies to efficiently run WP with different ATP and Coq
ID0001699: This issue was created automatically from Mantis Issue 1699. Further discussion may take place here.
|ID0001699||Frama-C||Plug-in > wp||public||2014-03-14||2014-03-14|
|Product Version||Frama-C Neon-20140301||Target Version||-||Fixed in Version||-|
This strategy should be controlled by a view options that also take into account how many processes are available.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information