Skip to content

Commit

Permalink
need to add parantheses for explicit parsing
Browse files Browse the repository at this point in the history
  • Loading branch information
lenaRB committed Dec 13, 2023
1 parent 4565c56 commit 689f801
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ model BecomesTrue_no_ext is {

// Example of function call

Boolean b1 is if (2.5 < time and time < 5) or (7.5 < time and time < 9) then true else false;
Boolean b1 is if ((2.5 < time) and (time < 5)) or ((7.5 < time) and (time < 9)) then true else false;
Boolean b2 is true;
Boolean b3 is false;

Expand Down

0 comments on commit 689f801

Please sign in to comment.