Fame test cases failing

[maphih]

I don't know if this was what we discussed on Wednesday, but evee (main branch) fails the (FAME) tests testPizzaBug2WeightedSize and testPizzaBug2Size.

[ERROR] scala.de.tu_dresden.inf.lat.evee.eliminationProofs.fame.DiscoveredFameBugsTests.testPizzaBug2WeightedSize  Time elapsed: 30.227 s  <<< ERROR!
de.tu_dresden.inf.lat.evee.proofs.data.exceptions.ProofGenerationFailedException: Something got lost during forgetting!
	at scala.de.tu_dresden.inf.lat.evee.eliminationProofs.fame.DiscoveredFameBugsTests.testPizzaBug2WeightedSize(DiscoveredBugsTests.scala:266)

Stefan Borgwardt
30 May 2024
Ida made a list of all test cases that fail (including in eliminationProofs): https://gitlab.tcs.inf.tu-dresden.de/tofr961c/tud-dl-workshop-expressive-proofs/uploads/73a058fef3738414693059266995d1d4/CPEC_evee-unit-testing-v-0_1.xlsx https://gitlab.tcs.inf.tu-dresden.de/tofr961c/tud-dl-workshop-expressive-proofs/uploads/fd821e445cfb8cc7f9138954f51c00f6/evee-test-results-complete-20240530 Some of them are in the FAME submodule, but some are also in elimination-proofs-core.