]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/scripts/bench.sql
test branch
[helm.git] / helm / matita / scripts / bench.sql
diff --git a/helm/matita/scripts/bench.sql b/helm/matita/scripts/bench.sql
new file mode 100644 (file)
index 0000000..a455085
--- /dev/null
@@ -0,0 +1,13 @@
+DROP TABLE bench;
+
+CREATE TABLE bench (
+       mark VARCHAR(100) NOT NULL,
+       time VARCHAR(8) NOT NULL,
+       timeuser VARCHAR(8) NOT NULL,
+       compilation ENUM('byte','opt') NOT NULL,
+       test VARCHAR(100) NOT NULL,
+       result ENUM('ok','fail') NOT NULL,
+       options SET('gc-off','gc-on')
+);
+
+DESCRIBE bench;