Skip to content

Commit

Permalink
Fix owl benchmark type error
Browse files Browse the repository at this point in the history
  • Loading branch information
moazzammoriani committed Jun 7, 2022
1 parent b52c50c commit 29ea22a
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
1 change: 1 addition & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -135,6 +135,7 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json
@{ case "$*" in \
*5.0*) opam pin add -n --yes --switch $* sexplib0.v0.15.0 https://github.com/shakthimaan/sexplib0.git#multicore; \
esac };
opam pin add -n --yes --switch $* dune https://github.com/dra27/dune/archive/2.9.3-5.0.0.tar.gz
opam pin add -n --yes --switch $* base https://github.com/kit-ty-kate/base/archive/500-015.tar.gz
opam pin add -n --yes --switch $* coq-core https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
opam pin add -n --yes --switch $* coq-stdlib https://github.com/ejgallego/coq/archive/refs/tags/multicore-2021-09-29.tar.gz
Expand Down
6 changes: 3 additions & 3 deletions benchmarks/owl/test_owl.ml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
open Owl

let size = try int_of_string Sys.argv.(1) with _ -> 2048
let size = 2048

let () =
let _ =
let a = Mat.sequential size size in
Mat.(a * a)
Mat.(a * a);;

0 comments on commit 29ea22a

Please sign in to comment.