Commit 100db9c8 authored by Laszlo Domoszlai's avatar Laszlo Domoszlai
Browse files

add one more safety check in DEBUG mode

parent ba7101e8
......@@ -117,6 +117,7 @@ void exec(Code* expr, int frame_ptr, int root_frame_ptr)
{
assert(expr != NULL);
assert(stack_top_a < STACK_SIZE_A);
assert(stack_top_b < STACK_SIZE_B);
// TODO: check over application
// TODO: enforce strictness in ADT/Record
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment