First time here? Check out the FAQ!
asked 7 years ago
I would like to run make ptestlong with the option --show-skipped set for the sage -t part.
make ptestlong
--show-skipped
sage -t