29 May
2018
29 May
'18
6:12 a.m.
Hi all, the manual mentions `-ddump-simpl-phases` but there is no such flag [1]. How should we fix this? Cheers, Gabor [1] $ git grep ddump-simpl-phases docs/users_guide/debugging.rst: outputs even more information than ``-ddump-simpl-phases``.
2549
Age (days ago)
2549
Last active (days ago)
1 comments
2 participants
participants (2)
-
Ben Gamari -
Gabor Greif