📄 exposed_policies.mpc
字号:
// -*- MPC -*-
// Exposed_Policies.mpc,v 1.5 2003/12/23 21:04:50 dhinton Exp
project(*Server): strategies, rt_server {
Source_Files {
Policy_Tester.cpp
Policy_Verifier.cpp
RT_Properties.cpp
server.cpp
}
}
project(*Client): strategies, rt_server {
exename = client
Source_Files {
CounterC.cpp
Policy_Tester.cpp
Policy_Verifier.cpp
RT_Properties.cpp
client.cpp
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -