Add property-based tests as foundation for formal verification #1017

	# This workflow will build a Java project with Ant and run VStar's unit tests
	# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-ant

	name: VStar Unit Tests

	on:
	push:
	branches:
	- "**"
	pull_request:
	branches: [ master ]

	jobs:
	build:
	runs-on: ubuntu-latest

	strategy:
	matrix:
	java: [ '17', '21', '23' ]

	name: Java ${{ matrix.java }} VStar UTs

	steps:
	- uses: actions/checkout@v4
	- name: Set up Java
	uses: actions/setup-java@v4
	with:
	java-version: ${{ matrix.java }}
	distribution: 'temurin'
	- name: Create plugin dir
	run:
	mkdir -p ~/vstar_plugins
	- name: Create plugin libs dir
	run:
	mkdir -p ~/vstar_plugin_libs
	- name: Run tests with coverage
	run:
	ant -noinput -buildfile build.xml coverage-report
	- name: Upload coverage report
	if: always()
	uses: actions/upload-artifact@v4
	with:
	name: coverage-report-java${{ matrix.java }}
	path: test_report/coverage/

Provide feedback