search

JBenda / inkcpp

Inkle Ink C++ Runtime with JSON>Binary Compiler
MIT License
70 stars 13 forks source link

Advance InkProof B006, B007 #15

Closed JBenda closed 3 years ago

JBenda commented 3 years ago

Try to accomplish as much InkProofnes with the current feature set as possible.

JBenda commented 3 years ago

Fair point, but isn't this with ink-proof kind of redundant? I will implement some test ^^ (soon TM)

brwarner commented 3 years ago

I guess I'm not sure how extensively ink-proof would test problem cases in this algorithm.

Something like comparing (& is string append)

4 & 55 & "hello" with 45 & "5hello"

Is the kind of case you'd want to write a test for knowing how your algorithm works. It's not the kind of test ink-proof is going to have.

On Wed, Feb 10, 2021 at 1:28 AM JBenda notifications@github.com wrote:

Fair point, but isn't this with ink-proof kind of redundant? I will implement some test ^^ (soon TM)

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/brwarner/inkcpp/pull/15#issuecomment-776570470, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAIAEVDZUJQ2LJRT3OSLIG3S6JGUZANCNFSM4XJLD55A .