@Gankra If the C code passes your testing, then those tests are unlikely to trip any of the new (implicit) checks. That doesn't mean there are no bugs.
@mansr @Gankra you are moving the goal posts here but sure.
@mansr @Gankra you are moving the goal posts here but sure.