add 2pc verification tutorial #434

	# This workflow will build and test PSym in symbolic iterative mode, and cache/restore any dependencies to improve the workflow execution time
	# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven

	name: PSymB on Ubuntu

	on:
	push:
	pull_request:
	workflow_dispatch:
	inputs:
	args:
	description: Additional arguments
	default: ""
	required: false

	jobs:
	PSymIt-Build-And-Test-Ubuntu:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v1
	- name: Setup .NET Core
	uses: actions/setup-dotnet@v1
	with:
	dotnet-version: 8.0.x
	- name: Set up JDK
	uses: actions/setup-java@v1
	with:
	java-version: 11
	- name: Cache Maven packages
	uses: actions/cache@v2
	with:
	path: ~/.m2
	key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
	restore-keys: ${{ runner.os }}-m2
	- name: Build PSym
	working-directory: Src/PRuntimes/PSymRuntime
	run: ./scripts/build.sh
	- name: Test PSym
	working-directory: Src/PRuntimes/PSymRuntime
	run: mvn test -Dpsym.args="--strategy symbolic-bounded"

Provide feedback