Addition

Nada program

src/addition.py

from nada_dsl import *

def nada_main():
    party_alice = Party(name="Alice")
    party_bob = Party(name="Bob")
    party_charlie = Party(name="Charlie")
    num_1 = SecretInteger(Input(name="num_1", party=party_alice))
    num_2 = SecretInteger(Input(name="num_2", party=party_bob))
    sum = num_1 + num_2
    return [Output(sum, "sum", party_charlie)]

View on GitHub

Test file

tests/addition_test.yaml

---
program: addition
inputs:
  num_1: 30
  num_2: 10
expected_outputs:
  sum: 40

View on GitHub

Run and test the addition program

1. Open "Nada by Example"

2. Run the program with inputs from the test file

nada run addition_test

3. Test the program with inputs from the test file against the expected_outputs from the test file

nada test addition_test