/Chalice/tests/predicates/

• ../
• FoldUnfoldExperiments.chalice
• FoldUnfoldExperiments.output.txt
• aux-info.chalice
• aux-info.output.txt
• framing-fields.chalice
• framing-fields.output.txt
• framing-functions.chalice
• framing-functions.output.txt
• generate_reference.bat
• generate_reference_all.bat
• mutual-dependence.chalice
• mutual-dependence.output.txt
• reg_test.bat
• reg_test_all.bat
• setset.chalice
• setset.output.txt
• test.bat
• test.chalice
• test.output.txt
• test1.chalice
• test1.output.txt
• test10.chalice
• test10.output.txt
• test2.chalice
• test2.output.txt
• test3.chalice
• test3.output.txt
• test4.chalice
• test4.output.txt
• test7.chalice
• test7.output.txt
• test8.chalice
• test8.output.txt
• unfolding.chalice
• unfolding.output.txt