History log of /seL4-camkes-master/tools/cogent/cogent/tests/tests/case/pass_case-bool.cogent
Revision Date Author Comments
# 9708370d 09-Oct-2020 Zilin Chen <Zilin.Chen@data61.csiro.au>

compiler: fix case on Bool type

[skip bamboo]