Run a single ada test

Run a single ada test

[William Seurer]

Is there a way to run a single ada test?  The documentation mentions hows to
"run a subset of the tests by specifying which chapter to run" but not
individual tests.  I tried this (and some variations)

make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb

but it ran a whole bunch of tests actually NOT including the one I wanted.

Re: Run a single ada test

[Andreas Schwab]

On Jul 28 2020, William Seurer via Gcc wrote:

> make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb

gnat.exp isn't a testsuite driver, it's a lib file.  You want to use
dg.exp instead.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Run a single ada test

[William Seurer]

On 7/28/20 9:48 AM, Andreas Schwab wrote:
> On Jul 28 2020, William Seurer via Gcc wrote:
>
>> make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb
> gnat.exp isn't a testsuite driver, it's a lib file.  You want to use
> dg.exp instead.


Thanks.  That did run the specific test I wanted BUT also ran thousands 
more.

# of expected passes        2320
# of unexpected failures    0
# of expected passes        2
# of unexpected failures    1

Re: Run a single ada test

[Rainer Orth]

William Seurer via Gcc <gcc@gcc.gnu.org> writes:

> On 7/28/20 9:48 AM, Andreas Schwab wrote:
>> On Jul 28 2020, William Seurer via Gcc wrote:
>>
>>> make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb
>> gnat.exp isn't a testsuite driver, it's a lib file.  You want to use
>> dg.exp instead.
>
>
> Thanks.  That did run the specific test I wanted BUT also ran thousands
> more.
>
> # of expected passes        2320
> # of unexpected failures    0
> # of expected passes        2
> # of unexpected failures    1

Just omit the "gnat.dg/" prefix above: the pathnames after some driver
file (dg.exp) are relative to the directory that file lives in.

	Rainer

-- 
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University

Re: Run a single ada test

[Andreas Schwab]

On Jul 28 2020, William Seurer wrote:

> Thanks.  That did run the specific test I wanted BUT also ran thousands
> more.

The acats testsuite doesn't respect RUNTESTFLAGS (it doesn't use the
dejagnu framework).  If you only want to run the gnat testsuite, use
check-gnat.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Run a single ada test

[William Seurer]

On 7/28/20 12:04 PM, Andreas Schwab wrote:
> On Jul 28 2020, William Seurer wrote:
>
>> Thanks.  That did run the specific test I wanted BUT also ran thousands
>> more.
> The acats testsuite doesn't respect RUNTESTFLAGS (it doesn't use the
> dejagnu framework).  If you only want to run the gnat testsuite, use
> check-gnat.
There does not appear to be a check-gnat in any of the makefiles. 
Closest is "check-gnattools"

Re: Run a single ada test

[Andreas Schwab]

On Jul 28 2020, William Seurer wrote:

> There does not appear to be a check-gnat in any of the makefiles.

See LANG_MAKEFRAGS.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."

Re: Run a single ada test

[William Seurer]

On 7/28/20 2:57 PM, Andreas Schwab wrote:
> On Jul 28 2020, William Seurer wrote:
>
>> There does not appear to be a check-gnat in any of the makefiles.
> See LANG_MAKEFRAGS.
>
I see some stuff about that (and check-gnat, too) in some of the 
makefile input files but it doesn't seem to do anything when I run 
configure (for all languages).  Is there some configure option or 
environment variable I need to use?  Is it documented somewhere?

Re: Run a single ada test

[Eric Botcazou]

> Is there a way to run a single ada test?  The documentation mentions hows to
> "run a subset of the tests by specifying which chapter to run" but not
> individual tests.  I tried this (and some variations)
> 
> make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb
> 
> but it ran a whole bunch of tests actually NOT including the one I wanted.

make -C gcc -k check-gnat RUNTESTFLAGS="dg.exp=opt86a.adb"

You can omit the "-C gcc" if you run it from the gcc/ build dir of course.

-- 
Eric Botcazou

Re: Run a single ada test

[William Seurer]

On 7/31/20 7:57 AM, Eric Botcazou wrote:
>> Is there a way to run a single ada test?  The documentation mentions hows to
>> "run a subset of the tests by specifying which chapter to run" but not
>> individual tests.  I tried this (and some variations)
>>
>> make -k check-ada RUNTESTFLAGS=gnat.exp=gnat.dg/opt86a.adb
>>
>> but it ran a whole bunch of tests actually NOT including the one I wanted.
> make -C gcc -k check-gnat RUNTESTFLAGS="dg.exp=opt86a.adb"
>
> You can omit the "-C gcc" if you run it from the gcc/ build dir of course.
>
>
I see check-gnat in some of the makefile input files but I do not see it 
in the ones that are built.  Is there something needed to specify when 
configure is run to get it included?

Re: Run a single ada test

[Eric Botcazou]

> I see check-gnat in some of the makefile input files but I do not see it
> in the ones that are built.  Is there something needed to specify when
> configure is run to get it included?

No, this works with some generic magic like for gcc; g++, gfortran and so on.

-- 
Eric Botcazou