/src/test/

• ../
• idempotence.sh
• main.bin
• pattern.sail
• power.sail
• regbits.sail
• run_power.ml
• run_tests.ml
• test1.sail
• test2.sail
• test3.sail
• test4.sail
• vectors.sail