package Ġio . vex el abs . bit builder . llvm . unit . ir . values . constants Ċ Ċ import Ġorg . spe k framework . spe k 2 . Spe k Ċ Ċ internal Ġclass ĠConstant Float Test Ġ: ĠSpe k ({ ĊĠĠĠ Ġ// ĠTODO : ĠCreate Ġtests Ċ }) Ċ