Skip to content

Snapshot 2018-04-06

Pre-release
Pre-release
Compare
Choose a tag to compare
@danielratiu danielratiu released this 06 Apr 18:37
· 2476 commits to master since this release
snapshot/v2018_04_06
61e26ee
  • generalized test-cases (allow nondeterministic values for certain inputs in certain steps)
  • verification case: run a test after the system reached a certain state
  • more compact RCP packaging
Assets 3
Loading