RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
Research if/how-to have IntelliJ create JAR of the system
If it's possible use JAR to write a Linux shell script to generate VCs for all the .rb files in the current RESOLVE-Workspace
Here's a link to a video with more details
[x] Jar the project
[x] Write the shell script to run the jar file on all .rb files
[x] Create Test cases to affirm VC generation is correct
[x] Integrate the shell script into Github Actions
Research if/how-to have IntelliJ create JAR of the system If it's possible use JAR to write a Linux shell script to generate VCs for all the .rb files in the current RESOLVE-Workspace Here's a link to a video with more details