operations.aug

Function-call 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
step(int value) returns int:
    int product = value * 48271 + 1
    return product - product / 2147483647 * 2147483647

Braces

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

Compiled specification

Interactions and sequences

step · source

It takes value as an integer. It sets product to (value times 48271) plus 1. It returns product minus ((product divided by 2147483647) times 2147483647). source

Checked interface

step(int value) returns int

It takes value as an integer.