/test/coq/pass/

• ../
• allpats.sail
• atom.sail
• avoid_lit.sail
• castunitvec.sail
• exatom.sail
• fncasts.sail
• irref.sail
• rangepair.sail
• rangetest.sail