search

codewars / codewars-runner-cli

Old CodeRunner project. See https://github.com/codewars/runner instead.
GNU Affero General Public License v3.0
402 stars 141 forks source link

Forbit holes in Idris submissions #717

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago

Describe the bug

Prove with a hole: ?unfinished_code

To Reproduce

... and run it.

Expected Behavior

Test failed because the code is incomplete.

Screenshots

image

kazk commented 5 years ago

Is there a way to enforce this? I've looked at compiler flags but I don't think I see anything.

If not, we can consider having WARNING: There are incomplete holes: a failure.

ice1000 commented 5 years ago

I didn't see any ways of enforcing this. Thumb up for banning the warning message.

kazk commented 5 years ago

OK, I post-processed the output to make this warning a failure.

image

I might change the test group name, but it'll look something like this.

I'll close this issue when I deploy.

ice1000 commented 5 years ago

Nai su~

kazk commented 5 years ago

Deployed