search

khoroshilov / aadl-qa

1 stars 0 forks source link

requality not provided #5

Open juli1 opened 10 years ago

juli1 commented 10 years ago

Hi, The location of requality cannot be found. Please add relevant installation notes.

khoroshilov commented 10 years ago

We will do. Requality can be downloaded from: http://forge.ispras.ru/projects/reqdb/files Just to note, requality is an optional tool, the tests can be run without it.

juli1 commented 10 years ago

In that case, how to run the tools? ./aad-qa.pl run cannot work without it and gensrc needs requality to generate the tests, right?

khoroshilov commented 10 years ago

All generated sources are kept in git, so 'git clone ...' & 'aadl-qa.pl run Ocarina' is enough to run all the tests. And 'aadl-qa.pl run' does not require requality.

'aadl-qa.pl gensrc' does require, but it is needed if we have updated source for the generated tests and we would like to regenerate them.

As we agreed before, it is responsibility of a maintainer of a sub test suite to keep generated tests in git in sync with its origin.

juli1 commented 10 years ago

Alright, thanks for the clarification.

Julien.

On Thu, Jan 30, 2014 at 1:51 AM, Alexey Khoroshilov < notifications@github.com> wrote:

All generated sources are kept in git, so 'git clone ...' & 'aadl-qa.plrun Ocarina' is enough to run all the tests. And ' aadl-qa.pl run' does not require requality.

'aadl-qa.pl gensrc' does require, but it is needed if we have updated source for the generated tests and we would like to regenerate them.

As we agreed before, it is responsibility of a maintainer of a sub test suite to keep generated tests in git in sync with its origin.

— Reply to this email directly or view it on GitHubhttps://github.com/khoroshilov/aadl-qa/issues/5#issuecomment-33664295 .