Clearly one needs a visited-proc/line-trace for a coverage report.
Note that if TRACE is 4 then Singular will output all the lines of visited procedures (and await <RETURN> per each line):
http://www.singular.uni-kl.de/Manual/4- ... htm#SEC484I imagine that could be a starting point for such a possibility...
ps: for internals grep 'TRACE_SHOW_'
Clearly one needs a visited-proc/line-trace for a coverage report.
Note that if TRACE is 4 then Singular will output all the lines of visited procedures (and await <RETURN> per each line): http://www.singular.uni-kl.de/Manual/4-0-0/sing_445.htm#SEC484
I imagine that could be a starting point for such a possibility...
ps: for internals grep 'TRACE_SHOW_'