/src/test/

• ../
• hello3
• hello4
• hello4.c
• hello4.objdump-D
• hello4.s
• hello6
• idempotence.sh
• main.bin
• pattern.sail
• power.sail
• regbits.sail
• run_power.ml
• run_tests.ml
• test1.sail
• test2.sail
• test3.sail
• test4.sail
• test5.sail
• vectors.sail