search

gradual-verification / silicon-gv

Mozilla Public License 2.0
0 stars 3 forks source link

ChunkSupporter.consume no longer uses ve: VerifierError argument #9

Open jennalwise opened 3 years ago

jennalwise commented 3 years ago

The restructure of ChunkSupporter.consume does not require the ve: VerifierError argument anymore. Re-evaluating this in the future would be helpful to determine whether to remove, keep, or use the argument.