Cardinality of C returns wrong update for T union S

uwplse / syncro

Synthesis of Incremental Operations

2 stars 1 forks source link

Closed Sumith1896 closed 6 years ago

Sumith1896 commented 7 years ago

Updates that are two edges away do not give the right answer currently.