From fc7c58da98f0eddbd0109e2a09bf394dde555176 Mon Sep 17 00:00:00 2001 From: Fabian Mastenbroek Date: Sat, 24 Mar 2018 12:22:02 +0100 Subject: feat: Add support for both wall and cpu time --- database/schema.sql | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'database') diff --git a/database/schema.sql b/database/schema.sql index b9460701..36db1e17 100644 --- a/database/schema.sql +++ b/database/schema.sql @@ -239,8 +239,10 @@ CREATE TABLE stage_measurements ( experiment_id INTEGER NOT NULL, tick INTEGER NOT NULL CHECK (tick >= 0), stage INTEGER NOT NULL CHECK (stage >= 0), - duration INTEGER NOT NULL CHECK (duration >= 0), + cpu INTEGER NOT NULL CHECK (cpu >= 0), + wall INTEGER NOT NULL CHECK (wall >= 0), size INTEGER NOT NULL CHECK (size >= 0), + iterations INTEGER NOT NULL CHECK (iterations >= 0), FOREIGN KEY (experiment_id) REFERENCES experiments (id) ON DELETE CASCADE -- cgit v1.2.3