[Question][Hw7] public test

[Yeonwoo-Nam]

Name: Yeonwoo Nam

In hw7, I get "unsatisfiable" for given test/example1.ll.
But gradescope says that "Public Tests Failed!!"
Are there more public test than example1.11
or the public test is for correctely compiled example1.ll?

[yeonhee-ryou]

Your custom test cases are considered as public tests too.

[Yeonwoo-Nam]

with the exact version submitted, I pass all the custom tests with "make test",
where submission is graded as "Public Tests Failed!!".

[yeonhee-ryou]

I've checked your repository with the latest commit and "make test" failed.
(+ check the results of github action)