Improve doc of compa-para-tria.c integration test. #598

Job	Run time
mmg-debug / ci (ubuntu-20.04, on, off, on, off, int32_t)	1h 16m 52s
mmg-debug / ci (ubuntu-20.04, on, off, off, off, int32_t)	1h 37m 38s
mmg-debug / ci (ubuntu-20.04, off, off, on, off, int32_t)	1h 2m 43s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int32_t)	1h 10m 11s
mmg-debug / ci (macos-12, on, off, on, off, int32_t)	43m 0s
mmg-debug / ci (macos-12, on, off, off, off, int32_t)	56m 23s
mmg-debug / ci (macos-12, off, off, on, off, int32_t)	40m 27s
mmg-debug / ci (macos-12, off, off, off, off, int32_t)	40m 59s
mmg-debug / ci (ubuntu-20.04, off, off, off, on, int32_t)	3m 28s
mmg-debug / ci (macos-12, off, off, off, on, int32_t)	6m 59s
mmg-debug / ci (ubuntu-20.04, off, on, on, off, int32_t)	1h 2m 23s
mmg-debug / ci (macos-12, off, on, on, off, int32_t)	31m 11s
mmg-debug / ci (windows-2022, off, off, off, off, int32_t)	55m 13s
mmg-debug / ci (windows-2022, on, off, off, off, int32_t)	53m 10s
mmg-debug / ci (windows-2022, off, on, off, off, int32_t)	55m 26s
mmg-debug / ci (ubuntu-20.04, on, on, on, on, int64_t)	3m 54s
mmg-debug / ci (ubuntu-20.04, off, off, on, on, int64_t)	1h 10m 3s
mmg-debug / ci (ubuntu-20.04, off, off, off, off, int64_t)	1m 51s
mmg-debug / ci (macos-12, on, on, on, on, int64_t)	10m 25s
mmg-debug / ci (macos-12, off, off, off, off, int64_t)	4m 12s
mmg-debug / ci (windows-2022, on, on, off, off, int64_t)	4m 32s
mmg-debug / ci (windows-2022, off, off, off, off, int64_t)	4m 53s
mmg-debug / upload_coverage	2m 17s
	14h 18m 10s

Provide feedback