A mini ACSL tutorial for Value, part 2: functional dependencies André Maroneze on 30 September 2016
In our previous post, we left you in a cliffhanger: which \from is missing from our ACSL specification for safe_get_random_char? In this post, we explain the functional dependencies in our specification, how to test them, and then present the missing dependency. Where do the \from come from? Our complete specification...
Read More