Workflow Scenarios

Provide git repo

• User provides an URL to git repo, where there are SAVE's config files with corresponding test suites
• We clone it
• Either: Start SAVE in root directory and it should detect all configs OR read a special file $ROOT_DIR/.save.conf and run SAVE with configuration from there Example project tree:

- src
-- main/java...
-- test/java...
-- it/resources
---- pack1
----- pack1.toml
----- resourcesDir
---- pack2
----- pack2.toml
----- resourcesDir
.save.conf

Operation modes

• Check IR
• Check compilation success/errors
• Check that compiled binaries can be executed
• Check static analyzer: formatted text, reported error
• Support benchmarks

Resluts

• Badge
• Dashboard