hink-bgu.BPjs.0.12.3.source-code.RunFile-usage.txt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of BPjs Show documentation

Provides runtime and analysis for behavioral programs written in JavaScript. It can run stand-alone (from the commmandline) or be embedded in larger JVM-based systems.

The newest version!

BPjs Execution Runtime
----------------------

This program takes a series of BPjs files, and executes or verifies them 
as a single BProgram.

Use "-" to also read from stdin.

BProgram log and event sequence are written to stdout.

Switches:
   -v ("verbose")
        Print more data about the BProgram's status as synchronization points.
   --verify 
        Verify the program, rather than execute it. Uses a default inspection set.
   --liveness
        Verify the b-program for liveness properties only. Only considered when --verify is present.
   --max-trace-length=
        Sets the maximum trace length to .
   --full-state-storage (verification only)
        Use full state storage, rather than a hashed one.