Ticket #85 (new Bug)

Opened 5 years ago

Last modified 3 years ago

libpoldiff: allow diff of boolean expressions with more than five variables

Reported by: jtang Assigned to: pebenito
Priority: Undecided Milestone: design
Component: libpoldiff Version: SETools-Devel
Keywords: Cc:

Description

Currently, libpoldiff will hit an assertion error if a conditional expression uses more than 5 unique booleans within one expression. Find some way of handling this situation without being too slow.

Change History

03/08/10 15:10:03 changed by pebenito

  • owner changed from jtang to pebenito.