aboutsummaryrefslogtreecommitdiff
path: root/tests/parity.known
Commit message (Collapse)AuthorAgeFilesLines
* bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded ↵Gravatar zinc 14 days1-0/+3
| | | | main in o3call, o3 tests expect no check, boundsrules, bounds_fixed, bounds_heap and zc0unbounded tests
* parity: compare what zc0 and the self-hosted compiler printGravatar zinc 14 days1-0/+15
src/tools/parity.sh compiles each program of tests/programs, examples and examples/learn with zc0 (runtime, program, mkgenome, a microcore with the image embedded, kept under build/parity/) and runs it beside build/bin/zy < prog.zc, then compares stdout. what zc0 rejects is skipped and counted. tests/parity.known lists the differences that are by design (zc0 has no ownership analysis or memdebug checks). make parity runs it. tests/programs/parity_ops.zc pins operator precedence and associativity across every binary operator, unary operators, assignment and short-circuit order; its output matches a c compiler's.