PR feedback

This commit is contained in:
Alex Stokes 2021-05-27 12:02:44 -07:00
parent 4d5bc83af4
commit 7a14e93c65
No known key found for this signature in database
GPG Key ID: 99B3D88FD6C55A69

View File

@ -312,8 +312,9 @@ class SpecBuilder(ABC):
raise NotImplementedError()
@classmethod
@abstractmethod
def implement_optimizations(cls, functions: Dict[str, str]) -> Dict[str, str]:
return functions
raise NotImplementedError()
@classmethod
@abstractmethod
@ -439,6 +440,10 @@ get_attesting_indices = cache_this(
def invariant_checks(cls) -> str:
return ''
@classmethod
def implement_optimizations(cls, functions: Dict[str, str]) -> Dict[str, str]:
return functions
@classmethod
def build_spec(cls, preset_name: str,
source_files: Sequence[Path], preset_files: Sequence[Path], config_file: Path) -> str: