1 -- Copyright (C) 2016 Free Software Foundation, Inc.
3 -- This file is part of DejaGnu.
5 -- DejaGnu is free software: you can redistribute it and/or modify it
6 -- under the terms of the GNU General Public License as published by
7 -- the Free Software Foundation, either version 3 of the License, or
8 -- (at your option) any later version.
10 -- DejaGnu is distributed in the hope that it will be useful, but
11 -- WITHOUT ANY WARRANTY; without even the implied warranty of
12 -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 -- General Public License for more details.
15 -- You should have received a copy of the GNU General Public License
16 -- along with DejaGnu. If not, see <http://www.gnu.org/licenses/>.
18 /*!40101 SET @OLD_CHARACTER_SET_CLIENT=@@CHARACTER_SET_CLIENT */;
19 /*!40101 SET @OLD_CHARACTER_SET_RESULTS=@@CHARACTER_SET_RESULTS */;
20 /*!40101 SET @OLD_COLLATION_CONNECTION=@@COLLATION_CONNECTION */;
21 /*!40101 SET NAMES utf8 */;
22 /*!40103 SET @OLD_TIME_ZONE=@@TIME_ZONE */;
23 /*!40103 SET TIME_ZONE='+00:00' */;
24 /*!40014 SET @OLD_UNIQUE_CHECKS=@@UNIQUE_CHECKS, UNIQUE_CHECKS=0 */;
25 /*!40014 SET @OLD_FOREIGN_KEY_CHECKS=@@FOREIGN_KEY_CHECKS, FOREIGN_KEY_CHECKS=0 */;
26 /*!40101 SET @OLD_SQL_MODE=@@SQL_MODE, SQL_MODE='NO_AUTO_VALUE_ON_ZERO' */;
27 /*!40111 SET @OLD_SQL_NOTES=@@SQL_NOTES, SQL_NOTES=0 */;
30 -- Table structure for table `test`
33 DROP TABLE IF EXISTS `test`;
34 /*!40101 SET @saved_cs_client = @@character_set_client */;
35 /*!40101 SET character_set_client = utf8 */;
37 `testrun` int(9) NOT NULL DEFAULT '12345',
38 `input` varchar(128) NOT NULL,
39 `output` varchar(256) NOT NULL,
40 `result` enum('PASS','FAIL','XPASS','XFAIL','UNTESTED','UNRESOLVED', 'UNSUPPORTED') NOT NULL,
41 `name` varchar(128) NOT NULL,
42 `prmsid` int(11) NOT NULL,
43 KEY `testrun` (`testrun`)
44 ) ENGINE=InnoDB DEFAULT CHARSET=latin1;
45 /*!40101 SET character_set_client = @saved_cs_client */;
47 DROP TABLE IF EXISTS `testruns`;
48 /*!40101 SET @saved_cs_client = @@character_set_client */;
49 /*!40101 SET character_set_client = utf8 */;
50 CREATE TABLE `testruns` (
51 `tool` varchar(72) NOT NULL,
52 `date` datetime NOT NULL,
53 `version` varchar(72) NOT NULL,
54 `branch` varchar(72) NOT NULL,
55 `testrun` int(20) NOT NULL,
56 `arch` varchar(72) NOT NULL
57 `build_machine` varchar(72) NOT NULL
58 ) ENGINE=InnoDB DEFAULT CHARSET=latin1;
59 /*!40101 SET character_set_client = @saved_cs_client */;