operations.aug

Task scheduling benchmark · Source and specification

Files in this project

• main.aug
• operations.aug

Code

Indentation

// aug-spec: "operations.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
compute(int value) returns int:
    return value * 3 + 1

Braces

// aug-spec: "operations.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2
compute(int value) returns int {
    return value * 3 + 1
}

Compiled specification

Interactions and sequences

compute · source

It takes value as an integer. It returns (value times 3) plus 1. source

Checked interface

compute(int value) returns int

It takes value as an integer.