search

mutilin / klever

Klever Git repository read-only mirror
https://forge.ispras.ru/projects/klever
Apache License 2.0
0 stars 1 forks source link

Improvements in web-launch mode #54

Open PavelAndrianov opened 5 years ago

PavelAndrianov commented 5 years ago

Right now the mode is difficult to use, because of two main disadvantages.

  1. Absence of any status. After 10 minutes one has to ask an admin about the solving job, if it was failed.
  2. Complicated preparation of a new verifier. One has to apply all patches. So, I can not just get a CPAchecker, I have to commit a revision and then run a script. In this case, I think, a server may be done it itself. For example, I will not upload a verifier archive, but just specify a new revision of verifier. Any comments are welcome.
vmordan commented 5 years ago

I suggest a new option to specify tool revision (and maybe branch name) for specific property type. In that case all patches will be applied automatically and then tool will be built.