blob: 18ba37d6431234517b5857d5aef62d0f85594287 [file] [log] [blame]
:- P = 1000, '$benchmark'(qsort(P), 100, qsort(P), '$dummy'(P)).