-
Notifications
You must be signed in to change notification settings - Fork 219
Commit
- Loading branch information
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,10 @@ | ||
fn main(x: Field) { | ||
assert(x == 1); | ||
assert(1 == conditional(x as bool)); | ||
} | ||
|
||
fn conditional(x: bool) -> Field { | ||
assert(x, f"Expected x to be true but got {x}"); | ||
assert_eq(x, true, f"Expected x to be true but got {x}"); | ||
1 | ||
} |
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.