[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Please block chumley from building package cbmc

Hi Christian, All,

> Anyhow, why is it inconsistent? The build has failed due to some tests:
> Tests failed
>   2 of 342 tests failed, 21 tests skipped
> Failed test: Function_Pointer7
> CBMC version 5.0 32-bit linux
> Parsing main.c
> Converting
> Type-checking main
> file main.c line 22 function main: warning: conversion from `struct dev
> (*)[4]' to `struct dev *': incompatible pointer types
> file main.c line 26 function main: function `assert' is not declared
> Generating GOTO Program
> Adding CPROVER library
> Function Pointer Removal
> Partial Inlining
> Generic Property Instrumentation
> Starting Bounded Model Checking
> size of program expression: 47 steps
> simple slicing removed 0 assignments
> Generated 1 VCC(s), 0 remaining after simplification

The above output should have a line


just before SIGNAL=0 and I can't really see any reason why the script producing
this text output would not guarantee that (the only possible explanation being:
all the text beforehand is synced to disk only after the EXIT line was written,
but before the SIGNAL line. I might dig further, but given this has only
happened on chumley/crest so far, and the build taking 6 days on that host, it
doesn't seem terribly worthwhile.

> I would not know how to blacklist one package one a buildd, but I guess it
> will not pick it up again in the near future.

Here's what mirabilos sent me earlier (he permitted being quoted):

----- Forwarded message from Thorsten Glaser <tg@mirbsd.de> -----

Date: Sun, 15 Feb 2015 23:04:29 +0000 (UTC)
From: Thorsten Glaser <tg@mirbsd.de>
To: Michael Tautschnig <mt@debian.org>
Subject: Re: Force-building cbmc on ara5

Michael Tautschnig dixit:

>of cbmc. Would it be possible to re-schedule the build of cbmc on ara5? The

To the best of my knowledge: no.

AIUI wanna-build, the buildds just get the topmost entry, however,
each buildd admin has the power to block some packages (locally in
the config) from being built on this machine.


----- End forwarded message -----

So as buildd admin apparently you have the powers to reject certain packages?
Also, this bug report suggests this is possible:


Thanks a lot,

Attachment: pgp9CZbbQzBEL.pgp
Description: PGP signature

Reply to: