module github.com/ds-test-framework/model-checker

go 1.13

require github.com/spf13/viper v1.7.1