Python CryptolLiteralの例

コード例 #1

ファイル: llvm.py プロジェクト: GaloisInc/galois-py-toolkit

 def __to_cryptol__(self, ty : Any) -> Any:
     return cryptoltypes.CryptolLiteral(self.name()).__to_cryptol__(ty)

コード例 #2

ファイル: llvm.py プロジェクト: GaloisInc/galois-py-toolkit

 def __init__(self, code : Union[str, cryptoltypes.CryptolJSON]):
     if isinstance(code, str):
         self.expression = cryptoltypes.CryptolLiteral(code)
     else:
         self.expression = code

コード例 #3

ファイル: test_provers.py プロジェクト: msaaltink/saw-script

def cry(exp):
    return cryptoltypes.CryptolLiteral(exp)

コード例 #4

ファイル: crucible.py プロジェクト: Grain/saw-script

 def __to_cryptol_str__(self) -> str:
     return cryptoltypes.CryptolLiteral(self.name()).__to_cryptol_str__()

コード例 #5

ファイル: crucible.py プロジェクト: Grain/saw-script

 def __to_cryptol__(self) -> cryptoltypes.JSON:
     return cryptoltypes.CryptolLiteral(self.name()).__to_cryptol__()

コード例 #6

ファイル: llvm.py プロジェクト: pnwamk/argo

 def __to_cryptol__(self, ty: Any) -> Any:
     if self.name is None:
         self.name = self.spec.get_fresh_name()
     return cryptoltypes.CryptolLiteral(self.name).__to_cryptol__(ty)