← Back to branch summary

~ubuntu-branches/ubuntu/quantal/ppl/quantal

« back to all changes in this revision

Viewing changes to tests/Octagonal_Shape/congruences1.cc

  • Committer: Bazaar Package Importer
  • Author(s): Matthias Klose
  • Date: 2011-04-21 09:08:39 UTC
  • mfrom: (3.2.3 sid)
  • Revision ID: james.westby@ubuntu.com-20110421090839-hiiobptchgzoqiik
Tags: 0.11.2-3ubuntu1
https://launchpad.net/bugs/697305
* Merge with Debian; remaining changes:
  - Ignore results running the testsuite on amd64. One failing test.
    See LP: #697305.
  - Disable building the SWI-Prolog bindings as its in universe.

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/Octagonal_Shape/congruences1.cc
2
2
   congruences of an octagon  that is defined by a system of
3
3
   congruences that contains only a trivially false congruence.
4
4
   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
 
5
   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
5
6
 
6
7
This file is part of the Parma Polyhedra Library (PPL).
7
8