/test/builtins/

• ../
• add_bits.sail
• append.sail
• get_slice_int.sail
• mult_int.sail
• not_bool.sail
• replicate_bits.sail
• run_tests.sh
• set_slice_bits.sail
• shl_int.sail
• signed.sail
• sub_int.sail
• test_extras.lem
• unsigned1.sail
• unsigned2.sail
• unsigned3.sail
• unsigned4.sail
• unsigned5.sail
• unsigned6.sail
• vector_update_subrange.sail
• zeros.sail