Waterfall
| last build |
klee-x86_64-linux failed test Failed tests: 74 |
klee-2.6-x86_64-linux failed compile_1 |
klee-2.7-x86_64-linux build successful |
|
| current activity | idle | idle | idle | |
| EST | changes | klee-x86_64-linux | klee-2.6-x86_64-linux | klee-2.7-x86_64-linux |
| Sun 12 Feb 2012 20:12:25 |
||||
| 20:11:49 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 20:09:08 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 20:09:02 | update r150355 stdio |
|||
| 18:45:33 | compile Release+Asserts warnings stdio warnings |
|||
| 18:44:02 | configure Release+Asserts stdio |
|||
| 18:42:47 | update r150355 stdio |
|||
| 18:41:55 | update r150355 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 63 | configure stdio |
|||
| 18:41:52 | update r150355 stdio |
|||
| 18:39:32 | compile llvm stdio |
|||
| 18:38:42 | configure Release+Asserts stdio |
|||
| 18:38:30 | update [branch] r150355 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 63 | ||||
| 18:34:19 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 18:33:05 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r150355 stdio |
||||
| 18:30:43 | compile llvm stdio |
|||
| 18:30:03 | configure Release+Asserts stdio |
|||
| 18:29:53 | update [branch] r150355 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 62 | ||||
| 18:27:51 | pcc | |||
| pcc | ||||
| Wed 01 Feb 2012 16:16:02 |
||||
| 16:15:22 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 16:14:09 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 16:14:02 | update r149528 stdio |
|||
| 15:20:03 | compile Release+Asserts warnings stdio warnings |
|||
| 15:18:37 | configure Release+Asserts stdio |
|||
| 15:18:14 | update r149528 stdio |
|||
| 15:17:50 | update r149528 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 62 | configure stdio |
|||
| 15:17:47 | update r149528 stdio |
|||
| 15:15:25 | compile llvm stdio |
|||
| 15:14:31 | configure Release+Asserts stdio |
|||
| 15:14:18 | update [branch] r149528 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 62 | ||||
| 15:10:17 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 15:09:03 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r149528 stdio |
||||
| 15:06:42 | compile llvm stdio |
|||
| 15:05:52 | configure Release+Asserts stdio |
|||
| update [branch] r149528 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 61 | ||||
| 15:03:51 | dyatkovskiy | |||
| 05:04:34 | ||||
| 05:04:10 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 05:01:28 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 05:01:22 | update r149484 stdio |
|||
| 03:39:47 | compile Release+Asserts warnings stdio warnings |
|||
| 03:38:20 | configure Release+Asserts stdio |
|||
| 03:37:20 | update r149484 stdio |
|||
| 03:36:44 | update r149484 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 61 | configure stdio |
|||
| 03:36:41 | update r149484 stdio |
|||
| 03:34:21 | compile llvm stdio |
|||
| 03:33:30 | configure Release+Asserts stdio |
|||
| 03:33:12 | update [branch] r149484 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 61 | compile klee failed stdio |
|||
| 03:33:04 | configure stdio |
|||
| update r149484 stdio |
||||
| 03:30:43 | compile llvm stdio |
|||
| 03:30:03 | configure Release+Asserts stdio |
|||
| 03:29:52 | update [branch] r149484 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 60 | ||||
| 03:27:51 | dyatkovskiy | |||
| Wed 25 Jan 2012 14:05:16 |
||||
| 14:04:35 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 14:01:54 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 14:01:47 | update r148961 stdio |
|||
| 12:38:07 | compile Release+Asserts warnings stdio warnings |
|||
| 12:36:39 | configure Release+Asserts stdio |
|||
| 12:35:43 | update r148961 stdio |
|||
| 12:35:04 | update r148961 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 60 | configure stdio |
|||
| 12:35:01 | update r148961 stdio |
|||
| 12:32:40 | compile llvm stdio |
|||
| 12:31:36 | configure Release+Asserts stdio |
|||
| update [branch] r148961 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 60 | ||||
| 12:31:36 | ||||
| 12:27:36 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 12:26:58 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r148961 stdio |
||||
| 12:24:37 | compile llvm stdio |
|||
| 12:23:53 | configure Release+Asserts stdio |
|||
| update [branch] r148961 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 59 | ||||
| 12:21:51 | cristic | |||
| Wed 18 Jan 2012 17:17:25 |
||||
| 17:17:13 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 17:16:01 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 17:15:57 | update r148405 stdio |
|||
| 16:27:03 | compile Release+Asserts warnings stdio warnings |
|||
| 16:25:39 | configure Release+Asserts stdio |
|||
| 16:25:17 | update r148405 stdio |
|||
| 16:24:50 | update r148405 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 59 | configure stdio |
|||
| 16:24:45 | update r148405 stdio |
|||
| 16:22:25 | compile llvm stdio |
|||
| 16:21:33 | configure Release+Asserts stdio |
|||
| 16:21:12 | update [branch] r148405 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 59 | ||||
| 16:17:17 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 16:16:40 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r148405 stdio |
||||
| 16:14:19 | compile llvm stdio |
|||
| 16:13:39 | configure Release+Asserts stdio |
|||
| 16:13:14 | update [branch] r148405 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 58 | ||||
| 16:12:38 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 16:09:59 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 16:09:53 | update r148402 stdio |
|||
| 14:48:23 | compile Release+Asserts warnings stdio warnings |
|||
| 14:47:51 | cristic | configure Release+Asserts stdio |
||
| 14:47:03 | ||||
| 14:45:30 | update r148402 stdio |
|||
| 14:44:00 | update r148402 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 58 | configure stdio |
|||
| 14:43:56 | update r148402 stdio |
|||
| 14:41:32 | compile llvm stdio |
|||
| 14:40:29 | configure Release+Asserts stdio |
|||
| update [branch] r148402 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 58 | ||||
| 14:40:28 | ||||
| 14:36:28 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 14:35:03 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r148402 stdio |
||||
| 14:32:41 | compile llvm stdio |
|||
| 14:31:52 | configure Release+Asserts stdio |
|||
| update [branch] r148402 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 57 | ||||
| 14:29:51 | cristic | |||
| Fri 16 Dec 2011 13:55:26 |
||||
| 13:54:50 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 13:53:14 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 13:53:09 | update r146741 stdio |
|||
| 12:37:51 | compile Release+Asserts warnings stdio warnings |
|||
| 12:36:26 | configure Release+Asserts stdio |
|||
| 12:35:37 | update r146741 stdio |
|||
| 12:35:09 | update r146741 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 57 | configure stdio |
|||
| 12:35:05 | update r146741 stdio |
|||
| 12:32:44 | compile llvm stdio |
|||
| 12:31:52 | configure Release+Asserts stdio |
|||
| 12:31:41 | update [branch] r146741 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 57 | ||||
| 12:27:39 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 12:27:03 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r146741 stdio |
||||
| 12:24:43 | compile llvm stdio |
|||
| 12:23:52 | configure Release+Asserts stdio |
|||
| update [branch] r146741 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 56 | ||||
| 12:21:51 | cristic | |||
| Tue 13 Dec 2011 17:30:11 |
||||
| 17:29:38 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 17:26:58 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 17:26:43 | update r146510 stdio |
|||
| 16:07:19 | compile Release+Asserts warnings stdio warnings |
|||
| 16:05:49 | configure Release+Asserts stdio |
|||
| 16:05:30 | update r146510 stdio |
|||
| 16:04:58 | update r146510 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 56 | configure stdio |
|||
| 16:04:56 | update r146510 stdio |
|||
| 16:02:37 | compile llvm stdio |
|||
| 16:01:35 | configure Release+Asserts stdio |
|||
| update [branch] r146510 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 56 | ||||
| 16:01:35 | ||||
| 15:57:41 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 15:56:59 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r146510 stdio |
||||
| 15:54:38 | compile llvm stdio |
|||
| 15:53:52 | configure Release+Asserts stdio |
|||
| update [branch] r146510 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 55 | ||||
| 15:51:51 | pcc | |||
| Sun 11 Dec 2011 19:16:12 |
||||
| 19:16:01 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 19:14:41 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r146353 stdio |
||||
| 18:40:29 | compile Release+Asserts warnings stdio warnings |
|||
| 18:39:07 | configure Release+Asserts stdio |
|||
| 18:38:43 | update r146353 stdio |
|||
| 18:38:15 | update r146353 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 55 | configure stdio |
|||
| 18:38:09 | update r146353 stdio |
|||
| 18:35:49 | compile llvm stdio |
|||
| 18:34:52 | configure Release+Asserts stdio |
|||
| update [branch] r146353 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 55 | ||||
| 18:31:33 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 18:30:17 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r146353 stdio |
||||
| 18:27:57 | compile llvm stdio |
|||
| 18:27:17 | configure Release+Asserts stdio |
|||
| 18:26:53 | update [branch] r146353 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 54 | ||||
| 18:26:12 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 18:24:46 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 18:24:40 | update r146350 stdio |
|||
| 17:51:51 | cristic | compile Release+Asserts warnings stdio warnings |
||
| 17:37:51 | cristic | |||
| 17:13:33 | ||||
| 17:12:08 | configure Release+Asserts stdio |
|||
| 17:11:51 | cristic | update r146350 stdio |
||
| 17:11:29 | ||||
| 17:11:03 | update r146350 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 54 | configure stdio |
|||
| 17:11:00 | update r146350 stdio |
|||
| 17:08:38 | compile llvm stdio |
|||
| 17:07:46 | configure Release+Asserts stdio |
|||
| 17:07:34 | update [branch] r146350 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 54 | ||||
| 17:03:38 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 17:03:02 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r146350 stdio |
||||
| 17:00:41 | compile llvm stdio |
|||
| 16:59:52 | configure Release+Asserts stdio |
|||
| update [branch] r146350 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 53 | ||||
| 16:57:51 | cristic | |||
| Thu 08 Dec 2011 17:46:17 |
||||
| 17:45:37 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 17:43:37 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 17:43:31 | update r146178 stdio |
|||
| 16:30:20 | compile Release+Asserts warnings stdio warnings |
|||
| 16:28:52 | configure Release+Asserts stdio |
|||
| 16:27:55 | update r146178 stdio |
|||
| 16:27:02 | update r146178 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 53 | configure stdio |
|||
| 16:26:59 | update r146178 stdio |
|||
| 16:24:36 | compile llvm stdio |
|||
| 16:23:42 | configure Release+Asserts stdio |
|||
| 16:23:30 | update [branch] r146178 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 53 | ||||
| 16:19:39 | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
|||
| 16:19:02 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| update r146178 stdio |
||||
| 16:16:41 | compile llvm stdio |
|||
| 16:15:52 | configure Release+Asserts stdio |
|||
| update [branch] r146178 stdio |
||||
| set props: builddir stdio property changes |
||||
| Build 52 | ||||
| 16:13:51 | pcc | |||
| Mon 28 Nov 2011 23:17:28 |
||||
| 23:16:49 | test 91 tests 17 passed 74 failed failed stdio dg.sum tests.FAIL tests.XFAIL |
|||
| 23:14:09 | compile klee warnings stdio warnings |
|||
| configure stdio |
||||
| 23:14:04 | update r145365 stdio |
|||
| 21:58:52 | compile Release+Asserts warnings stdio warnings |
|||
| 21:57:25 | configure Release+Asserts stdio |
|||
| 21:56:43 | update r145365 stdio |
|||
| 21:55:42 | update r145365 stdio |
|||
| set props: builddir stdio property changes |
compile klee failed stdio |
|||
| Build 52 | configure stdio |
|||
| 21:55:40 | update r145365 stdio |
|||
| 21:53:19 | compile llvm stdio |
|||
| 21:52:26 | configure Release+Asserts stdio |
|||
| 21:52:14 | update [branch] r145365 stdio |
|||
| set props: builddir stdio property changes |
||||
| Build 52 | ||||
| 21:48:20 | pcc | test 91 tests 91 passed stdio dg.sum tests.XFAIL |
||