Download the original ESPRESSO-II binary as espresso2
Use the current implementation of espresso to minimize every example except o64.pla
Check the equivalence of the output and the original PLA using espresso2 -Dverify (and bash's process substitution)
I choose fd over find because find won't fail if one of -exec xxx fails. However, fd added this failing feature in 7.5.0 and ubuntu-20.04 only has 7.4.0, so I manually installed a newer version.
This test does the following things:
espresso2espresso2 -Dverify(and bash's process substitution)I choose
fdoverfindbecausefindwon't fail if one of-exec xxxfails. However,fdadded this failing feature in 7.5.0 and ubuntu-20.04 only has 7.4.0, so I manually installed a newer version.