Viewing all changes in revision 226.22.5.
- Committer: Nikolaj Jensen Ulrik
- Date: 2021-03-03 13:23:16 UTC
- mto: (226.2.31 ltl-model-checker)
- mto: This revision was merged to the branch mainline in revision 231.
- Revision ID: nikolaj@njulrik.dk-20210303132316-f0rusqe9r2vm5znq
Add trace levels for internal usage
- files added:
- include/LTL/AlgorithmTypes.h
- files modified:
- include/LTL/Algorithm/ModelChecker.h
expand all
collapse all
added
removed
