/data/unit-testing/

• ../
• Makefile
• access.fate
• access_constant_index.fate
• add_element.fate
• add_element_at.fate
• add_elements_of.fate
• allocate_and_free.fate
• cast.fate
• cond.fate
• cons_car_cdr.fate
• count.fate
• field_access.fate
• filter.fate
• fold.fate
• ifelse.fate
• map.fate
• merge.fate
• ptr_and_at.fate
• trivial.fate