• Home
• com.github.bthink-bgu
• BPjs
• 0.9.8
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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.