0533名無しさん@お腹いっぱい。垢版 | 大砲2018/10/28(日) 00:13:49.43ID:cScsyAGA >>530 簡単な修正例だと、ソースで neverallow A B:C D みたいなコードに対して、エラーメッセージが violated by allow A E:C D が出たとき、ソースは"ー"(マイナス記号)をつかって、 neverallow A { B -E }:C D と修正すればいい。