diff options
| author | Stefan Radomski <github@mintwerk.de> | 2016-11-21 13:30:05 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2016-11-21 13:30:05 (GMT) |
| commit | 31efd06a62d5009f2a279f07bd6884c4ae075019 (patch) | |
| tree | 4b9e037411a30dac5ded346f785badc82e055f6b /config.h.in | |
| parent | e8e1198f23aebe829eefe7d109ad7b0765c07306 (diff) | |
| download | uscxml-31efd06a62d5009f2a279f07bd6884c4ae075019.zip uscxml-31efd06a62d5009f2a279f07bd6884c4ae075019.tar.gz uscxml-31efd06a62d5009f2a279f07bd6884c4ae075019.tar.bz2 | |
Reduced state space for PROMELA transformation
Diffstat (limited to 'config.h.in')
0 files changed, 0 insertions, 0 deletions