Skip to Content.
Sympa Menu

cgal-discuss - [cgal-discuss] Bug in Ridges post-condition expression.

Subject: CGAL users discussion list

List archive

[cgal-discuss] Bug in Ridges post-condition expression.


Chronological Thread 
  • From: jackyb <>
  • To:
  • Subject: [cgal-discuss] Bug in Ridges post-condition expression.
  • Date: Mon, 9 Aug 2010 12:15:01 -0700 (PDT)


CGAL error: postcondition violation!
Expression : !( (h1_is_crossed && !h2_is_crossed && !h3_is_crossed)
|| (!h1_is_crossed && h2_is_crossed && !h3_is_crossed)

<---
|| (!h1_is_crossed && h2_is_crossed && !h3_is_crossed))

<---
File :
C:\Users\t_biblj\Documents\Downloads\CGAL-3.6.1\include\CGAL/Ridges.h
Line : 546

Note the two subexpressions marked by an arrow (<---) above are the same.
Seems to me that what was intended was different.
Cut and paste gets me every time too... :S

Cheers,
JB
--
View this message in context:
http://cgal-discuss.949826.n4.nabble.com/Bug-in-Ridges-post-condition-expression-tp2318936p2318936.html
Sent from the cgal-discuss mailing list archive at Nabble.com.



Archive powered by MHonArc 2.6.16.

Top of Page