blob: 6c56efa26f3235d6626793e1040f24db19eb3730 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
/*
File: test_called_thd_fs.fsc
Date and Time: Mon Oct 13 18:18:16 2014
*/
transitive y
grammar-name "test_called_thd_fs"
name-space "NS_test_called_thd_fs"
thread-name "TH_test_called_thd_fs"
monolithic n
file-name "test_called_thd_fs.fsc"
no-of-T 569
list-of-native-first-set-terminals 3
raw_c
raw_e
raw_z
end-list-of-native-first-set-terminals
list-of-transitive-threads 3
NSa::THa
NSb::THb
NSd::THd
end-list-of-transitive-threads
list-of-used-threads 3
NSa::THa
NSb::THb
NSd::THd
end-list-of-used-threads
fsm-comments
"test the transience"
|