History log of /seL4-camkes-master/tools/cogent/cogent/tests/tests/subtyping/sinkfloat_promotion_test.cogent
Revision Date Author Comments
# 6ab4262e 30-Jan-2020 Emmet Murray <e.minor.murray@gmail.com>

testing: Added subtyping tests config and new test for SinkFloat