| -- Copyright (C) 2016 Free Software Foundation, Inc. |
| |
| -- This file is part of DejaGnu. |
| |
| -- DejaGnu is free software; you can redistribute it and/or modify it |
| -- under the terms of the GNU General Public License as published by |
| -- the Free Software Foundation; either version 3 of the License, or |
| -- (at your option) any later version. |
| |
| /*!40101 SET @OLD_CHARACTER_SET_CLIENT=@@CHARACTER_SET_CLIENT */; |
| /*!40101 SET @OLD_CHARACTER_SET_RESULTS=@@CHARACTER_SET_RESULTS */; |
| /*!40101 SET @OLD_COLLATION_CONNECTION=@@COLLATION_CONNECTION */; |
| /*!40101 SET NAMES utf8 */; |
| /*!40103 SET @OLD_TIME_ZONE=@@TIME_ZONE */; |
| /*!40103 SET TIME_ZONE='+00:00' */; |
| /*!40014 SET @OLD_UNIQUE_CHECKS=@@UNIQUE_CHECKS, UNIQUE_CHECKS=0 */; |
| /*!40014 SET @OLD_FOREIGN_KEY_CHECKS=@@FOREIGN_KEY_CHECKS, FOREIGN_KEY_CHECKS=0 */; |
| /*!40101 SET @OLD_SQL_MODE=@@SQL_MODE, SQL_MODE='NO_AUTO_VALUE_ON_ZERO' */; |
| /*!40111 SET @OLD_SQL_NOTES=@@SQL_NOTES, SQL_NOTES=0 */; |
| |
| -- |
| -- Table structure for table `test` |
| -- |
| |
| DROP TABLE IF EXISTS `test`; |
| /*!40101 SET @saved_cs_client = @@character_set_client */; |
| /*!40101 SET character_set_client = utf8 */; |
| CREATE TABLE `test` ( |
| `testrun` int(9) NOT NULL DEFAULT '12345', |
| `input` varchar(128) NOT NULL, |
| `output` varchar(256) NOT NULL, |
| `result` enum('PASS','FAIL','XPASS','XFAIL','UNTESTED','UNRESOLVED', 'UNSUPPORTED') NOT NULL, |
| `name` varchar(128) NOT NULL, |
| `prmsid` int(11) NOT NULL, |
| KEY `testrun` (`testrun`) |
| ) ENGINE=InnoDB DEFAULT CHARSET=latin1; |
| /*!40101 SET character_set_client = @saved_cs_client */; |
| |
| DROP TABLE IF EXISTS `testruns`; |
| /*!40101 SET @saved_cs_client = @@character_set_client */; |
| /*!40101 SET character_set_client = utf8 */; |
| CREATE TABLE `testruns` ( |
| `tool` varchar(72) NOT NULL, |
| `date` datetime NOT NULL, |
| `version` varchar(72) NOT NULL, |
| `branch` varchar(72) NOT NULL, |
| `testrun` int(20) NOT NULL, |
| `arch` varchar(72) NOT NULL |
| `build_machine` varchar(72) NOT NULL |
| ) ENGINE=InnoDB DEFAULT CHARSET=latin1; |
| /*!40101 SET character_set_client = @saved_cs_client */; |
| |