Skip to content

Resolve "Containerization: Extract parser"

Matt Langsenkamp requested to merge 19-containerization-extract-parser into master

Pre: this MR can be tested on any machine, but all steps should be done on the same machine

Part 1:

  • pull branch 19-containerization-extract-parser
  • run make rebuild
  • run make example
  • copy all of output into another folder "outputs2" in the root folder of MathSeer-extraction-pipeline

Part 2:

  • run make clean-repos
  • pull main
  • run make rebuild
  • run make example

Part 3:

  • run diff -r -y -b --suppress-common-lines outputs/ACL/qdgga/input/ outputs2/ACL/qdgga/input/ and ensure there are no differences
  • run diff -r -y -b --suppress-common-lines outputs/ACL/qdgga/output/ outputs2/ACL/qdgga/output/ and ensure the differences are minor

in theory there should be no differences here, but the qdgga branch used in the estrangulation was taken from a branch in progress for IO reasons so the small differences are likely from that.

Edited by R

Merge request reports