First time here? Check out the FAQ!
asked 2017-07-02 11:43:28 +0100
I would like to run make ptestlong with the option --show-skipped set for the sage -t part.
make ptestlong
--show-skipped
sage -t