[Migration, WIP] Revive the remaining testing infrastructure (GenAlive2.v, Example.v, ...) - #2

[Migration, WIP] Revive the remaining testing infrastructure (GenAlive2.v, Example.v, ...)#2

petrosyh wants to merge 2 commits into

vellvm:mainvellvm/genllvm:mainfrom

petrosyh:migrationpetrosyh/genllvm:migrationCopy head branch name to clipboard