diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2018-03-24 12:22:02 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2018-08-14 19:15:20 +0200 |
| commit | fc7c58da98f0eddbd0109e2a09bf394dde555176 (patch) | |
| tree | 6c44c60a0638dbc6aba8843b056f6c5c17ed1298 /database | |
| parent | aa97e067caae9cbe25fc9140fc3e625933615fb9 (diff) | |
feat: Add support for both wall and cpu time
Diffstat (limited to 'database')
| -rw-r--r-- | database/schema.sql | 4 |
1 files changed, 3 insertions, 1 deletions
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 |