Skip to content

Commit

Permalink
chore: run formatter
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench committed Oct 9, 2024
1 parent 1eb5a95 commit 27f8f08
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
4 changes: 2 additions & 2 deletions src/_comparison_tools/lt.nr
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
/**
* @file helper methods that evaluate comparison operations on Field elements that are known to be of a fixed size (e.g. <2^16)
**/
unconstrained pub fn get_lt_predicate_f(x: Field, y: Field) -> bool {
pub unconstrained fn get_lt_predicate_f(x: Field, y: Field) -> bool {
let a = x as u32;
let b = y as u32;
let r = a < b;
r
}

unconstrained pub fn get_lte_predicate_large(x: Field, y: Field) -> bool {
pub unconstrained fn get_lte_predicate_large(x: Field, y: Field) -> bool {
let r = x.lt(y) | (x == y);
r
}
Expand Down
6 changes: 3 additions & 3 deletions src/_string_tools/slice_packed_field.nr
Original file line number Diff line number Diff line change
Expand Up @@ -689,7 +689,7 @@ mod test {
}

#[test]
fn test_slice_fields_nolength() {
fn test_slice_fields_nolength() {
let text: [u8; 1405] = "Charlie is genius, right. He's made from a million pieces of old bubble gum. Imagine that! In the summer of 1976, on his way home from an Alice Cooper concert, Charlie started to melt onto the pavement. It was too hot in L.A., and he melted like a pink bitch. Luckily though, there was Eric Phillips, a local crocodile who dabbled in black magic. He took pity on Charlie and scraped him off the floor with a pair of fish slicers. He poured him into an antique soup ladle, and boarded his magic carpet. Destination: Alaska! Eric Phillips decided to refreeze Charlie, but in his cold-blooded reptilian haste, he refroze him into to the shape of a Hoover. Charlie wasn't fazed though, he just zoomed about the place, sucking up Inuits. Ha ha! Oh. The Inuits didn't mind; they loved it in Charlie's pink, tight warm belly pouch, and they refused to come out. Charlie said, \"I'm cool with that,\" and set fire to a posh hammer to make it official. he downside was that the Inuits suffocated immediately. It was air-tight in there. Charlie panicked and fired the tiny Inuit bullets into Eric's crocodile peepers. The green shape was frozen. After a quick drink, Charlie stole Eric Phillips's magic carpet and left for Seattle. Charlie was racked with guilt: he'd killed 50 Inuits, noone needs that. He decided to spend the rest of his life putting small hairstyles onto boots, monkey nuts, trumpets and spanners.".as_bytes();
println(f"text = {text}");
let mut slices: [Field; 46 + 3] = [0; 46 + 3];
Expand All @@ -712,7 +712,7 @@ fn test_slice_fields_nolength() {
}

#[test]
fn test_slice_fields() {
fn test_slice_fields() {
let text: [u8; 1405] = "Charlie is genius, right. He's made from a million pieces of old bubble gum. Imagine that! In the summer of 1976, on his way home from an Alice Cooper concert, Charlie started to melt onto the pavement. It was too hot in L.A., and he melted like a pink bitch. Luckily though, there was Eric Phillips, a local crocodile who dabbled in black magic. He took pity on Charlie and scraped him off the floor with a pair of fish slicers. He poured him into an antique soup ladle, and boarded his magic carpet. Destination: Alaska! Eric Phillips decided to refreeze Charlie, but in his cold-blooded reptilian haste, he refroze him into to the shape of a Hoover. Charlie wasn't fazed though, he just zoomed about the place, sucking up Inuits. Ha ha! Oh. The Inuits didn't mind; they loved it in Charlie's pink, tight warm belly pouch, and they refused to come out. Charlie said, \"I'm cool with that,\" and set fire to a posh hammer to make it official. he downside was that the Inuits suffocated immediately. It was air-tight in there. Charlie panicked and fired the tiny Inuit bullets into Eric's crocodile peepers. The green shape was frozen. After a quick drink, Charlie stole Eric Phillips's magic carpet and left for Seattle. Charlie was racked with guilt: he'd killed 50 Inuits, noone needs that. He decided to spend the rest of his life putting small hairstyles onto boots, monkey nuts, trumpets and spanners.".as_bytes();
println(f"text = {text}");
let mut slices: [Field; 46 + 3] = [0; 46 + 3];
Expand Down Expand Up @@ -780,7 +780,7 @@ fn test_slice_fields() {
}

#[test]
fn test_slice_field() {
fn test_slice_field() {
let input = 0xffeebbccbbaa99887766554433221100112233445566778899aabbccddeeff;

let input_bytes: [u8; 32] = input.to_be_bytes();
Expand Down

0 comments on commit 27f8f08

Please sign in to comment.