Te grote generator voor satmx/constructed_lists.idp tests
Issue #538
new
De sentence is !x y: P(list(x,list(y,nil))).
Maar in tegenstelling tot x en y te instantieren, begint hij alle mogelijke lijsten (van alle mogelijke groottes te enumereren. Verkeede estimation size van constructed types?
Comments (1)
-
reporter - Log in to comment
Lijkt niet aan size te liggen, maar aan (random gedrag? in) reordering algoritme. (prints ertussen zetten lost het bvb op)