Łukasz Kosiński

I got annoyed by the QuickCheck button not working so I decided to fix it. Here is my solution (tested on Windows 10, fully modified file is attached at the...

Hi @martrik. I created the PR with my changes (I modified testCode.ts file from which I guess the testCode.js is generated). Please verify it since I'm not a JS programmer.

Code in `echo.c` which prints the error (`full_write()` sets errno to EPIPE): ```c errno = 0; /*r =*/ full_write(STDOUT_FILENO, buffer, out - buffer); free(buffer); if (/*WRONG:r < 0*/ errno) {...