Import rsc 1.3 as submodule #21

	name: Formal Btormc

	on: [push, pull_request]

	jobs:
	ci:
	name: ci
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v2
	- name: Cleanup
	run: sed -i "s/%NAME%/test/g" build.sc
	- name: Setup Scala
	uses: olafurpg/setup-scala@v10
	with:
	java-version: [email protected]
	- name: Submodule
	run: git submodule update --init
	- name: Setup BtorMC
	uses: SeddonShen/[email protected]
	- name: Setup Mill
	uses: jodersky/[email protected]
	with:
	mill-version: 0.11.5
	- name: Cache Scala
	uses: coursier/cache-action@v5
	- name: mill Test
	run: mill chiselModule.test
	# - name: Single BtorMC Run 15 Steps
	# if: always()
	# run: btormc ./test_run_dir/NutCoreFormal_should_pass/NutCore.btor -kmax 15 --trace-gen-full --btor-stats > ./test_run_dir/NutCoreFormal_should_pass/15step.txt
	- name: Archive production artifacts
	if: always()
	uses: actions/upload-artifact@v3
	with:
	name: Btormc Output Files
	path: test_run_dir/NutCoreFormal_should_pass

Provide feedback