History log of /seL4-camkes-master/projects/camkes-tool/cdl-refine-tests/README.md
Revision Date Author Comments
# d0f6fdd5 23-Jul-2019 Japheth Lim <Japheth.Lim@data61.csiro.au>

cdl-refine-tests: update README.md
# b5023906 05-Nov-2018 Japheth Lim <Japheth.Lim@data61.csiro.au>

cdl-refine-tests: update README
# 0c5bd052 02-Oct-2018 Japheth Lim <Japheth.Lim@data61.csiro.au>

cdl-refine-tests: update paths for current repo directory structure
# c5882904 03-Sep-2018 Japheth Lim <Japheth.Lim@data61.csiro.au>

add temporary test suite for CapDL refinement proofs

Currently not attached to the main test runner. See the README.md for
more information on how to run it.

Resolves VER-987.