corralBatchScript

Runs Corral On A Batch Of Boogie Programs

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
bin/Debug/netcoreapp3.1		bin/Debug/netcoreapp3.1
obj		obj
Program.cs		Program.cs
README.md		README.md
corralBatch.csproj		corralBatch.csproj
corralBatch.sln		corralBatch.sln

Provide feedback