Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Sphere-AI-Lab/FormalMATH-Bench
/ remove_last_comment
Method
remove_last_comment
verify_answers.py:108–110 ·
view source on GitHub ↗
(self)
Source
from the content-addressed store, hash-verified
106
break
107
108
def
remove_last_comment(self):
109
pattern = r
'/--[^/]*?-/(\n*)$'
110
self.context = re.sub(pattern,
''
, self.context, flags=re.DOTALL)
111
112
def
run(self):
113
self.timer.start()
Callers
1
run
Method · 0.95
Calls
no outgoing calls
Tested by
no test coverage detected