Fixes to support API change in mojo 0.7.0.#12

Merged

guidorice merged 2 commits intomainfrom v0.7.0

Jan 31, 2024

+20-6

Commits on Jan 31, 2024

Mojo 0.7.0 support, and --mojo-assertions (-D MOJO_ENABLE_ASSERTIONS) option.
guidorice
committed
Fix -W error test (previous warning was removed in mojo 0.7.0).
guidorice
committed