ScenarioChecker

An interface for running and replaying scenarios in ProB. Events can be tagged as internal so that there is a notion of run to completion.

Name		Name	Last commit message	Last commit date
Latest commit History 234 Commits
.mvn		.mvn
ac.soton.eventb.scenariochecker.branding		ac.soton.eventb.scenariochecker.branding
ac.soton.eventb.scenariochecker.doc		ac.soton.eventb.scenariochecker.doc
ac.soton.eventb.scenariochecker.feature		ac.soton.eventb.scenariochecker.feature
ac.soton.eventb.scenariochecker.releng		ac.soton.eventb.scenariochecker.releng
ac.soton.eventb.scenariochecker.sdk		ac.soton.eventb.scenariochecker.sdk
ac.soton.eventb.scenariochecker		ac.soton.eventb.scenariochecker
.gitignore		.gitignore
.travis.yml		.travis.yml
README.md		README.md
pom.xml		pom.xml

Provide feedback