aboutsummaryrefslogtreecommitdiff
path: root/comparison/README.txt
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-04-16 20:25:55 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-04-16 20:25:55 +0900
commit2385aacb1237295a4eacade285e6bc3b542ad06f (patch)
treeeb97f25db2fd31bf2bad59d68e257abaa08c02ff /comparison/README.txt
parente273a97d97c9d163bf1ef914cb4659a2593fbdd0 (diff)
downloadinpla-2385aacb1237295a4eacade285e6bc3b542ad06f.tar.gz
inpla-2385aacb1237295a4eacade285e6bc3b542ad06f.zip
Benchmarks for OCaml
Diffstat (limited to '')
-rw-r--r--comparison/README.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/comparison/README.txt b/comparison/README.txt
new file mode 100644
index 0000000..d5a1f57
--- /dev/null
+++ b/comparison/README.txt
@@ -0,0 +1,2 @@
+To get benchmark results, invoke the following command:
+bash all.sh