File tree Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change 15
15
#include "std_expr.h"
16
16
#include "std_types.h"
17
17
18
- /// \par parameters: Desired type (C_bool or plain bool)
18
+ /// \param parameters Desired type (C_bool or plain bool)
19
+ /// \param source_location source location
19
20
/// \return nondet expr of that type
20
- inline exprt get_nondet_bool (const typet & type )
21
+ inline exprt get_nondet_bool (
22
+ const typet & type ,
23
+ const source_locationt & source_location = source_locationt ())
21
24
{
22
25
// We force this to 0 and 1 and won't consider
23
26
// other values.
24
27
return typecast_exprt (
25
- side_effect_expr_nondett (bool_typet (), source_locationt () ), type );
28
+ side_effect_expr_nondett (bool_typet (), source_location ), type );
26
29
}
27
30
28
31
#endif // CPROVER_UTIL_NONDET_BOOL_H
You can’t perform that action at this time.
0 commit comments