Add P4Smith, a random program generator to the P4Tools framework #1709

	name: "validate-p4c"

	on:
	schedule:
	# Every day on midnight UTC
	- cron: "0 0 * * *"
	pull_request:
	branches: [main]
	push:
	branches: [main]

	jobs:
	# We run validation in parallel with the normal tests.
	# Validation ensures that P4C compiles P4-16 programs correctly.
	# We only test the front end and some mid end passes for now.
	validate:
	# Only run on pull requests with the "run-validation" label.
	if: ${{ github.event_name == 'schedule' \|\| contains(github.event.pull_request.labels.*.name, 'run-validation') }}
	env:
	CTEST_PARALLEL_LEVEL: 4
	IMAGE_TYPE: test
	VALIDATION: ON
	runs-on: ubuntu-20.04
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive

	- name: ccache
	uses: hendrikmuhs/ccache-action@v1
	with:
	key: validation-${{ runner.os }}
	max-size: 1000M

	- name: Build (Ubuntu 20.04)
	run: \|
	tools/ci-build.sh

	- name: Validate
	run: \|
	ctest -R toz3-validate-p4c --output-on-failure --schedule-random
	working-directory: ./build

Provide feedback