test: pin down what the model-based test found - #4

test: pin down what the model-based test found#4

conjikidow merged 1 commit into

mainconjikidow/quint-connect-tutorial:mainfrom

test/regression-testsconjikidow/quint-connect-tutorial:test/regression-testsCopy head branch name to clipboard