leo/tests/compiler/field/negate.leo
2022-10-05 16:53:49 -07:00

12 lines
181 B
Plaintext

/*
namespace: Compile
expectation: Pass
input_file:
- inputs/fields.in
*/
program test.aleo {
transition main(a: field, b: field) -> bool {
return -a == -b;
}}