Changes between Version 54 and Version 55 of Language


Ignore:
Timestamp:
05/24/23 13:27:11 (3 years ago)
Author:
Alex Wilton
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language

    v54 v55  
    559559$system int $choose_int(int n);
    560560}}}
    561 and returns an arbitrary integer in [0.''n''-1].  In verification mode, all possible choices are enumerated and explored.
     561and returns an arbitrary integer in [0.''n''-1].  In verification mode, all possible choices are enumerated and explored. Note that n is not required to be concrete. However, if it is not concrete CIVL may run forever in this case.
    562562
    563563=== Initialization by default value: `$default_value` #default_value