chore: fix some comments

AliveToolkit / alive2

Automatic verification of LLVM optimizations

MIT License

719 stars 93 forks source link

Closed fivecut closed 2 weeks ago

nunoplopes commented 3 weeks ago

The tests/lit is not our code and should not be changed.

fivecut commented 3 weeks ago

The tests/lit is not our code and should not be changed.

Thanks. Reverted