cobra -test generates output for spurious tests from the RTL

[hopscc]

If you run cobra -test program.cobra you always get output for a whole lot of additional classes before those in program.cobra presumably corresponding to the Tests in CobraLang.cobra.

For simple classes this output is more than that of the 'interesting'
test file
Presumably the RTL is already tested and working and are surplus 'noise' to the tests for the designated file(s)
These RTL library tests should be suppressed

[hopscc]

example of test output for a single class file

[Chuck]

I get the extra output with "cobra -test hello" but not with "cobra -ert:no -test hello". And someday, -ert:no will be the default.

So we might consider letting this one go.

[hopscc]

Doh - that makes sense ( no runtime)
OK.

[hopscc]

Can close this now -ert:no is default.

[Chuck]

Agreed.