From 144d7ca36234bbae5ad9bef4c9280d9b509b57db Mon Sep 17 00:00:00 2001 From: pverghese Date: Sat, 6 Jul 2019 20:43:34 +0530 Subject: [PATCH] Added benchmarks --- examples/spectral.v | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/examples/spectral.v b/examples/spectral.v index dd72f553fe..d597fd331d 100644 --- a/examples/spectral.v +++ b/examples/spectral.v @@ -1,7 +1,12 @@ /* https://benchmarksgame-team.pages.debian.net/benchmarksgame/performance/spectralnorm.html Added: Pradeep Verghese +Benchmarks: +Used v -prod spectral.v +Command: time ./spectral 5500 +Output: 1.274224153 +Time: 11.67s user 0.02s system 99% cpu 11.721 total */ module main