blob: 424f317780ca2020b0bc6a6e746c52261b34da94 [file] [log] [blame]
:- '$benchmark'(path, 10, main, '$dummy').