blob: b122b149cee5175c4e6b310ec686c2533d5eb405 (
plain)
1
2
3
4
5
6
|
protocol "Network_test";
include "RubySlicc_interfaces.slicc";
include "Network_test-msg.sm";
include "Network_test-cache.sm";
include "Network_test-dir.sm";
include "standard_1level_CMP-protocol.sm";
|