<div xmlns="http://www.w3.org/1999/xhtml">Dear Ahmet,</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">Your primary question will not be resolved in Klever 2.0. So, I will answer it.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">In the deployment documentation you can find <a href="https://klever.readthedocs.io/en/latest/deploy.html#hardware-requirements">hardware requirements</a>. I suggest that your VM does not meet them, so, you either should empower it (I recommend this to get better verification results faster) or use more advanced settings. At page http://localhost:8998/service/schedulers/ you can find the maximum amount of computer resources that Klever can spend for solving verification jobs and verification tasks. In the file you attached there are restrictions on computer resources just for verification jobs. But verification tasks are solved during solving verification jobs, so you should also take into account maximum computer resources that are allowed for verification tasks. Usually they are much more than ones for verification jobs! These resources are specified within file "tasks.json" at the job page, say, <a href="http://ldvdev:8998/jobs/5/">http://ldvdev:8998/jobs/5/</a>. I hope that this is enough for you to proceed.  </div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">For answering your second question it is definitely necessary to wait for Klever 2.0 as it will be intended for verification of C software rather than Klever 1.x that can verify just Linux device drivers. But, please, do not expect that Klever 2.0 will be able to verify some C program without additional efforts. Our rich experience and preliminary experiments show that one will need to develop a suitable configuration and specifications for each type of programs while verification tools like CPAchecker do not handle unfamiliar code well sometimes. If you are ready to invest much time, you are welcome! We will be glad to hear some notes and remarks from you.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">-- </div><div xmlns="http://www.w3.org/1999/xhtml" href="http://mailto:novikov@ispras.ru">Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a href="http://linuxtesting.org">http://linuxtesting.org</a></div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">17.10.2018, 09:12, "A. Celenk" <ahmet.celenk@procenne.com>:</div><blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite"><div bgcolor="#FFFFFF"><p>Hello Evgeny,</p><p>Thank you very much for Klever, and for your help. I will be eagerly waiting for 2.0 release. Till then, I may try to use the current version to learn some basics. Here is what I have done:</p><p>I could reach the web interface and managed to login as manager, and played around a little bit. Considered the warning on the deployment tutorial about messing up the computer, I have installed Klever on a Ubuntu 18.04 VM. Being a VM, it has low resources. I have started the preset Linux 3.14 job with default configurations and got "Given resource limits for job and tasks in sum are too high, we do not have such amount of resources" error. Then I have checked out manual configuration and used "paranoid development" preset configuration, and lowered the resources as much as I can (see my attached configuration). Nevertheless I am still getting the same error and it fails.</p><p>Here are my questions for the current release; if answers would greatly change for v2.0, just ignore these and I will be waiting for the new one:</p><p>    - Is it fine to use Klever in such a low-resourced VM? If so, what my configurations should be? If not, what are the minimum system requirements for Klever?<br />    - How do I upload a new job (e.g. just a single C file, or a project with makefile)?</p><p>Thank you again,</p><p>Regards,</p><p>Ahmet</p> <div>On <span>16-10-2018 18</span>:00, Evgeny Novikov wrote:</div><blockquote type="cite" cite="mid:19724921539702018@iva1-4ad1e49a78b2.qloud-c.yandex.net">Also, I would like to inform you that in a couple of weeks we will release Klever 2.0 that will change very many things related with core functionalities. If you have time, then I recommend to wait for this release and try it rather than a version that will be deprecated soon.<br /><br />16:08, 16 октября 2018 г., Evgeny Novikov <a href="mailto:novikov@ispras.ru"><novikov@ispras.ru></a>:<blockquote><div> <div>16.10.2018, 13:55, "Evgeny Novikov" <<a href="mailto:novikov@ispras.ru">novikov@ispras.ru</a>>:</div><blockquote type="cite"><div>Hello Ahmed,</div><div> </div><div>Your question is absolutely right. Klever lacks user documentation and I think that it will not have it in a near future. So, if you would like to proceed, most likely you will have many questions.</div><div> </div><div>You shouldn't run any script to start Klever if deployment was successful. You just need to open localhost:8998 in your web browser.</div></blockquote><div><br />I forgot to mention that there are 3 users created in advance:</div><ul><li>The first one is Administrator (login: admin, password: admin) that can change user privileges. Most likely you will not need it unlike you are going to create a multiuser setup.</li><li>The second one is Manager (login: manager, password: manager). This user can almost everything and you should start with it!</li><li>The third one is Service user that serves for internal purposes.</li></ul><div> </div><blockquote type="cite"><div> </div><div>If you will have any other questions, please, ask us. We will be glad to get some feedback from you.</div><div> </div><div>-- </div><div href="http://mailto:novikov@ispras.ru">Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a href="http://linuxtesting.org/">http://linuxtesting.org</a></div><div> </div><div> </div><div> </div><div>16.10.2018, 11:14, "A. Celenk" <<a href="mailto:ahmet.celenk@procenne.com">ahmet.celenk@procenne.com</a>>:</div><blockquote type="cite"><p>Hello,<br /><br />I will ask a dumb question: How do we run Klever? I've completed the<br />deployment; but couldn't figure out which python script (or some other<br />thing) should I run to start testing.<br /><br />P.S: I've used example klever-minimal.json.sample as configuration file.<br /><br />Thanks a lot,<br /><br />Ahmet Celenk<br /><br /><br />_______________________________________________<br />ldv-project mailing list<br /><a href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a><br /><a href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a></p></blockquote></blockquote></div></blockquote></blockquote></div></blockquote>