Bug#748116: Duplicate and conflicting definition of function check_assertion

2014-06-05 Thread Andrew M. Bishop
> Package: cxref > Version: 1.6d-6 > Usertags: goto-cc > > During a rebuild of all packages in a clean sid chroot (and > cowbuilder+pbuilder) > the build failed with the following error. Please note that we use our > research > compiler tool-chain (using tools from the cbmc package), which permi

Bug#748116: Duplicate and conflicting definition of function check_assertion

2014-05-14 Thread Michael Tautschnig
Package: cxref Version: 1.6d-6 Usertags: goto-cc During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder) the build failed with the following error. Please note that we use our research compiler tool-chain (using tools from the cbmc package), which permits extended reportin