Project

General

Profile

« Previous | Next » 

Revision 3f073372

ID3f0733729c7f42338e69ac3905c363ddc48cbc21
Parent 080482ac
Child 92102c11

Added by Christoph Egger over 3 years ago

Treat Sat states like finishing states

With Sat states only treated like other states in the second fixpoint
iteration, the outer fixpoint was not ncessarily monononously decreasing
causing wrong results when in the first round the same number of nodes
got removed as added due to sat states.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences