abdullah13521 / formula

FORMULA 2.0: Formal Specifications for Verification and Synthesis

FORMULA 2.0 - Formal Specifications for Verification and Synthesis

Building and running FORMULA

With Nix flakes (macOS/Linux)

To build and run the command line interpreter with Nix flakes, run

$ nix run github:VUISIS/formula-dotnet

With .NET on x64

To build the command line interpreter, run the following commands from Src/CommandLine.

$ dotnet build CommandLine.sln /p:Configuration=Debug|Release /p:Platform=x64
$ dotnet ./bin/<Configuration>/<OS>/<PLATFORM>/net6.0/CommandLine.dll

To run unit tests with Formula, run the following command from Src/Tests.

$  dotnet test Tests.csproj /p:Configuration=Debug|Release /p:Platform=x64

For specific tests
$ dotnet test Tests.csproj /p:Configuration=Debug|Release /p:Platform=x64 --filter "FullyQualifiedName=<NAMESPACE>.<CLASS>.<METHOD>"

You can exit the command line interpreter with the "exit" command.