jerhard/test-commits

Script for testing incremental / reluctant Goblint on a pair of commits

Shell