Framework for working with and testing transition system implementations.
The unit tests in this code are used to test an implementation of FvmFacade, which
is the class students have to implement during the practical parts of the homework.
-
Notifications
You must be signed in to change notification settings - Fork 2
BGU-FVM/HW-Definitions
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Framework for working with and testing transition system implementations.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published